Relatórios de IA · OpenAI · 2026-10-06 · Blog / comentário
Compartilhando o progresso da IA em matemática
Título original: Sharing AI progress in mathematics
A OpenAI publicou novos resultados sobre problemas em aberto da matemática obtidos por um modelo de fronteira interno. Ela também compartilha formalizações de provas em Lean e detalhes da pesquisa no GitHub.