The world's leading mathematicians were stunned by how adept artificial intelligence is at doing their jobs.

Grok 4 is leading several notable benchmarks, narrowly beating seasoned players like OpenAI and Google. Since its launch, ...