A IA está resolvendo problemas matemáticos que resistiam há décadas — e 40 pesquisadores se reuniram na OpenAI para discutir uma pergunta incômoda: se máquinas superarem especialistas em pesquisa, qual será o papel do matemático humano? 🤖📐🧵

Imagem indisponível

O encontro em São Francisco teve até uma palestra chamada “O fim da matemática”. É exagero? Talvez. Mas a provocação é real: se uma IA gerar resultados avançados em ritmo impossível para humanos acompanharem, como a comunidade decide o que vale estudar?

Em maio, a OpenAI anunciou uma refutação para a conjectura das distâncias unitárias, proposta por Paul Erdős há cerca de 80 anos. Depois, publicou 10 resultados em matemática e computação teórica atribuídos a uma versão interna do modelo Astra.

Imagem indisponível

Não eram apenas respostas soltas de chatbot: a empresa divulgou 249 páginas de manuscritos e certificados em Lean 4, linguagem que verifica cada etapa de uma prova. O repositório registrava zero passos sem demonstração. Mas verificar é o mesmo que compreender?

Entre os resultados estão avanços em empacotamento de esferas, um contraexemplo ligado à rigidez de Connes e problemas da lista de Erdős. A Forbes estimou cerca de US$ 2 mil de processamento para os 10 achados. Pesquisa de ponta virou uma corrida de infraestrutura?

Imagem indisponível

A Anthropic também elevou a proporção verificada de zeros da função zeta de Riemann de 41,6% para 67,2%, segundo a empresa. Se laboratórios privados concentram modelos, chips e dados, quem poderá auditar e usar essa nova capacidade científica?

A questão não é “IA ou matemáticos”. Bons problemas, intuição, interpretação e ensino continuam humanos — por enquanto. O desafio é evitar que uma ferramenta capaz de ampliar o conhecimento fique restrita a poucas empresas e poucos centros de pesquisa.

Imagem indisponível