OpenAI proves the Cannon conjecture: AI cracks a nearly 40-year-old problem in geometric group theory, with Lean machine verification
In math manuscripts OpenAI released on October 6, a 31-page paper claims a complete proof of the Cannon conjecture, accompanied by a formal Lean verification.