浙大数学系校友毕树超，带着Meta的AI模型Muse Spark，一口气掀翻了五道悬而未决的数学难题。

这事儿最绝的是算力门槛。数学家们没动超算矩阵，只打开网页端meta.ai，靠纯自然语言提示词，就把前沿猜想推倒了。比如群论里，AI直接写出复杂代码，揪出一个384个元素的异常群，拿反例把旧规则打得粉碎；概率论那边，它更是推演出一个极其尖锐的严格阈值，帮团队独立确立了理论极限。

毕树超自己倒挺清醒。他坦言早就意识到自己缺乏足够天赋去独立解决那些前沿难题，干脆放下单打独斗的执念，转头去训练AI替我们解题。

当数学界的AlphaGo时刻降临，前方是一片璀璨的无人区。浙江大学浙大校友毕树超