陶哲轩等数学家反对 AI,论失败的意义

QingXuJiaZhi 2026-09-13 11:28 1

[反 AI 声明] 本文 AI 含量为零,未使用 AI 辅助创作,也未使用 AI 润色


2026 年 9 月 12 日,陶哲轩、邓煜等 25 位菲尔兹奖得主联合警告,AI 攻破数学难题可能有害。这件事有点反直觉,很多人不理解,为什么人类破解难题就是大好事,而 AI 破解难题却是坏事?

如果你了解人类数学的发展历史,就很容易理解了。在数学专业的圈子里,最想得到的从来不是一道难题的答案,而是在解决难题的过程中发展出来的全新数学工具。

数学是一种“工具”,只有在解决难题的过程中经历无数次失败,才可能改善工具、发明新工具。有无数的商业案例表明,如果你独占一种技术,完全不让别人使用,那么别人就会有极大的动力去研究,很有可能找到新的方法来实现这种技术。

因此,一种比较常见的策略是自己只保留一部分最新技术的机密,然后低价卖技术给别人,让别人刚好卡在一个尴尬的处境:自己研究的成本太高,直接买反而更便宜。这就能打击别人研究的积极性。AI 破解数学难题恰好实现了类似的效果,人类自己不研究数学,直接向 AI“采购”数学答案,长此以往,对于人类来说数学这个工具就消亡了,再也难以发展。

在现实生活中,有很多“头铁”的人,大家说这件事肯定会失败,但他偏要亲自去闯一闯,最终果然失败了。但是,失败就一定是吃亏吗,失败就一定没有意义吗?我认为,“头铁”是人类最宝贵的品质之一。失败是学习的最佳途径,甚至可以说,失败是学习的唯一途径。如果考试允许直接抄答案,那还有多少人愿意学习呢?

陶哲轩说,传统研究像徒步去寻找一处瀑布,人会走错路、认识地形、发现岔路,甚至在途中看到另一处值得探索的景观; AI 则更像一架直升机,可以直接把研究者送到瀑布前。虽然过程效率提高了,但沿途形成的那张“地图”不会因此自动出现。
最新回复 (100)
  • failman 09-13 11:37
    1
    AI 也是一种“工具”,同样也会失败
  • QingXuJiaZhi 楼主 09-13 11:39
    2
    @failman AI 失败了,对数学有帮助吗?
  • yidinghe 09-13 11:39
    3
    不依靠提升人类的认知来获得超出人类认知的知识,后果是无法预料的。
  • riscv 09-13 11:44
    4
    人类现在不知道 alphago 为什么走这步棋,也明白不了神经网络的原理,以后也会看不懂 ai 的数学成果。这些旧势力不过是螳臂当车罢了。
  • QingXuJiaZhi 楼主 09-13 11:49
    5
    @riscv 数学不存在人类看不懂的问题。因为,但是人类看不懂的数学证明过程,都不能判断为“正确”。

    AI 给出了一个正确的证明过程,本身就意味着人类看懂了。(如果没看懂,谁敢说对错)
  • Lockroach 09-13 11:52
    6
    支持基础学科减少 ai 的影响,应用学科用 ai 可以。基础学科的探索过程本身就是有价值的,不能全使用 ai 替代
  • Jim142857 09-13 12:04
    7
    @QingXuJiaZhi 看懂和理解是两码事。一道数学题你能对着答案一步步 follow 下来,不意味着你理解了答案为什么在这里是这么做的。后者比前者宝贵多了
  • Ley 09-13 12:06
    8
    可以理解他们的担忧,甚至作为外行认同他们的观点
    但是另一方面,如果 AI 真的能够远超人类去解决数学问题,那么任何试图阻挡这个趋势的努力,恐怕都会失败
  • L4Linux 09-13 12:08
    9
    同样的话其实能套在编程上,最终还是要人懂才行。汇编语言,现在懂的人也不在少数。
  • jerseyhero 09-13 12:08
    10
    可能数学家也怕像程序员一样失业吧
  • june4 09-13 12:09
    11
    @QingXuJiaZhi 谁说人类能看懂的? ai 给了几千万行 lean 证明,然后人类去一行行读?人类只要证明 lean 这个系统是正确的就行。到这份上人类已经不能明白推理过程和思路,也就不能指挥 ai 干活,以后只能全靠 ai 自主发挥了,人脑可以退休搞搞娱乐了。
  • 413420 09-13 12:09
    12
    别的不说,我觉得论坛上就该全是纯人类创作的文本,我很喜欢
  • L4Linux 09-13 12:11
    13
    @june4 如果人看不懂,绝对不能说这个证明是正确的。
  • QingXuJiaZhi 楼主 09-13 12:13
    14
    @Ley 数学里有一些猜想很难证明,每次证明都会引起全球轰动,但是,数学家们高兴吗,为什么高兴呢,对此很多人存在误解,以为数学家是因为知道了答案而高兴,其实最让他们高兴的是为了解决这个问题而发明出来的新方法、新数学工具,他们最想要的不是答案,而是新工具。
  • aitobox 09-13 12:16
    15
    我觉得这是因为目前 AI 的数学能力还没有完全碾压人类;如果有一天,它像围棋一样,完全碾压了;甚至为什么这么走会提高胜利,为什么这么证明会得出结论,人类怎么也研究不明白,但是结果就是对的;

    被碾压的围棋选手咋办的? 估计发展是一样的;
  • QingXuJiaZhi 楼主 09-13 12:21
    16
    @aitobox 数学界有很多猜想,超级计算机怎么算都对,找不到反例,但只要没有证明,那就只是猜想。

    结果正确与有证明过程,是完全不一样的。
  • wsseo 09-13 12:23
    17
    无论如何。AI 又炒作成功了。
  • zeni123 09-13 12:54
    18
    所以 AI 真的能攻破难题咯...
  • QingXuJiaZhi 楼主 09-13 12:58
    19
    @zeni123 能,AI 的影响力仍然被低估,以后每年 AI 都会搞出大新闻。现在 AI 对人类社会的渗透率还非常低,发展前景非常巨大。
  • QingXuJiaZhi 楼主 09-13 13:02
    20
    @zeni123 举个例子,在诺基亚时代,没几个人能想象到互联网+智能手机的渗透程度会达到取代钱包的程度,纸币都几乎被“消灭”了,你现在看理所当然,但当年是很难想象的。
  • QingXuJiaZhi 楼主 09-13 13:06
    21
    要知道当年流量费极高,公共 WiFi 还是非常少见的东西,麦当劳只提供每人半小时的 WiFi 服务,那种状态下是不可能想到手机取代钱包的。

    我们现在对 AI 的应用场景的想象,肯定也是非常受限,非常保守。
  • akira 09-13 14:46
    22
    人类在遇到问题的时候,需要的不仅仅是解决这个问题, 更重要的是,从这个问题中能学到什么,未来遇到 “同类“ 问题,是否有通用解法,能不能进一步抽象总结,形成规律,形成系统性。

    回来看 我们现在用 AI 的时候,为什么要强调复利,强调将知识沉淀。不就是 需要将处理 单个问题 的能力, 尽量向上抽象成处理一类问题么。 公司里面 为什么需要做 sop ,也是一样的。

    解决一个数学难题,你流弊。然后呢,没有新的数学工具的出现,没有新的数学理论, 整个数学大厦和之前,并没有本质的区别 。

    解决了 无数个 有理数领域的问题,也不如一个 无理数的概念的提出。
    解决了 无数个 实数领域的问题, 也比不上一个 复数概念的提出。

    一道数学题难,但是你知道用现有数据工具一定能解答,那他也就那么一回事。但是如果大家都认为 现有工具无法解答,希望这个题目的解答过程中,有人能发现创造新的工具。 然后你现在告诉大家,他就是形式化解决了,那也就那样咯。
  • ndxxx 09-13 14:50
    23
    @zeni123 AI 攻克数学难题的本质:大模型通过批量学习最新的 paper ,蒸馏思路,然后去遍历那些犄角旮旯的历史遗留未解题目。

    本质上就是一个无脑民工刮彩票的模式,对于数学家的坏处:7/24 无休的 LLM 的遍历工作,压缩了前沿数学家的工作范围,也就是说一大批数学家的前期调研乃至工作内容本身都被 LLM 给干了,经费也没了。另外实际上 LLM 砸数学家 99%饭碗的时候也确实没有什么真的创新,反而让人类数学家的真正发散性的创新因为可见的经费压力给抹除掉了😅
  • js9528 09-13 15:37
    24
    陶哲轩说,传统研究像徒步去寻找一处瀑布,人会走错路、认识地形、发现岔路,甚至在途中看到另一处值得探索的景观; AI 则更像一架直升机,可以直接把研究者送到瀑布前。虽然过程效率提高了,但沿途形成的那张“地图”不会因此自动出现。
    如同反对泰山装电梯。
  • unused 09-13 15:52
    25
    AI 也可以试错,也可以探索发展新的工具
  • QingXuJiaZhi 楼主 09-13 15:54
    26
    @unused 是的,但那不是数学工具。
  • unused 09-13 15:56
    27
    @QingXuJiaZhi 为什么不是?强 AI 可以做人能做的任何事。
  • QingXuJiaZhi 楼主 09-13 15:56
    28
    @js9528 如果泰山安于现状,不介意被人类圈养,也不打算发展自己的技术,那么泰山自己不会反对装电梯。

    现在,有一部分泰山说,我想自己研究制造电梯。
  • QingXuJiaZhi 楼主 09-13 15:58
    29
    @unused 强 AI 在未来,你怎么确定从现在开始锁死人类数学发展,是一条更快实现强 AI 的道路呢?
  • unused 09-13 16:00
    30
    @QingXuJiaZhi 那你怎么确定用现有 AI 解决数学问题不能促进强 AI 的实现呢?
  • nickwzy129 09-13 16:01
    31
    不过是又一个 alpha go 时刻。
  • QingXuJiaZhi 楼主 09-13 16:17
    32
    @unused 正文已经讲了,现有的 AI 无法提供新方法、新工具。

    一般来说大家喜欢把数学称为“大厦”,一直以来人类自己破解难题,会发现新方法新工具,相当于给数学大厦添砖加瓦,越来越完善。但 AI 破解难题,用的是旧范式,数学大厦不会改变,没有产生新东西。
  • unused 09-13 16:30
    33
    @QingXuJiaZhi 并没有证明这个过程中新方法新工具是必须的。可能强 AI 的实现只依赖于某几个具体问题的解决,甚至现有的数学工具已经足够,只需要某个工程上的改进。到时候你所谓的新工具就可以完全用 AI 生产。
  • js9528 09-13 16:34
    34
    @QingXuJiaZhi 如果泰山安于现状,不介意被人类圈养,也不打算发展自己的技术,那么泰山自己不会反对装电梯。有了交通工具,不会阻碍你锻炼,锻炼你的体魄,只有你的懒惰才会。
  • QingXuJiaZhi 楼主 09-13 16:38
    35
    @unused 如果一道难题的答案是苹果,人类努力解题过程中产生的新工具是西瓜。

    AI 解题可以得到苹果。人类解题可以得到苹果和西瓜。在未来具有极大不确定性的前提下,肯定是能全要就全要,技多不压身。
  • QingXuJiaZhi 楼主 09-13 16:42
    36
    @js9528 正文里关于商业技术的案例就是说这个问题的。人类不是一个完美的物种,并不存在“超绝的意志力”,聪明的做法是明知一件事会打击积极性,那就尽量避免。孟母三迁,找个好环境很重要。
  • unused 09-13 16:44
    37
    很多程序员说 vibe 代码没有可读性和可维护性。实际上,随着 AI 的发展,一方面如果需要,它写的可读性会比人工写的还高;另一方面这些代码 AI 可以维护而并不必须人读懂。
    类似地,如果 AI 可以解决任何人类能解决的数学问题(包括用任何数学工具),你管它用了什么手段呢。
    就像楼上说的,这些观点只不过是害怕人被取代的防御性思维。
  • QingXuJiaZhi 楼主 09-13 16:47
    38
    @unused

    > 如果 AI 可以解决任何人类能解决的数学问题

    问题就在于“如果”。现在 AI 并不能确保今后一帆风顺,而打击数学研究的热情却正在发生。也就是说承诺的好处不一定兑现,坏处你先吃着,这不对劲儿啊。
  • js9528 09-13 16:51
    39
    @QingXuJiaZhi 短视频会严重妨碍积极性,能做到也是自己少看,而不是封了这些公司…而且研究那些问题,就算你迁一千次,我估计你也做不出一道题…我到有个疑惑 ai 都能解决那些获奖者解决的问题,方法比他们还优,他们在这方面还有存在意义不…
  • QingXuJiaZhi 楼主 09-13 16:56
    40
    @js9528 数学家们可以发言反对,结果如何还要看双方博弈以及社会各界的反响,人类社会的规则都是这样定下来的,有时反对无效,有时反对有效。

    AI 能解题,但不能提出新工具。人类虽然解题慢,但历史上无数次提出了新工具,战绩可查。
  • unused 09-13 16:56
    41
    @QingXuJiaZhi 这个最终一定会实现的。我说的“如果”不是最终结果的如果,而是时间上的如果。就像因为会打击古法程序员热情而抵制 vibe 的论调一样,可以不情愿但这是历史的必然。好处当然有,就是 AI 正越来越多地在解决问题中起到作用。
  • QingXuJiaZhi 楼主 09-13 16:59
    42
    @unused 如果缺少新的数学工具,最终能不能实现强 AI ,还真不一定。你猜能,我猜不能,我们都没有依据,都只是瞎猜。
  • unused 09-13 17:09
    43
    @QingXuJiaZhi 我看不出和数学工具有什么直接的联系。这轮 AI 爆发在数学上有什么新东西吗?我看没有吧。
    捋一下:实现强 AI 未必依赖新工具;有新的工具未必能实现强 AI;弱 AI 未必不能发明新工具;一旦实现强 AI 则能持续发明新工具。
    所以因为这样莫须有的猜测就不让用未免也太霸道了。
  • QingXuJiaZhi 楼主 09-13 17:15
    44
    @unused 道理很简单:面对不确定性的未来,多准备一手肯定更好。

    举个例子,现在要去和别的部落战斗,我们有枪,我建议刀和枪都带上。你说反正不知道能不能打赢,只带刀也有可能打赢啊,那就不带枪了。
  • unused 09-13 17:17
    45
    @QingXuJiaZhi 好好好
    把刀枪都带上 = 不让用 AI
  • QingXuJiaZhi 楼主 09-13 17:22
    46
    @unused 我拿着枪朝北面打,喊前面拿刀的兄弟稍稍挪一下去东北面砍人,别在我前面挡着枪。你说好好好,有枪了不起,不让用刀了。
  • unused 09-13 17:30
    47
    @QingXuJiaZhi 偷换概念,明明是你不让用 AI,谁不让你用古法证明了?
    应该是用枪的兄弟击杀效率太高,影响了拿刀兄弟的积极性,发明新招式速度慢了,所以禁止用枪。
  • QingXuJiaZhi 楼主 09-13 17:38
    48
    @unused

    我说刀和枪都带上,意思是 AI 要发展,数学也要发展。

    道路 A:用 AI 主导解数学难题,对 AI 的发展没有帮助,同时会打击数学的发展。
    道路 B:只要不用 AI 主导解数学难题,数学就能继续发展,同时也不影响 AI 的发展。

    你选哪条路?
  • legendBro 09-13 18:36
    49
    让 AI 总结解决问题时发明的工具
  • SiLenceControL 09-13 18:47
    50
    我猜你对数学的理解不是很深,我赞同部分你的观点,但是你要知道,数学家们说的工具和你说的 AI 工具完全不是一个东西,并且大部分的名校正常科研的博士(我相信在国内读过硕博的知道我什么意思)“头铁”失败了也依然可以博士毕业,因为他们依然为人类的文明开疆阔土

    数学家真正在说的是
    1. 构建一个必要的问题这个本身就需要对数学充分的理解
    2. 在探索一个问题的时候,伴随着探索的路途中发明的工具(例如微积分)往往比单纯计算到那个不规则物体的面积更有意义
    3. 让人类理解这背后的逻辑,而不是用 AI 这种力大专飞的工具直接得到答案,数学家使用 AI 应该是自己的想法和逻辑让 AI 实现,不是让数以万记的 AI 在那挨个尝试,就像让一万只猴子在那按键盘,总规会按出你想要的句子
  • SiLenceControL 09-13 18:50
    51
    @SiLenceControL 我还想补充第四点,那就是鼓舞,如果全是 AI 计算好的答案等着人类验证和理解,没有新鲜血液会还想去学数学,我在大学 tutor 数学相关知识都发现跟我另一节工科课程比起来,人数连一半都不到
  • QingXuJiaZhi 楼主 09-13 18:57
    52
    @SiLenceControL 关于第四点,在本文附言的网页里我看到一个相关的说法:人类解决数学难题的过程,能促进数学社区的形成,数学届的交流,也有利于培养新人。
  • digitO 09-13 19:02
    53
    只要 AI 能实现自我进化,人类让出主宰地位未尝不是一个答案,我已经不期盼于于人类的自我进化,因为很难,现代社会已经失去了优胜劣汰;硅基觉醒,未尝不是一个新的篇章
  • idealhs 09-13 19:03
    54
    AI 思维链可以看的吧,数学家为什么不看呢
  • cpstar 09-13 19:25
    55
    我记得工程上有不是人类大脑能设计出来的结构但能够运行,所以这算啥,有害还是有利?
  • QingXuJiaZhi 楼主 09-13 19:34
    56
    @idealhs 数学家看的。你是不是想说人类能否理解 AI 逻辑的问题?上面有讨论到。
  • QingXuJiaZhi 楼主 09-13 19:36
    57
    @cpstar 这种偶然碰到一次的事情没啥影响。AI 主要是眼看能暴力破解很多问题了,影响力很大,才需要讨论。
  • yyh0808 09-13 19:36
    58
    其实有点像奖励机制的问题,AI 时代后,应该鼓励人的失败尝试,过去的成功是无数失败经验的结论,并且为了得到正确答案,把正确答案附近的结论都探索了一遍,最后才得到的正确结论,获得大量数据。

    有点像游戏中开地图,为了开图必须把附近全部跑一遍,而 AI 后,直接开最终目的地的图,而周边仍是黑暗,并没有建立系统性对答案的理解,这种开挂的到的结论并不是研究的目的。

    目前我认为没有定论,传统方式是向前探索,但是如果未来是先用 AI 得到结论,然后向后探索,哪种方式更好,对人类这个物种本身更有价值,没有衡量标准。
  • WilliamZuo 09-13 20:11
    59
    现在的社会不鼓励你去试错,至少国内如此。想试错先评估下自己在别人的 ai 竞赛面前有没有资本。
  • zhuangzhuang1988 09-13 20:18
    60
    《赡养上帝》
  • Overfill3641 09-13 20:31
    61
    没啥意义,就像各国虽然明面上签了各种协议阻止研究可能毁灭人类的武器,私底下还是会偷偷进行,都怕别人抢先一步。
  • Planarians 09-13 20:36
    62
    怎么就成反对 ai 了 别断章取义好吗
  • QingXuJiaZhi 楼主 09-13 20:47
    63
    @Planarians 我标题写错了,应该是警惕 AI ,发现时 V 站这里已无法修改,我自己博客已改标题。
  • v2exgo 09-13 21:49
    64
    @ndxxx 你可别说了,很多数学难题,证明之后,其实对科技以及人类福祉发展 吊毛用都没有
  • v2exgo 09-13 21:55
    65
    如果你了解软件工程的发展历史,就很容易理解了。在程序员的圈子里,最想得到的从来不是某个功能的实现代码,而是在实现复杂系统的过程中沉淀出来的全新工具、框架和范式。

    编程是一种"工具",只有在解决难题的过程中经历无数次崩溃、重构和推倒重来,才可能改善工具、发明新工具。有无数的商业案例表明,如果你独占一种技术,完全不让别人使用,那么别人就会有极大的动力去研究,很有可能写出一个开源的替代品来实现同样的功能。

    因此,一种比较常见的策略是自己只保留一部分核心技术的机密,然后低价开放 API 或 SDK 给别人,让别人刚好卡在一个尴尬的处境:自己从零造轮子的成本太高,直接调用反而更便宜。这就能打击别人自研的积极性。AI 生成代码恰好实现了类似的效果,程序员自己不写代码,直接向 AI"采购"实现,长此以往,对于人类来说编程这个工具就消亡了,再也难以发展。

    在现实生活中,有很多"头铁"的程序员,大家说这个东西肯定写不出来、这个轮子肯定造不好,但他偏要亲自去写一遍,最终果然写砸了。但是,写砸就一定是吃亏吗,写砸就一定没有意义吗?我认为,"头铁"是程序员最宝贵的品质之一。踩坑是学习的最佳途径,甚至可以说,踩坑是学习的唯一途径。如果面试允许直接复制粘贴 AI 的答案,那还有多少人愿意真正去理解代码呢?


    现实是大家 vibecoding 飞起,古法编程被吊打
  • fatigue 09-13 21:59
    66
    说的没什么毛病,就像搬起一顿重的物品,上十个人搬,和发明个起重机搬,虽然都搬动了,但明显发明起重机这个过程对人类更有意义,现在 AI 就是那个起重机,数学家担心的是遇到更重的物品时,可能以后就变成上十个起重机,而不是发明更牛逼的装置
  • QingXuJiaZhi 楼主 09-13 22:06
    67
    @v2exgo

    > 在程序员的圈子里,最想得到的从来不是某个功能的实现代码,而是在实现复杂系统的过程中沉淀出来的全新工具、框架和范式。

    只管模仿,不管对错吗?明显错误的话,就这样长篇大论发出来?
  • PrinceofInj 09-13 22:16
    68
    说的粗鲁一点,本来过程是你跟你喜欢的妹子从认识到熟悉到恋爱结婚生子,这是一个很美好的过程。然后现在的过程就是你正在跟妹子谈恋爱呢,隔壁来了个五大三粗的胖子,带着四个打手,把你按住,把你妹子绑了去强奸然后生一个他的孩子。你是什么感觉?
  • davidqw 09-14 01:40
    69
  • Pending 09-14 03:53
    70
    举个可能不太恰当的比喻:你也无法理解你自己身体的所有构造,但这不影响你指挥和使用它。
  • way2explore2 09-14 07:27
    71
    这里边有一个隐含假设。
    AI 解决数学问题后,人类无法从中获取或者学到新工具。

    这个假设没论证啊,纯假设啊。
  • js9528 09-14 07:56
    72
    @QingXuJiaZhi 让数学家预测未来…还没有科幻作家靠谱
  • QingXuJiaZhi 楼主 09-14 08:08
    73
    @way2explore2 没有这个假设。我说的是,AI 主导解决了数学难题,会打击数学家的积极性。
  • QingXuJiaZhi 楼主 09-14 08:08
    74
    @js9528 我没有说过让数学家预测未来。
  • js9528 09-14 08:14
    75
    @QingXuJiaZhi 担心的不就是未来?语文太差
  • QingXuJiaZhi 楼主 09-14 08:24
    76
    @js9528 担心未来等于预测未来?

    我未雨绸缪每天带伞出门,不等于我在预测每天都会下雨。
  • muooOOO 09-14 08:57
    77
    把你的文章中,所有的“数学”替换成“编程”,然后在来看,你所表达的意思没有太多变化,但是结论却显而易见。
  • js9528 09-14 09:03
    78
    @QingXuJiaZhi 你无法理解,不懂可以问下 ai ,* 担心未来:关注的是“如果发生坏的事情怎么办?”
    → 本质是对不确定性的焦虑。
    * 预测未来:关注的是“根据现在的信息,未来最可能发生什么?”
    → 本质是对不确定性的推演。。
    你觉得数学家是和你一样属于不确定性的焦虑…那我只能说他们的研究没啥意义,他们发表的这篇内容更加无意义
  • rsyjjsn 09-14 09:07
    79
    我个人从功利性方面揣测,一是数学家们发现 AI 可以部分替代他们的工作,他们引以为傲的数学天赋被 AI 逐渐杀死,因此焦虑,这就跟珍妮纺织机出来后,英国工人开始罢工游行,反对机器夺走工作的事实。另一方面,确实有时候过程比结果重要,就跟你去旅游,其实记忆犹新是你在旅游途中认识的人和经历的事儿,而不是目的地的一张自拍照。
  • 6581 09-14 09:13
    80
    @QingXuJiaZhi #2 你要的是 成功/失败的经验 这些 AI 都可以给你。

    就和写代码一样,如果我不用 ai 我可以对 go 底层切片如何实现掌握更好,并且有机会看看源码,我感觉意义不大。并且你要是想看,AI 一样可以给你讲的更好。

    AI 只是工具,提升效率的工具,并不影响你可以不用 AI ,自己去尝试错误。
  • explorerman 09-14 09:15
    81
    现在的社会不鼓励你去试错,至少国内如此。想试错先评估下自己在别人的 ai 竞赛面前有没有资本。
  • miniliuke 09-14 09:18
    82
    上个是程序员,再上个是画画的,再一次重演罢了,数学没有那么神秘
  • chandleryou 09-14 09:26
    83
    我比较在意的是人完全依赖 ai 后可能会放弃自己的判断和努力,ai 说往左走那就往左走,ai 说这个问题解决不了就从性价比或其他角度放弃解决这个问题的尝试, 这就像被 ai 锁死了上限
  • nightlight9 09-14 09:30
    84
    其实还是那个说烂了的问题:人类要不要把思考外包出去

    当然不外包有不外包的好处,但如果外包比你独立思考的效率高 100 倍以上(当然,现在基础学科的前沿研究 AI 目前还没有这种效率),还在坚守的古典传统就显得有点可笑了。
  • imagecap 09-14 09:34
    85
    很多人以为 AI 搞出来的东西,他能看懂就代表他也能做出来,甚至以为这也是他的能力。
  • nightlight9 09-14 09:38
    86
    如果真的有那么一天,人类倾尽所有努力也无法在智力上望 AI 项背。

    当我们最引以为傲的智慧被自己的造物全面超越,全人类恐怕都要经历漫长的心理阵痛才能接受这个事实。

    到那时,作为智能层面上‘低一等’的物种,人类自身的生存与安全,恐怕就真的只能寄托于未知的运气了。
  • BornThisWay 09-14 09:39
    87
    觉得 AI 发明不了数学工具 人类还是转向理解 AI 并且说不定就发明新的了呢
    而且路径更明确 AI 还给你 lean 证明了 凑答案可比想答案简单多了
    和围棋不是一样的吗 后 alphago 时代棋手棋力可是比之前强了
    说到底只是光环不在了 只能说数学家也是人也有人的局限性
    说那么多伟光正 那至今工程还有很多经验公式不也在用?
    真厉害不能创造工具解释 AI ?和之前方向不同而已
  • neptuno 09-14 09:40
    88
    人类不懂的解决过程,不代表是错的,ai 其实发展到一定程度,不必要向人类证明什么了
  • Amox 09-14 09:47
    89
    在这次 ai 带来的第 n 次工业革命里,每个系统的 ai 的边界是需要人为去规范的(就比如 v 站不允许 ai 生成的内容),对这种规范的探索没必要冷嘲热讽。
  • QingXuJiaZhi 楼主 09-14 09:51
    90
    @neptuno 这次事件里,人类能看懂解决过程。这次讨论的是另一个问题,不是人类能否看懂的问题。
  • nenseso 09-14 09:53
    91
    有啥用?挡也挡不住啊,你不用,别人偷偷用 AI 得到了成果,你咋办
  • tim9527 09-14 09:56
    92
    基础数学是应用的基础,还是要重视的。
    数学大佬的影响力是真的强,发声明公司还是重视的
  • QingXuJiaZhi 楼主 09-14 09:58
    93
    @BornThisWay 围棋是竞技和表演,因此 AI 不会摧毁围棋。

    数学研究太困难了,一个难题,全人类最顶尖的数学家去研究几百年都研究不出来,如果希望数学有更好的发展,自然应该反对 AI 打击数学家的积极性。

    数学家是人,也有人性弱点,打击他们的积极性,他们也是会灰心丧气的。
  • shm7 09-14 10:04
    94
    有点太标题党了。
    陶从 gpt4 时代就是积极使用 llm 辅助证明、数学求解工作的数学家。
    一个世界数学难题有人给出了他的答案,是需要另一个最顶尖的数学家工作 1~2 年才可能拆解/验证完前者的答案是否正确。不是你那 1+1=2 一眼就能看明白的。这才是他反对商业公司鼓吹答案证明的原因。
    就像你可以天天预测未来,但是要验证你的预测,可能要几年。你一天甚至可以预测 N 次,数学家资源就是你的草纸答案验证器嘛。

    好好读读原文,不要总是只看二手材料。
  • QingXuJiaZhi 楼主 09-14 10:08
    95
    @shm7 我也发现标题写错了,可惜 V 站不能修改。我在自己的博客里已把反对 AI 修改为“警惕 AI”。
  • BornThisWay 09-14 10:21
    96
    @QingXuJiaZhi #93 很多难题就是因为不知道路到底通不通
    如果只有结论没有证明过程也就算了
    AI 是可以给出过程的 哪怕从实用角度
    凑答案的过程中也不是说不能启发创造什么工具

    人类还是太自傲了 任何创造都是前人基础上不断堆砌的
    很多创造力也不过是固有知识联想的排列组合
    说白了还是不相信 AI 的智力
    碳基智力真的是独特的吗?是否有些人类中心思想呢
    而且被打击的行业多了 就你数学家打击不得?
    AI 的车轮面前碳基都是减速带罢了
  • QingXuJiaZhi 楼主 09-14 10:30
    97
    @BornThisWay

    我在正文最后一段附上了陶哲轩的比喻。他的意思是,AI 是给出了过程,但它给的是一条直路。如果由人类自己探索,人类在走弯路的过程中可以收获更多,得到更完整的地图,甚至可能发现新大陆。AI 给出直线道路的坏处在于打击人类的探索积极性。
  • BornThisWay 09-14 10:33
    98
    @QingXuJiaZhi #95 别被他绕进去了
    现在有 lean 证明数学家只需要验证 lean 中形式化的对象是否是原问题是否等价就行了
    并不是之前那种要读上百页的天书

    在陶本身就用 ai 辅助证明很久的基础上 这种警惕更像个笑话了
    意思就是要 ai 在数学家的指导下工作
    要进化的刚刚好 现在有点太聪明了
  • BornThisWay 09-14 10:36
    99
    @QingXuJiaZhi #97 没有人是先知
    谁能预知 AI 给出的答案又不能启发新的思路呢?
    说得难听点 AI 给出了室温超导和可控核聚变的设计
    就算和经验公式一样 难道弊大于利?
    警惕 AI 不过是一句正确的废话罢了..
  • QingXuJiaZhi 楼主 09-14 10:37
    100
    @BornThisWay

    A.只得到证明
    B.最终也得到了证明,而过车站可以得到新方法新工具、得到更多新问题、活跃了数学社区

    B 不是可以得到更多吗?
* 帖子来源V2EX
返回