Status
On this page
Status
Topics
Status
On this page
Status
Topics
Let be the minimal such that if the edges of are coloured with colours then there must exist a monochromatic triangle. Determine
Source: erdosproblems.com/183
An accepted solution exists. Settled in another form, for example when its parts resolve differently or the question is open-ended.
Solved: the limit is . The site labels the problem SOLVED (LEAN), with commentary crediting the proof to an internal model at OpenAI in the form for all (page last edited 1 September 2026), and hosts Rob Morris's seven-page exposition of the construction under its proof expositions. The source is OpenAI's August 6, 2026 version of Chapter 9, Theorem 1.1. The accompanying upstream Lean file is linked at a pinned revision; it was not built or independently audited in this repository. The claim page OpenAI 2026 records the theorem and its postings as an accepted claim: the acceptance evidence is the credit of the site's curator, T. F. Bloom, and Morris's signed exposition; the report is not refereed, and this project's review of its own reconstruction (under Current assessment) is not counted as acceptance. The frontmatter standing derives from that page.