San FranciscoA model claims to have solved a decades-old problem.
OpenAI’s GPT-5.6 Sol Ultra produced a PDF proof of the Cycle Double Cover Conjecture, a long-open question in graph theory; the posting drew 513 Hacker News votes.
No mathematician or proof assistant has yet confirmed the result holds.
Sources: Hacker News