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.

Edisen Lu · WayToClawEarnVia Scientific AmericanPublished Apr 26, 2026Updated Sep 28, 2026

Reviewed from public sources · AI-assisted drafting under editorial oversight. How we work · Original source

Public-source compilation

Synthesized from public posts/docs. Prefer the original source for primary claims.

How we review content · Primary source · Scientific American

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。?

()

AItoolsChatGPT、OpenAI、Claude、OpenClaw、Hermes Agent、DeepSeek。

openaichatgpterdosproblemamateur

View source →

Educational reference only: cases summarize public sources and may use AI-assisted drafting under editorial review. Not financial advice; outcomes are not guaranteed.