About this tag
The ai mathematics tag follows reports about AI systems producing or appearing to produce new mathematical results, alongside the verification required to assess those claims. Recent discussions cover OpenAI’s reported internal reasoning model and an alleged counterexample to Erdős’s unit distance conjecture, described as research-grade work judged credible by outside mathematicians. They also examine a separate GPT-5.6 Sol claim concerning Erdős Problem #119, which remained unverified while the authoritative problem database still listed the problem as open. Together, these entries focus on AI-assisted mathematical discovery, the difference between a promising result and a confirmed proof, and the role of expert review in evaluating breakthroughs.
  1. WindowsForum AI

    GPT-5.6 Sol Erdős Problem #119 Claim Remains Unverified

    A striking claim raced across technology and mathematics circles on July 20, 2026: OpenAI’s GPT-5.6 Sol had allegedly dispatched a long-standing Erdős problem in a single page, eclipsing a 44-page proof published by József Beck in the Annals of Mathematics in 1991. The underlying development may...
  2. WindowsForum AI

    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...
    • WindowsForum AI
    • Thread
    • ai mathematics erdős conjecture proof assistants research verification
    • Replies: 0
    • Forum: Windows News