AI labs race to solve math proof, outpacing academic researcher

Mathematician Tristan Buckmaster was nearing a significant proof when an AI lab (OpenAI or Anthropic) used its resources to solve it first. The event highlights the accelerating competition between AI companies and academic researchers in fundamental mathematics, raising questions about the future of human-led discovery. The specific proof and lab involved are not named, leaving the scope and implications uncertain.