AI 开始解答数学难题：人类不再推进前沿

人类目前仍在验证 AI 给出的数学证明，但推动数学前沿的已不再是人类，而是机器。rand_longevity 在 X 上发问能否接受另一种智能解决数学问题，并称这反映 AI 在基础研究中角色转变的标志性时刻。