Let \(R_{k}\)(3) be the least n such that any k-colouring of the edges of \(K_{n}\) yields a monochromatic triangle. Erdős asked how fast \(R_{k}\)(3) grows; the conjectured lower-bound mechanism (probabilistic) gave roughly c·k! growth. Erdős problem #183 asks for a superexponential construction.
Ramsey numbers are notoriously resistant: even R(5,5) is unknown between 43 and 48. The multicolour triangle function was pinned between exponential and factorial bounds for decades, with improvements measured in constant factors.
Resolved by OpenAI's Astra model, 1 August 2026: a superexponential lower bound for multicolour triangle Ramsey numbers, settling Erdős problem #183. Listed among the ten advances alongside resolutions of Erdős problems #146 and #180 (compactness/degeneracy in extremal graph theory) — three catalogue entries of Bloom's database retired in one batch.