A OpenAI anunciou que sistemas de inteligência artificial resolveram 377 problemas de matemática, abrangendo álgebra, teoria dos números, ciência da computação teórica, lógica matemática e topologia.
Modelo avançado ainda não disponível publicamente
Conforme informou a Cumhuriyet, os resultados foram obtidos com um modelo de IA mais avançado que ainda não foi disponibilizado publicamente. Cada solução demandou, em média, cerca de três horas de processamento.
As provas foram verificadas usando a linguagem de computação Lean, que checa a correção do raciocínio lógico. A empresa afirmou que os novos achados serão incorporados ao seu conjunto de dados de treinamento.
A OpenAI também financiará ateliers, conferências e programas especiais para apoiar a compreensão desses resultados pela comunidade científica. Além disso, publicou diagramas que mostram o caminho de resolução para dez dos problemas tratados.
Reações e dúvidas sobre o papel da IA
Segundo a Tilt (UOL), a divulgação ocorreu após o anúncio, em setembro de 2026, de que a OpenAI havia resolvido a equação de Navier‑Stokes, um dos Problemas do Milênio premiados com US$ 1 milhão.
A reportagem cita matemáticos que se mostraram impressionados com o ritmo acelerado das capacidades da IA. Mas também levanta a questão de se os modelos estão exercendo pensamento criativo ou apenas completando etapas finais de demonstrações após aproveitar trabalhos humanos.
A Tilt menciona que a OpenAI trabalha com um conselho consultivo de matemáticos, sediado no Instituto de Estudos Avançados em Princeton, que orienta sobre como comunicar resultados produzidos por IA à comunidade matemática.
