#erdos-problems tag

OpenAI makes breakthrough on 80-year-old maths problem

An AI reasoning model disproved a long-held lower bound for the planar unit distance problem by constructing dot arrangements exceeding Erdos’s conjectured limit.

fromTechCrunch

1 week ago

OpenAI claims it solved an 80-year-old math problem - for real this time | TechCrunch

For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better.

Artificial intelligence

#ai-in-mathematics

fromNature

1 week ago

Artificial intelligence

'It is incredible': How AI is transforming mathematics

ChatGPT helped solve Erdős problem #1196, showing AI can produce logically sound, sometimes surprising mathematical reasoning beyond brute-force computation.

fromFuturism

3 weeks ago

OMG science

Mathematicians Claim Significant Discovery Using ChatGPT

Liam Price, using GPT-5.4, may have solved a long-standing Erdős math problem, impressing experts with an unexpected approach.

Artificial intelligence

fromNature

1 week ago

'It is incredible': How AI is transforming mathematics

ChatGPT helped solve Erdős problem #1196, showing AI can produce logically sound, sometimes surprising mathematical reasoning beyond brute-force computation.

fromFuturism

3 weeks ago