产业观察

数学要「毕业」了,xAI联创宣判:两千年英雄史彻底落幕

Bili-科技·2026/10/7 01:05:01🔗 原文

📋总体概括

xAI联合创始人公开宣称,数学这门延续两千多年的人类学科即将被AI「毕业」——即AI已有能力独立完成数学研究与证明,数学的「英雄史」时代走向终结。这一言论将围绕大模型能否真正做数学、是科研工具还是科研主体的争论再次推上风口,也与DeepMind、OpenAI等在数学推理与形式化证明上的进展相互呼应,是AI能力边界讨论的又一标志性表态。

⚡关键信息

  • ▸xAI联合创始人发声,称数学作为延续两千年的学科即将被AI「毕业」
  • ▸其论断指向AI已可承担数学研究与证明工作,人类主导的数学英雄时代落幕
  • ▸该观点与AlphaProof、AlphaGeometry等AI在数学证明领域的突破形成呼应
  • ▸声明在AI圈引发争议:AI做数学究竟是辅助工具还是独立科研主体
  • ▸这是继编程、围棋之后,AI能力边界讨论向基础学科核心领域延伸的信号

🔥犀利点评

AI能不能做数学,和数学的「英雄时代」落幕是两码事。模型在形式化证明、竞赛题上刷出成绩是真,但要独立提出好问题、建立新理论,还差得远。这种「毕业宣言」本质是融资叙事:把数学捧成AI下一个征服对象,流量和估值都来了。历史上围棋、象棋的「终结」只改变了竞技生态,没杀死学科。数学家们该恐慌吗?该焦虑的是那些只会做标准题的人,而不是提出问题的人。

本文由本站自动聚合,以下为原始来源:前往 Bili-科技 阅读全文 →