VibeMathedMath problems solved with AI

Erdős Problem #1221

Result
Proved
Status
Candidate (review pending)
AI contribution
AI co-developed
Method
Argument
Field
Discrepancy
Posed by
de Bruijn, Erdos (1949)
Year posed
1949
Years open
77y
Solved
2026-09-08
Model
GPT-Astra
Vendor
OpenAI
Collaborators
Samuel Korsky
Verification
Unreviewed
Publication
Significance
10 / 100
Disclosed cost
Wikipedia
No dedicated article

Sources

Submitted by GoldenMongoose827 on

Changelog2 changes

Discussion