The Peking University result matters less as a benchmark trophy and more as an institutional signal: the bottleneck in automated math has shifted. For years, the limiting factor was not whether AI could reason about open problems but whether that reasoning could be independently certified as correct — without a human mathematician signing off. The dual-agent design precisely by treating verification as a separate agent, not an afterthought. That architectural choice transforms a demonstration into infrastructure. Math departments and research funders now face…