VibeMathedMath problems solved with AI

Erdős Problem #1153

Erdős problem #1153 · erdosproblems.com/1153

Result
Proved
Status
Resolved
AI contribution
AI-discovered
Method
Argument
Field
Analysis, Polynomials
Posed by
Paul Erdős, Paul Turán
Year posed
1961
Years open
65y
Solved
2026-03-24
Model
AlphaEvolve, Claude, Gemini Pro, GPT-5.2 Thinking, GPT-5.4 Pro
Vendor
Collaborators
Aron Bhalla, Nat Sothanaphan, Terence Tao
Verification
Site-confirmed
Publication
Announced
Significance
10 / 100
Disclosed cost
Wikipedia
No dedicated article

Verification

Marked solved by erdosproblems.com's official status. Solve credited via Terence Tao's AI-contributions wiki.

Source

Changelog1 change
  • Curatoradded this entry

Discussion