β‘ News GPT-5.6 Sol Ultra Just Solved a 50-Year-Old Math Problem β But Mathematicians Aren't Celebrating Yet
GPT-5.6 Sol Ultra produced a three-page proof of the Cycle Double Cover Conjecture, a problem that has stumped graph theorists for five decades. Mathematicians are skeptical. The proof has not been peer-reviewed.