车品世界专注汽车用品与后市场领域，提供车载配件深度评测、新能源车改装方案、北京本地汽配服务指南及行业数据洞察，为车主与从业者打造专业、实用的汽车用品决策平台。
就在今天，毕树超领导的Meta超级智能实验室宣布，在过去的六个月里，他们的最新模型Muse Spark已经帮助人类数学家解决了六个数学领域的开放性难题。其中五篇论文直接给出了悬而未决的世界前沿问题的答案，甚至推翻了现有的群论拟议规则。
这一进展标志着AI在数学研究领域的颠覆趋势已不可逆转。毕树超表示：“数学界的AlphaGo时刻在今年降临了。”
毕树超本科毕业于浙江大学数学系，并在加州大学伯克利分校获得统计学硕士和数学博士学位。2025年6月，他加入Meta超级智能实验室，主攻强化学习与智能体前沿。作为一个科班出身的数学博士，毕树超曾意识到自己缺乏足够的天赋独立解决那些热爱的前沿开放难题，因此转向机器学习领域，致力于训练AI模型来解决这些问题。
在过去几个月里，多位顶尖数学家与Meta的Muse Spark 1.1和1.2模型合作，取得了显著成果，涉及概率论、微分方程、群论、优化理论、算术物理学和非结合代数六大基础科学领域。