如今的大型推理模型能解开奥数金牌级别的难题，也能改进悬而未决的数学猜想，但一个越来越尖锐的问题摆在研究者面前：…