Pull to refresh
Logo
Daily Brief
Following Why Ranks Sign Up
Thomas Bloom

Thomas Bloom

Mathematician, University of Manchester

Appears in 1 story

Notable Quotes

'A dramatic misrepresentation' (on the October 2025 GPT-5 claim)

'A dramatic misrepresentation' (on the October 2025 GPT-5 claim)

'AI is helping us more fully explore the cathedral of mathematics that has been built over the centuries'

Stories

AI systems begin producing original mathematics

New Capabilities

One of nine outside verifiers of the proof

For 80 years, mathematicians believed square grids were the best way to pack points at distance exactly 1 apart on a plane. On May 20, an internal OpenAI reasoning model produced a counterexample, using algebraic number theory to beat the grid by a small polynomial factor. Nine outside mathematicians verified the proof.

Updated 16 hours ago