纳维-斯托克斯争议未平，OpenAI又宣称攻克霍奇猜想。上万个agent刷题88小时出解法，数学家却坦言害怕：路是我们铺的，抢跑的却是AI。