A research-level benchmark makes AI mathematics harder to oversell

The Simons Institute reports a benchmark designed to separate genuine mathematical progress from pattern-matching success.