AI Model Provides Formal Proof for Hopf Problem in TopologyAI’s 250k‑line Lean code claims to solve the 78‑year‑old Hopf problem—sparking debate on whether machine‑generated proofs truly count as mathematics. openai anthropic google llm ai-science Eliza Hartmann 28/08/2026, 07:02 3 minutes to read
