14:03
2026-07-12
sourcefeed.dev
artificial-intelligence
AI Math Proofs Still Need Human Checkers
OpenAI claimed its GPT-5.6 Sol Ultra model produced a proof of the Cycle Double Cover Conjecture, a 50-year-old graph theory problem, in under an hour using 64 parallel subagents. The proof has not be…