VibeMathedMath problems solved with AI

Erdős Problem #948

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

Result
Proved
Status
Resolved
AI contribution
AI-discovered
Method
Argument
Field
Number Theory, Ramsey Theory
Posed by
Paul Erdős
Year posed
1977
Years open
49y
Solved
2026-06-21
Model
Aristotle, GPT-5.5 Pro
Vendor
Collaborators
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