VibeMathedMath problems solved with AI

Erdős Problem #888

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

Result
Proved
Status
Resolved
AI contribution
AI-discovered
Method
Argument
Field
Number Theory, Squares
Posed by
Paul Erdős
Year posed
1998
Years open
28y
Solved
2026-04-25
Model
Aristotle, GPT-5.5 Pro
Vendor
Collaborators
Przemek Chojecki
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