OpenAI publica resultados de matemática de modelo interno, com provas em Lean
Em 06/10/2026, a OpenAI publicou no GitHub resultados de um modelo ainda não lançado. Em 15/10, anunciou US$ 5 milhões para uma iniciativa da Simons Foundation.
Em 6 de outubro de 2026, a OpenAI publicou no GitHub vários resultados novos de matemática, produzidos por um modelo interno que ainda não foi lançado.
Provas que o computador confere
Muitas das provas vêm formalizadas em Lean, uma linguagem que permite checar uma prova matemática por computador.
Atualização de 15/10
No dia 15 de outubro, a empresa atualizou o anúncio: são US$ 5 milhões para uma iniciativa da Simons Foundation.
Nota da redação: números que só aparecem em sites de terceiros (como a quantidade de manuscritos) ficaram de fora, porque não estão na página oficial da OpenAI.
