He was close to a huge math breakthrough. Then he got scooped by AI.

This development underscores the accelerating pace at which artificial intelligence is automating complex scientific discovery. It signals a paradigm shift where human researchers must pivot from traditional computation to collaborative roles alongside machine intelligence.