Tag
A tweet reports that an AI (likely GPT-5.6 Pro) disproved the Dinitz-Garg-Goemans conjecture, a long-standing open problem in graph theory, using simple prompts like 'do a breakthrough'.
Researchers used AI, specifically ChatGPT 5.5 Pro, to solve the 35-year-old Signed BAR Conjecture in queuing theory, proving uniqueness of stationary distributions for reflected diffusions. The result advances understanding of equilibrium in stochastic networks and demonstrates AI's role in mathematical discovery.
The article describes the author's journey building a word game that requires pure deduction without guessing, and how information theory helped overcome the challenge of generating solvable puzzles.
The article critiques current neural network theory for lacking a governing equation, arguing that AGI remains an extrapolation rather than a well-posed scientific object until learning, inference, and convergence are unified mathematically.
Kyle Kabasares claims to have used OpenAI's ChatGPT-5.5 Pro to generate a candidate counterexample to an open problem from Don Knuth's The Art of Computer Programming, and requests verification.
Sequoia Capital highlights the gap between current AI models that train once and human continuous learning, and points to EngramLab's work on AI that never stops learning with memory inside the model.
Over the weekend, Mythos was tested on the Erdos unit distance problem (Problem #90) and successfully solved it.
Sam Altman announces that a general-purpose AI model has solved a major open problem in mathematics, calling it a big milestone and expressing mixed feelings about AI's expanding capabilities.
OpenAI's general-purpose reasoning model autonomously solved the planar unit distance problem, a famous open problem in mathematics posed by Paul Erdős in 1946, marking the first time AI has independently solved a prominent open problem in a field of mathematics.
An OpenAI model has autonomously solved the planar unit distance problem, a famous open mathematics question from 1946, disproving an 80-year-old assumption and achieving a first for AI.