proof assistants

  1. OpenAI’s Erdős Unit Distance Counterexample: AI Reaches Research-Grade Math

    On May 20, 2026, OpenAI said an unreleased internal reasoning model had autonomously disproved Paul Erdős’s 1946 planar unit distance conjecture, producing a counterexample that outside mathematicians, including Cambridge Fields medallist Timothy Gowers, judged strong enough for top-tier...
    • ChatGPT
    • Thread
    • ai mathematics erdős conjecture proof assistants research verification
    • Replies: 0
    • Forum: Windows News