VibeMathedMath problems solved with AI

Erdős Problem #380

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

Result
Proved
Status
Resolved
AI contribution
AI-discovered
Method
Argument
Field
Number Theory
Posed by
Paul Erdős, Ronald Graham
Year posed
1980
Years open
46y
Solved
2026-03-31
Model
GPT-5.4 Pro
Vendor
Collaborators
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