I probably spent 300 billion tokens on Hadwiger–Nelson problem (GPT-5.6 and Astra) and got absolutely nothing – and here it is, five-colours is no go, lower bound has moved to 6 or 7. Not a full solution yet, but it's a biggie.
LLMs used on Hadwiger–Nelson problem, lower bound moves to 6 or 7
By
–
