person

Maryna Viazovska

Ukrainian mathematician awarded the Fields Medal for solving the sphere-packing problem in 8 and 24 dimensions.

Current clusters

Twenty-five Fields Medalists sign a warning about how AI labs announce mathematical results

The declaration lands three days after OpenAI's Navier-Stokes claim, in the middle of a credit dispute where the company and the mathematician at the center give accounts that cannot both be right.

Publishers:genaisecretsauce.com

Reality

Evidence34
Adoption20
Hype gap+18
Incentives72
Confidence42

science2 publishers

Eleven days of machine time turned Wiles's 100 pages into 13 million lines of Lean

Anthropic says its Claude agents ran autonomously for 11 days to formalise Fermat's Last Theorem in 13 million lines of Lean, a result that rests on a finished human proof and 2 million lines of prior formalisation.

Publishers:nature.comnewscientist.com

Reality

Evidence58
Adoption32
Hype gap+18
Incentives70
Confidence64