Inteligencia IAJul 12, 2026Inteligencia IA
Artigo
OpenAI's GPT-5.6 Sol Ultra supostamente resolveu um problema de matemática não resolvido há 50 anos em menos de uma hora.
O modelo usou 64 sub-agentes paralelos para produzir uma prova da Cycle Double Cover Conjecture. Um matemático chamou a prova de surpreendentemente elementar, mas criticou sua falta de elegância.
Editorial Data Cube AIFonte: The Decoder
01
Brief da fonte
OpenAI's GPT-5.6 Sol Ultra supostamente resolveu um problema de matemática não resolvido há 50 anos em menos de uma hora. O modelo usou 64 sub-agentes paralelos para produzir uma prova da Cycle Double Cover Conjecture. Um matemático chamou a prova de surpreendentemente elementar, mas criticou sua falta de elegância.
02