AI just solved an 80-year-old ‘Erdős problem,’ and mathematicians are amazed (opens in new tab)

Covers 2 stories including An explicit lower bound for the unit distance problemCovered by 10 sources including Futurism, Smithsonian MagazineDiscussed on r/vibecoding

The chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in math’s top journal if humans had done it alone

Read the original article

Sign in to keep reading the full article.

Sign Up Log In

Covered in 10 articles

Futurism·

Over 150 Mathematicians Warn Governments Not to “Believe the Hype” About AI

Smithsonian Magazine·

Mathematicians Puzzled Over a Famous Problem for 80 Years. Now, They've Used A.I. to Identify a Clever Solution

Gizmodo·

An OpenAI Model ‘Disproved’ a Famous Math Conjecture. This Mathematician Couldn’t Leave It Alone

View all 10 ›