ChatGPT/OpenAI
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.