IMO 2026, Shanghai, 10 to 21 July. 666 contestants from 117 countries; 7 scored a perfect 42/42. Huawei's Celia and RedNote's dots-note-3.0 both reported 42/42 on the same problems, graded by IMO…

On 1 August 2026 OpenAI published a 249-page manuscript reporting ten previously-open results in mathematics and theoretical CS, from an unreleased model. Each result ships with a Lean 4 proof in a…

On 10 July 2026 OpenAI published a three-page proof of the Cycle Double Cover Conjecture, open since the 1970s. Produced by GPT-5.6 Sol Ultra using 64 subagents in under an hour. Lean formalization…

HoF now has a Discord server! i've also made a bot that lets you suggest new entries using /suggest. I've also missed a lot of new developments over the past week, all of which should be uploaded now…