mathematics
10 stories related to this topic, newest first.
cicnews.comAI Start-Ups Hire Mathematicians to Build Verifiable Math-Solving Systems
Several AI companies have recruited mathematicians and raised hundreds of millions of dollars to develop systems that produce mathematically verified results. The firms aim to apply these tools first to software verification and later to research-level mathematics.
nypost.comOpenAI Chatbot Disproves Erdős Conjecture on Unit-Distance Problem
An OpenAI chatbot produced a counter-example to a 1946 geometry conjecture by Paul Erdős. Independent mathematicians verified the result, which the company announced on 20 May.
forbes.comAI Systems Solve Erdős Problem Without Specialized Training
A non-mathematician used ChatGPT to solve Erdős problem #1196. The solution employed an approach that differed from prior human attempts. Researchers at OpenAI and Google DeepMind reported continued progress on longer proofs.
Science NewsMath Puzzle Challenges Ant to Find Shortest Surface Paths on 3-D Shapes
A June 2026 math puzzle presents four problems involving an ant traveling across the surfaces of a cube, rectangular prism, cylinder, and cylindrical shell. Each problem asks for the shortest path length to reach food at an opposite corner or edge.
benzinga.comOpenAI Model Solves 80-Year-Old Erdős Geometry Conjecture
An artificial intelligence model from OpenAI produced a solution to the planar unit distance problem, a conjecture posed by mathematician Paul Erdős. The result shows that certain non-grid arrangements of points can produce more equal-length connections than previously thought po…
benzinga.comGeneral Purpose AI Model Solves Longstanding Math Problem
A general-purpose AI model developed by OpenAI has solved a prominent open problem in mathematics. The achievement involved disproving an 80-year-old conjecture without using specialized mathematical tools.
manilatimes.netGeneral-Purpose AI Model Solves Major Open Mathematics Problem
A general-purpose AI model has solved a previously unsolved problem in mathematics. The development marks a milestone in the use of AI systems for scientific discovery.
newscientist.comMathematicians Launch Lean Formalization Efforts for Disputed ABC Conjecture Proof
Two separate efforts are underway to formalize Shinichi Mochizuki's controversial proof of the ABC conjecture in Lean, including a secretive project that has hit a roadblock. The initiatives aim to resolve a long-standing debate in number theory. @NewScientist reported on the dev…
Substrate placeholder — needs reviewMathematician Kevin Buzzard Trains Computers to Prove Fermat’s Last Theorem
Kevin Buzzard, a mathematician at Imperial College London, is leading efforts to formalize the 1998 proof of Fermat’s last theorem using computer programs. The project aims to verify the 130-page proof and build a digital library of mathematics. Formalization translates theorems…
Substrate placeholder — needs reviewDavid Sklansky, Poker Author and Player, Dies at 78
David Sklansky, a professional poker player and author, died on March 23, 2026, in Las Vegas from congestive heart failure. He was 78. Sklansky wrote books that applied mathematical concepts to poker strategy.