Tag: mathematics

  • OpenAI’s Next Model Just Cracked Ten Old Math Problems

    OpenAI’s Next Model Just Cracked Ten Old Math Problems

    OpenAI put out something quiet but genuinely wild this week. An internal version of its next major model, codenamed Astra, solved ten math and theoretical computer science problems that nobody had made real progress on in at least a decade, and in some cases much longer. These are not homework problems. We’re talking high dimensional…

  • GPT-5.6 Just Solved a 50-Year Math Mystery

    OpenAI’s GPT-5.6 Sol just proved the Cycle Double Cover Conjecture in under an hour. That is a math problem that has sat unsolved since 1975. Sixty-four subagents working in parallel, each picking up where the last one left off. No human mathematician needed to supervise or course-correct. The proof exists. It is real. It came…