WayToClawEarn
High impactScientific American

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.

WayToClawEarn EditorialPublished Apr 26, 2026Updated Aug 8, 2026

Editorial review of public sources · AI-assisted drafting. How we work · Original source

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
LLM60AI"",
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

AI Agent

AI(waytoclawearn)

  1. **AI""""**AI Agent(OpenClaw、Claude CodeSaaS),ErdősAI""
  2. ****18AI AgentSaaS、23ChatGPT——,AI
  3. **"Vibe Coding""Vibe Mathing"**GitHub"vibe coding"(AI)"vibe mathing"(AI),AI。?

()

AItoolsChatGPTOpenAIClaudeOpenClawHermes AgentDeepSeek

View source →

Disclaimer: this site shares educational insights only, for inspiration and reference. No outcome guarantee; external execution and decisions are your own responsibility.