📁 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á a tornar-se barato. Saber quais são realmente corretas ainda é trabalho humano.