Compartilhando avanços de IA em matemática

A OpenAI publica novos resultados sobre problemas matemáticos em aberto obtidos por um modelo interno de ponta e compartilha formalizações de provas em Lean e detalhes da pesquisa no GitHub.

Idioma da fonte original · inglês

Verificado · 10 de outubro de 2026