Terence TaoFeb 11

A curious phenomenon over at the #Erdos problems web page and repository. We've had a hectic two months or so in which we received a flood of new solutions to these problems, coming from a mix of human efforts, purely AI-generated proofs, and hybrid approaches. Some of these turned out to be incorrect, and others ended up being similar to existing solutions, but nevertheless many checked out, leading to nearly 50 more problems being marked as solved on the site during this period.

But in the last week, submissions have dropped to nearly zero. It is not clear exactly what the reason is, but I can think of at least three explanations: (a) the burst of media attention around the Erdos problems has dissipated. (b) all the easy "low-hanging fruit" of obscure Erdos problems amenable to current AI tools have already been harvested. (c) The time-sensitive "First Proof" challenge that came out last week is now absorbing all the attention of AI-prover enthusiasts.

Perhaps it is a combination of all three factors.

Ross KangJan 29

RE: https://mastoxiv.page/@arXiv_mathCO_bot/115904052353835071

Here is the second manuscript coming out of the "Topics in Ramsey theory" online-only problem-solving session (https://sparse-graphs.mimuw.edu.pl/doku.php?id=sessions:2025sessions:2025session1) of the Sparse (Graphs) Coalition, which took place less than a year ago.

The first manuscript already came out a couple months earlier (https://arxiv.org/abs/2510.17981).

Both have made serious progress in serious Erdős problems.

#combinatorics #remoteconferences #graphtheory #extremalcombinatorics #erdős

Reddit Tech VN BotJan 18

Hinton so sánh LLM hiện nay như 10.000 sinh viên đại học: có kiến thức rộng & khả năng suy luận tốt, nhưng chưa đạt mức giải quyết vấn đề cấp độ Tiến sĩ. AI đã tự động tìm tài liệu, lập luận & tạo kiến thức mới, nhưng vẫn chưa phá vỡ các bài toán khó như IMO Problem 6. Nhiều chuyên gia kỳ vọng cuối năm sẽ xuất hiện mô hình “PhD‑level”. #AI #LLM #GeoffreyHinton #MachineLearning #TríTuệNhânTạo #IMO #Erdős #NghiênCứu

https://www.reddit.com/r/singularity/comments/1qgah6e/to_borrow_geoffrey_hintons_

Rod2ik 🇪🇺 🇨🇵 🇪🇸 🇺🇦 🇨🇦 🇩🇰 🇬🇱☮🕊️Jan 12

Cette #IA #AI a résolu un #problème #mathématique ouvert depuis 45 ans

#Erdös #Problem #397

https://www.numerama.com/tech/2157819-cette-ia-a-resolu-un-probleme-mathematique-ouvert-depuis-45-ans.html

Il résistait depuis 45 ans : ce problème mathématique vient d'être résolu par une IA

Le modèle d’IA GPT-5.2 Pro a résolu plusieurs problèmes de mathématiques, dont l’un, le 11 janvier 2026, était resté ouvert depuis 45 ans. Plus que le résultat, c’est la méthode — associant humains, assistant de preuve Lean et système d’IA Aristotle — qui pourrait transformer la pratique de la démonstration

Numerama
Rod2ik 🇪🇺 🇨🇵 🇪🇸 🇺🇦 🇨🇦 🇩🇰 🇬🇱 ☮🕊️Jan 12
Cette #IA #AI a résolu un #problème #mathématique ouvert depuis 45 ans #Erdös #Problem #397 www.numerama.com/tech/2157819...

Il résistait depuis 45 ans : c...
Il résistait depuis 45 ans : ce problème mathématique vient d'être résolu par une IA

Le modèle d’IA GPT-5.2 Pro a résolu plusieurs problèmes de mathématiques, dont l’un, le 11 janvier 2026, était resté ouvert depuis 45 ans. Plus que le résultat, c’est la méthode — associant humains, assistant de preuve Lean et système d’IA Aristotle — qui pourrait transformer la pratique de la démonstration

Numerama
sayzardJan 11

AI Notkilleveryoneism Memes (@AISafetyMemes)

작성 몇 분 만에 또 다른 에르되시 문제(Erdos Problem)가 해결되었다는 소식이 전해졌다는 트윗입니다. 연속적인 수학 문제 해결 사례를 보고하며 '특이점(singularity) 느낌'이라고 표현해 AI 성과의 연속성과 임팩트를 강조하고 있습니다.

https://x.com/AISafetyMemes/status/2010343229384974728

#ai #mathematics #erdos #singularity #research

AI Notkilleveryoneism Memes ⏸️ (@AISafetyMemes) on X

Minutes after I posted this, I see that YET ANOTHER Erdos Problem has been solved Singularity vibes today https://t.co/sl1To8ubGp

X (formerly Twitter)
sayzardJan 11

AI Notkilleveryoneism Memes (@AISafetyMemes)

테렌스 타오(Terence Tao)가 AI가 자율적으로 또 다른 오픈 수학 문제인 에르되시 문제(Erdos Problem) #729를 해결했다고 확인했다는 소식입니다. 수년간 불가능하다고 여겨지던 영역에서 AI가 독자적으로 성과를 냈다는 점을 강조하는 트윗으로, AI의 수학적 문제 해결 능력에 대한 중요한 성과 보고로 해석될 수 있습니다.

https://x.com/AISafetyMemes/status/2010339340757721554

#ai #mathematics #terencetao #erdos #automatedreasoning

AI Notkilleveryoneism Memes ⏸️ (@AISafetyMemes) on X

Just 2 DAYS LATER, Terence Tao confirmed AI autonomously solved ANOTHER open math problem - Erdos Problem #729 Don't get numb to news like this! For years, Very Serious People confidently declared AI would NEVER do this (Actually, many uninformed people STILL say this)

X (formerly Twitter)
alexanderadamJan 9

So there's a #Mastodon instance for people that are into #math called mathstodon… and that instance allows users to use #LaTeX.

The #Fediverse is amazing on so many levels.
Ah, and also you might read about #Erdos problem 728 which was kinda solved with the help of #AI: 😉

https://mathstodon.xyz/@tao/115855840223258103

Terence Tao (@[email protected])

Recently, the application of AI tools to Erdos problems passed a milestone: an Erdos problem (#728 https://www.erdosproblems.com/728) was solved more or less autonomously by AI (after some feedback from an initial attempt), in the spirit of the problem (as reconstructed by the Erdos problem website community), with the result (to the best of our knowledge) not replicated in existing literature (although similar results proven by similar methods were located). This is a demonstration of the genuine increase in capability of these tools in recent months, and is largely consistent with other recent demonstrations of AI using existing methods to resolve Erdos problems, although in most previous cases a solution to these problems was later located in the literature, as discussed in https://mathstodon.xyz/deck/@tao/115788262274999408 . This particular case was unusual in that the problem as stated by Erdos was misformulated, with a reconstruction of the problem in the intended spirit only obtained in the last few months, which helps explain the lack of prior literature on the problem. However, I would like to talk here about another aspect of the story which I find more interesting than the solution itself, which is the emerging AI-powered capability to rapidly write and rewrite expositions of the solution. (1/5)

Mathstodon
Hacker NewsJan 9

AI solves Erdos problem #728 (Terence Tao mathstodon post)

https://mathstodon.xyz/@tao/115855840223258103

#HackerNews #AI #Erdos #Problem #Terence #Tao #Mathstodon #Innovation

Terence Tao (@[email protected])

Recently, the application of AI tools to Erdos problems passed a milestone: an Erdos problem (#728 https://www.erdosproblems.com/728) was solved more or less autonomously by AI (after some feedback from an initial attempt), in the spirit of the problem (as reconstructed by the Erdos problem website community), with the result (to the best of our knowledge) not replicated in existing literature (although similar results proven by similar methods were located). This is a demonstration of the genuine increase in capability of these tools in recent months, and is largely consistent with other recent demonstrations of AI using existing methods to resolve Erdos problems, although in most previous cases a solution to these problems was later located in the literature, as discussed in https://mathstodon.xyz/deck/@tao/115788262274999408 . This particular case was unusual in that the problem as stated by Erdos was misformulated, with a reconstruction of the problem in the intended spirit only obtained in the last few months, which helps explain the lack of prior literature on the problem. However, I would like to talk here about another aspect of the story which I find more interesting than the solution itself, which is the emerging AI-powered capability to rapidly write and rewrite expositions of the solution. (1/5)

Mathstodon
Reddit Tech VN BotJan 8

**🚀 GPT-5.2 giải quyết bài toán Erdos mở đầu tiên!**

Lần đầu tiên, một mô hình AI (GPT-5.2) đã giải thành công bài toán Erdos #728 mà trước đây chưa có lời giải từ con người. Quá trình bao gồm:
✅ Sử dụng GPT-5.2 để nghiên cứu, brainstorm và tạo proof.
✅ Kiểm tra chéo bằng Lean và Claude Opus 4.5.
✅ Terence Tao xác nhận và góp ý hoàn thiện.

Đây là bước tiến lớn cho AI trong toán học! 🧠💡

#AI #ToánHọc #Erdos #GPT5 #KhoaHọc #MachineLearning #Math #AIResearch #Vietnam

https://www.reddit.com/r/

subreddits

Reddit gives you the best of the internet in one place. Get a constantly updating feed of breaking news, fun stories, pics, memes, and videos just for you. Passionate about something niche? Reddit has thousands of vibrant communities with people that share your interests. Alternatively, find out what’s trending across all of Reddit on r/popular. Reddit is also anonymous so you can be yourself, with your Reddit profile and persona disconnected from your real-world identity.