📁 Terence Tao, vencedor da Medalha Fields, diz que a IA já pode gerar muitas provas matemáticas. O verdadeiro gargalo é a verificação. Criar ideias está ficando barato. Saber quais são realmente corretos ainda é trabalho humano.