OAI researcher on Erdos problem: “This is the biggest deal in the history of AI so far. And it will look like a small deal at the end of the year.” (Buckle up)

Reddit r/singularity News

Summary

An OpenAI researcher claims that their model's solution to an Erdős problem in discrete geometry is the biggest AI achievement to date, but predicts it will be overshadowed by end of year.

Link to tweet: https://x.com/Houda\_nait/status/2057240025725894663?s=20 Link to Erdos problem: https://openai.com/index/model-disproves-discrete-geometry-conjecture/ https://x.com/OpenAI/status/2057176201782075690?s=20
Original Article

Similar Articles

AI solves 80-year-old math conjecture for under $1000

Reddit r/artificial

GPT-next solved the 80-year-old Erdős unit distance problem for under $1,000, marking a shift from AI as tool to AI as independent discoverer. The article also covers infrastructure growth, labor impacts, and governance debates triggered by this milestone.