Inteligencia IAJul 12, 2026Inteligencia IA
Articulo
OpenAI's GPT-5.6 Sol Ultra reportedly resolved a 50-year-old unsolved math problem in less than an hour.
The model used 64 parallel sub-agents to produce a proof of the Cycle Double Cover Conjecture. A mathematician called the proof surprisingly elementary but criticized its lack of elegance.
Redaccion Data Cube AIFuente: The Decoder
01
Resumen fuente
OpenAI's GPT-5.6 Sol Ultra reportedly resolved a 50-year-old unsolved math problem in less than an hour. The model used 64 parallel sub-agents to produce a proof of the Cycle Double Cover Conjecture. A mathematician called the proof surprisingly elementary but criticized its lack of elegance.
02