A OpenAI, empresa líder em inteligência artificial, publicou recentemente um conjunto de centenas de resultados matemáticos que podem "ampliar as fronteiras do conhecimento humano". Esses resultados, produzidos em grande parte por um modelo de inteligência artificial ainda não divulgado, tratam de 372 problemas em aberto que abrangem desde álgebra e geometria até ciência da computação teórica.

Contexto

A magnitude e a forma da divulgação desses resultados causaram grande comoção na comunidade matemática. Alguns artigos afirmam avanços significativos em problemas de grande visibilidade e de longa data, incluindo a hipótese de Riemann e a conjectura de Birch e Swinnerton-Dyer, cada um dos quais oferece uma recompensa de US$ 1 milhão caso seja resolvido. No entanto, a forma como a divulgação foi feita não é necessariamente propícia a promover progresso na matemática, pois alguns artigos são incompreensíveis mesmo para especialistas.

Motivações

A OpenAI afirma que sua motivação para divulgar esse enorme acervo de resultados é "promover mais progresso na matemática". No entanto, outra possível motivação mais ampla para a OpenAI é o tema em alta da inteligência artificial geral (AGI). A capacidade dos modelos da OpenAI de realizar cálculos matemáticos de nível de pesquisa pode dar credibilidade à ideia de que os modelos estão se aproximando do "Santo Graal" da AGI.

Confiabilidade

Uma das principais características da matemática é seu fundamento na verdade objetiva. As afirmações são verdadeiras ou falsas, e quase nunca há ambiguidade. No entanto, a OpenAI já retirou três dos artigos devido a um erro elementar e corrigiu vários outros devido a equívocos que invalidaram seus resultados. Isso sugere, no mínimo, uma falta de revisão adequada antes da publicação.

Formalização

A OpenAI afirma ter formalizado 300 dos principais resultados até o momento da redação deste texto. A formalização é um processo que exige muito conhecimento e esforço, e sistemas de IA estão agora sendo usados para a "autoformalização" - traduzindo automaticamente um resultado em uma prova verificável por máquina. No entanto, nem todas as formalizações são implementadas corretamente, e há evidências anteriores de problemas com formalizações geradas por IA.

Reações

As reações ao lançamento da OpenAI têm sido mistas, variando de "obviamente o momento mais significativo da história da matemática" até "os matemáticos não estão tão entusiasmados com essa pilha gigante de cocô jogada na nossa porta". Certamente há grande entusiasmo com o avanço em importantes problemas matemáticos em diversos campos, mas também há incerteza e preocupação sobre o que o volume e a velocidade dessas descobertas significam para o futuro da pesquisa matemática e como estamos contribuindo para ela.