毕树超（Shuchao Bi）大神是Meta 超级智能实验室（Meta Superintelligence Lab, MSL） 核心领军人物。在加入 Meta 之前，他曾担任 OpenAI 多模态后训练研究负责人。作为一位科班出身的数学家，他后来转向机器学习领域，致力于用AI解决科学前沿问题。他刚说“今年（2026年）是数学的AlphaGo时刻”。
正如帖子上说的，毕树超今年带领的 Meta 实验室，将 AI 从解答“教科书上有标准答案的奥赛题”，转向了“人类数学家正在苦苦探索的开放性研究问题”（即没有标准答案、甚至不确定是否有解的世界级前沿难题）。
在2026年，AI 在这一领域取得了爆炸性的成果。例如，Meta 的 Muse Spark 模型在短短几个月内，就协助人类数学家连续攻克了横跨群论、偏微分方程、概率论等领域的 6 大开放难题。其中甚至包括由 AI 独立生成代码，在庞大的数学系统中找到反例，直接推翻了数学界在2024年才刚刚提出的权威猜想。
