Há três anos, a IA não conseguia somar dois números. Há um ano, modelos da Open AI e da Deep Mind alcançaram nível de medalha de ouro na IMO. Agora resolvem autonomamente grandes questões abertas. Essa tendência provavelmente continuará, exigindo uma reformulação radical da matemática.

Uma palestra intitulada O Fim da Matemática alertou para um futuro sombrio onde a IA é sobre-humana, mas as instituições travam a compreensão humana. Acredito que podemos evitar isso se a matemática acadêmica se adaptar.

Não há consenso sobre os objetivos: resolver problemas, brincar, penetrar o reino platônico ou transmitir o amor pela matemática. Minhas respostas: produzir e compreender matemática de alta qualidade, e produzir matemáticos de alta qualidade.

Operacionalizamos os objetivos por meio da prova de teoremas. Mas se esse fosse o objetivo, seria trivial automatizá-lo—um computador poderia enumerar provas ZFC. O objetivo não é provar teoremas; é compreender.

Entidades-chave: Empresas: Open AI, Deep Mind