Oct 2025 · caseGPT-5 contributes the key idea for Erdős problem 848
GPT-5 proposed a stability or density idea that Mehtaab Sawhney and Mark Sellke corrected, tightened, and developed into a full solution.
Complete resultExpert-reviewed evidence
mathematics · combinatorial number theory
Erdős problem 848
A canonical Erdős problem in combinatorial number theory for which an AI-assisted solution was reported.
The associated record preserves the human-AI chat and emphasizes the substantial human correction and proof development after the model proposed its key idea.
Open reference source ↗Attempt ledger
What has been tried?
A complete attempt outcome does not automatically change the editorial status of the underlying problem.