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.

Gerado por IA: resumos escritos por IA a partir das fontes indicadas. Como usamos a IA