The Mathematician Crushed Between OpenAI and Anthropic Over a Math Problem

Tristan Buckmaster was on the path toward an important proof when one of the A.I. giants used its staggering resources to get there first.