A OpenAI divulgou mais de 350 trabalhos matemáticos produzidos por IA — incluindo possíveis avanços em problemas estudados há décadas. 🤯➗ O material já impressionou nomes de Oxford e Rutgers, mas também abriu uma discussão essencial sobre validação. 🧵

Imagem indisponível

Os resultados atravessam álgebra, teoria dos números, topologia, lógica matemática e ciência da computação teórica. Não é a IA “substituindo” matemáticos: é uma nova ferramenta para explorar hipóteses, encontrar padrões e acelerar caminhos de pesquisa.

Um dos destaques é uma demonstração ligada à hipótese quase-Riemann, parente da famosa hipótese de Riemann. Esta última integra os Problemas do Milênio: desafios que oferecem US$ 1 milhão por uma solução validada pelo Clay Mathematics Institute.

Imagem indisponível

Alex Kontorovich, da Rutgers, avaliou que um dos resultados poderia merecer uma Medalha Fields se fosse obra humana. Martin Bridson, de Oxford, disse ser difícil imaginar que as fronteiras da matemática avançariam tanto em apenas um dia.

Mas entusiasmo não dispensa rigor: a OpenAI corrigiu documentos e retirou três artigos após identificar problemas. Em matemática, uma prova só vira conhecimento quando especialistas conseguem verificar cada passo — e esse filtro é parte da força da ciência.

Imagem indisponível

O cenário mais promissor é colaborativo: IA propõe caminhos em escala inédita; pesquisadores testam, corrigem, explicam e transformam ideias em resultados confiáveis. Se bem desenvolvidas e acessíveis, essas ferramentas podem ampliar quem participa da pesquisa de ponta.

Nenhuma publicação resolve por completo os cinco Problemas do Milênio ainda em aberto. Ainda assim, avançar em resultados relacionados já pode mudar o mapa da área. A grande descoberta talvez seja esta: a matemática ganhou um copiloto — e o rigor continua no comando. ✨

Imagem indisponível