A OpenAI anunciou nesta terça-feira (6) que seu novo modelo interno de inteligência artificial gerou 377 resultados matemáticos complexos, incluindo respostas para questões ainda sem solução e avanços em problemas que pesquisadores vêm estudando há anos.

Os trabalhos abrangem diversas áreas da matemática, como álgebra, teoria dos números, lógica matemática, topologia e ciência da computação teórica. Muitos desses resultados foram verificados no Lean, um sistema usado para garantir a correta aplicação das regras da lógica.

A empresa afirma que parte dos resultados resolve questões em aberto, enquanto outra parte representa avanços em problemas ainda em estudo. No entanto, a disponibilidade do modelo apenas para os funcionários da empresa limita a possibilidade de outros pesquisadores testarem e reproduzirem os resultados.