美国加州争议“数学替代”课程,AI巨头联名表态:数学与AI“难舍难分”_快资讯

  • 上观新闻
  • 2026-07-18 06:33:27

几年前,美国加州有过一场关于数学教育的争论。

由于代数、微积分等传统数学课程难度较高,部分学生难以达标,一些教育者主张用数据科学等应用型课程,来替代部分传统数学要求,作为大学招生的数学入学依据。多名AI领域领军人物联名发表公开信,核心观点是——AI脱胎于数学,没有数学就没有AI。


(相关资料图)

1994年菲尔兹奖得主埃菲·杰曼诺夫在2026世界人工智能大会“数学与人工智能”创新论坛上讲述了这件事。他同时指出,今天的AI已展现出“极具天赋的年轻数学家”水平——它通晓互联网上出现过的一切,能够将不同概念串联起来解决重要问题,但“它不知道证明究竟是什么”。

这恰好指向了当下数学与AI关系的两面:数学正在为AI提供一套可被验证的“对错标尺”与“不确定性刻度”;AI也在进入数学领域,从竞赛解题走向真正的数学研究现场。

两股力量交错推进,定义着对方的新可能。

AI与数学的关系是“乘”

“AI与数学的关系是‘乘’而非‘加’——只有深度拆解融合,方能实现真正的创新与落地。”清华大学兴华卓越讲席教授刘军用这句话,直接切入数学与AI关系的核心。他指出,统计学是数学科学非常重要的分支,是系统性把数学方法和数学技术联系到实际应用和问题中的学科。

打个比方:AI像一架大型飞机,统计学与概率论是它的引擎,数据是它的燃料。他逐一拆解了当前热门AI技术的数学根基——生成式模型最有效的扩散式生成,本质上是随机微分方程和偏微分方程的整合;Transformer架构(一种深度学习模型架构)的提出,使模型能够在更长序列上建立依赖关系,背后有概率论的支撑;强化学习的基础是马尔可夫决策过程。这些关键技术的背后,都有概率与统计模型提供底层支撑。

当算力与数据规模持续扩张,AI暴露出一些靠“大力出奇迹”无法解决的本质问题。业内讨论得同样热烈的,是数学还能帮AI突破什么。

其中之一是“因果混淆”。与会学者指出,当前AI本质上还在做预测,而数学正在推动它向“归因”和“因果推理”迈进。人类判断因果相对容易,因为因果关系的本质是环境不变性——如果A导致B,那么无论场景如何变化,这种关系都成立。而如果机器学到的只是关联而非因果,换了环境就会失效。因此,要教会AI区分相关性和因果性,不能靠堆数据解决,需要依靠数学框架的重构。

另一个更具现实冲击力的问题,来自神经网络的可解释性研究。有学者通过研究发现,即便是目前头部的开源大模型,在输出结果正确的情况下,其背后的决策机理仍有相当比例是错误的。

换言之,AI可能“蒙对了答案,但推理逻辑是错误的”。这一缺陷在文本生成、对话等低风险场景中影响有限,但如果在金融、法律、自动驾驶、军事武器、医疗诊断等领域,问题就会变得严重。

“我们一直在推动一件事——建立相应的评测标准,不只从输出层面评价模型,更要从内在机理层面审计它的可靠性。”上海交通大学计算机学院机器智能研究所长聘副教授张拳石表示。

AI进入数学发现现场

AI也在进入数学领域。当它接连取得数学竞赛突破之后,一个更具挑战性的问题浮现:AI能否走出拥有标准答案的考场,进入没有现成路径、甚至没有确定答案的数学研究现场?

论坛上多位学者展示了AI参与数学探索的最新进展。一个共同的判断正在形成:AI与数学的关系,正在从“辅助计算与解题”转向“参与探索与发现”。

伦敦数学科学研究所研究员何杨辉将数学研究概括为三条路径:从公理、定义出发进行形式化推导的“自下而上”路径;依靠实验、数据和直觉寻找规律的“自上而下”路径;由大语言模型参与推理的“元数学”路径。

从欧几里得的公理体系,到20世纪用复杂符号证明“1+1=2”的《数学原理》,数学一直在尝试将推理过程表达得更加严格。过去,这些高度形式化的内容往往令人望而却步。如今,它们却天然适合机器读取、检查和验证。

与此同时,数学发现从来不只是沿着公理一步步向前推进。许多重要猜想最初都来自数学家对数据、图像和模式的观察。机器学习擅长识别模式,这使AI不仅可以帮助数学家验证已有结论,也可能从大规模数学数据中发现此前没有被注意到的联系。

何杨辉坦言,AI正在逐渐进入自己的日常研究流程。过去,他对模型给出的数学内容持高度怀疑态度;现在,他会花数小时与模型持续对话,把它视为一个能够提供线索、同时需要研究者验证的合作者。

另一项实践也展示了这种合作的具体形态。北京大学博雅特聘教授董彬和团队构建出数学研究智能体,围绕开放问题制定计划、拆分任务、并行探索、生成反例并检查结果。在一次实验中,多个智能体持续运行数天,生成了包含数千个事实节点、拥有数十层依赖关系的知识图谱——不是在反复生成答案,而是在不断积累、验证和修正一条逐渐延伸的研究链条。

不过,全自动并不一定意味着最高水平。

董彬强调,目前完全自主的AI更适用于定义清晰、边界明确的问题;对于真正困难的开放问题,人机交互仍然极为重要。在一些实验中,AI迅速完成了让人类数学家长期受阻的部分,却在数学家认为相对简单的环节上需要提示。

这意味着,AI眼中的“容易”和人类眼中的“容易”并不相同。二者的差异,恰恰可能成为合作的基础:机器擅长在海量文献和推理路径中“大海捞针”,人类则更擅长判断一个联系为什么重要、一个问题是否值得研究,以及一个结果究竟带来了怎样的新理解。

随着AI加快证明生成、文献检索和结果验证,数学家的工作也可能发生变化。研究者或许可以减少在重复性技术细节上的时间,把更多精力投入到提出问题、选择方向、建立概念和理解结构之中。

原标题:《美国加州争议“数学替代”课程,AI巨头联名表态:数学与AI“难舍难分”》

标签: 科学 实验 数学家 概率论 统计学

分享到:

美国加州争议“数学替代”课程,AI巨头联名表态:数学与AI“难舍难分”_快资讯

美国加州争议“数学替代”课程,AI巨头联名表态:数学与AI“难舍难分”

  2026-07-18 06:33:27

云顶新耀(01952)授出47.3万份购股权及139.85万份奖励

智通财经APP讯,云顶新耀(01952)发布公告,于2026年7月17日,董事会根

  2026-07-18 06:16:43

文安县启财人造板厂(个体工商户)成立 注册资本80万人民币

天眼查App显示,近日,文安县启财人造板厂(个体工商户)成立,法定代

  2026-07-18 05:59:32

军校跌麻了!低分考生赢了!

军校跌麻了!低分考生赢了!,军校,学校,最低分,海军工程大学,普通高中

  2026-07-17 22:33:25

立新能源:连续2个交易日收盘价涨幅偏离值累超20%|每日速读

南财智讯7月17日电,立新能源发布股票交易异常波动公告,公司于2026年7

  2026-07-17 20:01:21

每日观察!德天空:拜仁清楚奥利塞未来可能去皇马,但现在仍不会出售他

德天空:拜仁清楚奥利塞未来可能去皇马,但现在仍不会出售他,拜仁,奥利

  2026-07-17 19:31:35

联泰控股(00311.HK)进一步延迟寄发通函 焦点关注

联泰控股(00311 HK)进一步延迟寄发通函

  2026-07-17 19:17:20

比依股份成立科技新公司,含智能机器人业务

企查查APP显示,近日,杭州灵知行科技有限公司成立,经营范围包含:智

  2026-07-17 17:06:18

通光线缆: 重大合同预中标提示性公告 热资讯

通光线缆:重大合同预中标提示性公告

  2026-07-17 17:12:32

滨海能源:控股股东增持公司股份455万股|最新消息

【滨海能源:控股股东增持公司股份455万股】7月17日,滨海能源公告称,

  2026-07-17 17:05:50

微动态丨本田将停产在美国销售的唯一一款电动汽车Prologue

本田将停产在美国销售的唯一一款电动汽车Prologue,本田,美国,唯一,电动

  2026-07-17 16:30:52

别再写提示词,Claude官方亲自教你用4种循环自动干活 今日聚焦

AI圈正流行“不再写提示词”,转向“循环工程”。ClaudeCode团队定义“

  2026-07-17 14:10:41

比赛还有不到3天,阿根廷却遭当头一棒,妥妥坏消息,世界杯夺冠悬了

比赛还有不到3天,阿根廷却遭当头一棒,妥妥坏消息,世界杯夺冠悬了,欧

  2026-07-17 13:23:19

热文:帕努奇力挺皮尔洛:他若执教意大利,我会很高兴

帕努奇力挺皮尔洛:他若执教意大利,我会很高兴,意大利,尤文图斯队,桑

  2026-07-17 12:34:11

每日资讯:申花为踢好亚冠还留了一手?门将位置或有望给马镇机会,值得期待

申花为踢好亚冠还留了一手?门将位置或有望给马镇机会,值得期待,马镇,

  2026-07-17 12:27:43

生意社:7月16日LME基本金属库存统计-资讯

7月16日,伦敦金属交易所(LME)有色金属库存及变化如下:1 铜库存300600

  2026-07-17 10:07:54

最新消息:光环新网:公司主营业务为互联网数据中心业务和云计算业务

证券之星消息,光环新网(300383)07月16日在投资者关系平台上答复投资者

  2026-07-17 10:10:27

6月楼市筑底修复加速 核心城市房价企稳利好龙头

数据显示,上半年全国新建商品房销售面积4 0亿平方米,同比下降11 6%,

  2026-07-17 09:32:16

‌全市85家医保定点医疗机构 接入医保影像云平台

贵阳网·贵阳新闻讯记者从贵阳市医保局获悉,贵阳市医保影像云项目建设

  2026-07-17 09:21:27

【环球财经】伦敦股市16日上涨

新华财经伦敦7月16日电(记者赵阳)英国伦敦股市《金融时报》100种股票

  2026-07-17 07:05:22

快看点丨图赫尔遭批仍获力挺,剑指2028本土欧洲杯

图赫尔遭批仍获力挺,剑指2028本土欧洲杯,世界杯,英格兰队,切尔西队,欧

  2026-07-17 06:41:08

盖希炮轰英格兰消极战术:领先后只想着死守

盖希炮轰英格兰消极战术:领先后只想着死守,盖希,英格兰,马丁内斯,费尔

  2026-07-17 06:34:36

下一个罗德里!曼联弃拉什福德换巴萨天才,锁定西班牙未来真核

下一个罗德里!曼联弃拉什福德换巴萨天才,锁定西班牙未来真核,曼联,罗

  2026-07-17 06:34:26

纳指跌1.01%

每经AI快讯,7月16日,纳指跌1 01%,现报26003 366点;道指涨0 09%,现

  2026-07-16 22:02:07

官方:莱斯特城免签伊普斯维奇中场查普林,合同为期三年

官方:莱斯特城免签伊普斯维奇中场查普林,合同为期三年,康纳,查普林,

  2026-07-16 21:30:25

佳兆业资本(00936):宋伟获委任为执行董事

智通财经APP讯,佳兆业资本发布公告,宋伟先生已获委任为执行董事,自2

  2026-07-16 21:03:42

98年我考上大学没钱,村长:我可以借你钱,但是你得答应我个条件_快播报

98年我考上大学没钱,村长:我可以借你钱,但是你得答应我个条件,二嫂,

  2026-07-16 20:30:49

[快讯]洪田股份发布质押公告一股东累计质押2132万股

CFi CN讯:  洪田股份(股票代码:603800)发布2026-035关于持股5%以

  2026-07-16 18:35:33

PriceSeek提醒:2026年上半年国内家禽禽蛋生产数据发布 今日热议

国家统计局最新数据显示,2026年上半年国内家禽出栏保持增长。2026年上

  2026-07-16 18:13:44

热门资讯

联系邮箱:291 32 36@qq.com

京ICP备12018864号-33未经授权不得镜像、转载、摘抄本站内容,违者必究!Copyright 2022  www.213.com.cn. All Rights Reserved

213网 版权所有