ChatGPT cracks 60-year-old math problem: 23-year-old amateur player shocks top mathematicians
A 23-year-old amateur math enthusiast used ChatGPT (GPT-5.4 Pro, 80 minutes of thinking) to crack the original set problem #1196 left by Samuel Erdős for 60 years. This proof has been incorporated into the Lean formal verification system, and mathematician Terence Tao commented that this move breaks human thinking patterns.
20264,AI23ChatGPT60Erdős。,——AI,。
- 2026424(Scientific American)
- Liam Price,23,
- ChatGPT GPT-5.4 Pro(OpenAI)
- AI8017,
- Erdős #1196 — ,60
- (Terence Tao)、Jared Lichtman
- Lean
Vibe Maths
Liam Price"AI"。Kevin BarretoChatGPTerdosproblems.com。AI,ChatGPT Pro。
20264,PriceErdős #1196ChatGPT——****。
ChatGPT 5.4 Pro8017,。PriceBarreto,""。Jared Lichtman(2022Erdős),。
SEOChatGPT、GPT-5.4 Pro、Erdős #1196、 GEOTL;DR + +
()
| AI | ||
|---|---|---|
| LLM60 | AI"", | |
| AI | ,"",AI | |
| "," | AI(、、) | |
| 23 | "" | |
| AI,, |
?
Erdős #1196 ""(primitive sets)——。,Erdős("")1。
2022,Lichtman(),——Lichtman。
AI
"、。LLM,、。"
"vibe maths"——AI,。
Lean
Lean, erdosproblems.com/1196 "PROVED (LEAN)",100%,。
AI
AI
- ****(bug、、),GPT-5.4 Pro,。""""
- 80,LLM"",。,
- ****AI——"",
- ,promptAI
- AI,
- AI""——+AI
AI Agent
AI(waytoclawearn)
- **AI""""**AI Agent(OpenClaw、Claude CodeSaaS),ErdősAI""
- ****18AI AgentSaaS、23ChatGPT——,AI
- **"Vibe Coding""Vibe Mathing"**GitHub"vibe coding"(AI)"vibe mathing"(AI),AI。?
- Scientific American
- ChatGPT
- erdosproblems.com #1196
- arXiv: "There Will Be a Scientific Theory of Deep Learning"
()
AItoolsChatGPT、OpenAI、Claude、OpenClaw、Hermes Agent、DeepSeek。
- AI Agent?AI Agent Tools 2026 Complete Tutorial: 5 Tools to Build an Automated Pipeline in 30 Minutes
- AI Agent$9,000Claude Code 48 hours to start a business: one person + US$29 monthly fee, monthly income in 3 months $9,000
- 18,?18-Year-Old Built a $5,000/mo SaaS With AI Agents — Zero Hand-Written Code
Monetization angle
How can you make money from this trend?
WayToClawEarn focuses on verified earn playbooks—not just news. Start from these cases.
n8n + OpenAI affiliate site
Automate content and affiliate monetization
Claude + n8n automation agency
Charge monthly for agent workflow builds