O lendário cientista da computação Donald Knuth compartilhou uma história incrível: o IA Claude Opus resolveu um problema matemático complexo que o atormentava há semanas, com prova rigorosa e construção elegante. Não é só mais um caso de "IA vence humano" — é um vislumbre de como a inteligência artificial pode colaborar de verdade com matemáticos para expandir os limites do conhecimento humano.