In May 2026, an OpenAI model made an unexpected cross-disciplinary leap: it linked a 1946 Erdős geometry puzzle (how many pairs of points on a plane can sit exactly one unit apart) to a completely unrelated 1964 algebraic number theory result, and used that connection to construct point arrangements beating every approach mathematicians had tried in 80 years — disproving Erdős's conjecture. Nine mathematicians, including Fields Medalist Tim Gowers, reviewed and confirmed the core ideas, calling it "a milestone in AI mathematics." One day later, Google DeepMind's AlphaProof Nexus independently solved nine more open Erdős problems using Lean, a system that checks proofs line by line rather than relying on a human reading them over. The catch: this isn't the first "AI cracks Erdős problems" headline. In October 2025, an earlier OpenAI claim of solving ten Erdős problems was thoroughly debunked by the math community. This time, unlike last time, independent mathematicians verified the work before it was announced.
Similar to hewsay's "AI just disproved an 80-year-old Erdős math conjecture, verified by a Fields Medalist — but OpenAI's last "Erdős breakthrough" claim was debunked. Real progress or hype cycle?"
Prime Numbers from previous Prime Numbers : r/math Skip to main contentPrime Numbers from previous Prime Numbers : r/math Open menu Open navigationGo to Reddit Home r/math A chip A close button Log InLog in to Reddit Expand user menu Open settings menu This subreddit is for di...
Title: Gerd Faltings wins the 2026 Abel Prize! : r/math # Gerd Faltings wins the 2026 Abel Prize! Skip to main contentGerd Faltings wins the 2026 Abel Prize! Open menu Open navigationGo to Reddit Home. Get App Get the Reddit app Log InLog in to Reddit. Expand user menu Open se...
On X
Similar to hewsay's "https://x.com/PicturesFoIder/status/1789249374951813349 is crazy"
Title: x.com on reddit.com When I tell you this story, you won't believe it.” (x.com). Putin says, let's make a deal, we'll cease all intelligence supply of intelligence to Iran, if you cease the supply of all intelligence to Ukraine… (x.com). RC trademarking 'Teddy' to stunt ...
Title: x.com on reddit.com see the search faq for details. the front page of the internet. and join one of thousands of communities. Talia Santos: I accidentally took my husbands steroids and that's why I failed a drug test (x.com). submitted 6 hours ago by tagillaslover to r/...