QingXuJiaZhi
3.16D
V2EX  ›  随想

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

  •  
  •   QingXuJiaZhi · 2 days ago · 8865 views
    [反 AI 声明] 本文 AI 含量为零,未使用 AI 辅助创作,也未使用 AI 润色


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

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

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

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

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

    陶哲轩说,传统研究像徒步去寻找一处瀑布,人会走错路、认识地形、发现岔路,甚至在途中看到另一处值得探索的景观; AI 则更像一架直升机,可以直接把研究者送到瀑布前。虽然过程效率提高了,但沿途形成的那张“地图”不会因此自动出现。
    171 replies    2026-09-15 16:19:43 +08:00
    1  2  
    QingXuJiaZhi
        101
    QingXuJiaZhi  
    OP
       1 day ago
    @BornThisWay

    没有人阻止 AI 启发新思路。

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

    现在只是提议选择道路 B ,不会妨碍 AI 的发展。
    BornThisWay
        102
    BornThisWay  
       1 day ago
    @QingXuJiaZhi #100 你这是陷入循环论证了
    你既然既定了 AI 不能自己创造新工具,也既定了看 AI 的证明不能启发新方法的前提下
    那当然反对 AI 是合理的
    但是问题就是没有人可以预测 AI 的发展和带来的后果
    你能保证 AI 给出的答案又不能启发新的思路吗?
    你能保证 AI 给出的经验公式不能创造前所未有的价值吗?
    akorn
        103
    akorn  
       1 day ago
    现在越来越不理解“AI”这个词是什么意思了。如果是大家说 codex 或者 Claude 。我感觉大家说的和我用的是两个东西。当然,用它们帮我编辑东西、写代码,的确很好,完成度很高。但是真用来分析问题的时候,特别是讨论哲学问题,我感觉它们就是智障,它们只是在套用我的逻辑公式做改写,我完全看不出来它有在推理。

    我很疑惑它们到底能不搞研究,或者说它们搞的研究是不是在揭某些人的遮羞布。数学我不懂。就知道 ai 在分子科学领域发展之前,某些顶尖科学家用精密仪器测试高分子材料。仪器很稀缺,所以他们年年能发顶会。见过最过分,用高倍显微镜做果皮成像,给蓝莓果皮做个扫描,发论文了。后来 ai 能做模拟了。
    BornThisWay
        104
    BornThisWay  
       1 day ago   ❤️ 1
    @QingXuJiaZhi
    我说的再难听点
    陶自己前几年用的挺开心的啊..
    他要是一开始就反对那也就算了
    咋突破千禧年大奖问题就集体破防了呢?
    还是碳基智慧的人类中心思想
    不要神化任何人..
    QingXuJiaZhi
        105
    QingXuJiaZhi  
    OP
       1 day ago
    @BornThisWay

    事实:AI 目前解决数学题没有创造新工具
    猜想:AI 未来可能可以创造新的数学工具(猜想不一定能兑现)

    AI 并不保证今后一定能创造新工具,而打击数学研究的积极性却正在发生。也就是说幻想中的好处不一定兑现,而坏处你先吃着,这不对劲儿啊。
    BornThisWay
        106
    BornThisWay  
       1 day ago
    @akorn 数学和物理化学不一样 逻辑自洽就可以
    反而 AI 是特别适合数学的
    AI 能起 1w 给 agent 做数学但是做不了 1w 个实验
    除非 AI 能模拟宇宙了不然就算给出室温超导材料你也得做出来验证
    quantumX99
        107
    quantumX99  
       1 day ago
    很多人以为 AI 搞出来的东西,他能看懂就代表他也能做出来,甚至以为这也是他的能力。
    BornThisWay
        108
    BornThisWay  
       1 day ago
    @QingXuJiaZhi #105 襁褓中的婴儿也没用呢
    AI 刚突破千禧年问题才多久就开始了呢?
    去年你能预测到 AI 能解决这种问题吗?
    什么时候对 AI 这么传统保守了?
    任何事情都可以两面说 套高帽子就更简单了没必要哈
    AI 正在车轮滚滚前进 而他们在打击 AI 的发展 是典型的守旧学阀
    QingXuJiaZhi
        109
    QingXuJiaZhi  
    OP
       1 day ago
    @BornThisWay 明明可以二者兼得、两全其美,为什么你非要搞成二选一呢?
    FarAhead
        110
    FarAhead  
       1 day ago
    我敢打赌这些人的工作已经无法离开 AI 了
    BornThisWay
        111
    BornThisWay  
       1 day ago
    @QingXuJiaZhi #109
    OA 也不可能因为他们破防(高情商:警惕)就不进行研究了
    现在的 AI 还没到那个突破节点
    数学家也不可能就没事干了
    有能力的自然能创造新工具新理论
    正所谓二者兼得、两全其美
    QingXuJiaZhi
        112
    QingXuJiaZhi  
    OP
       1 day ago
    @FarAhead 有人说如果父母对孩子有太强的控制欲,像扯线木偶一样控制孩子,不利于孩子的成长。你说:我打赌孩子离不开父母。
    QingXuJiaZhi
        113
    QingXuJiaZhi  
    OP
       1 day ago
    @BornThisWay

    人类不是一个完美的物种,并不存在“超绝的意志力”,聪明的做法是明知一件事会打击积极性,那就尽量避免。孟母三迁,创造或寻找个好环境很重要。
    BornThisWay
        114
    BornThisWay  
       1 day ago
    @miniliuke #82 上阶段是画画/视频-审美
    现阶段是代码/数学-智慧
    不知道下一阶段 AI 真的拥有了感情/灵魂会发生什么
    BornThisWay
        115
    BornThisWay  
       1 day ago
    @QingXuJiaZhi #113 我真的很想拿你的签名回复你..
    我不看重情绪价值,并且认为看重情绪价值是有害的
    AI 的发展是一个客观的事实
    数学家前脚用的开心后脚千禧突破之后破防真的是斯文扫地很难看
    反正我的中心思想是人类中心主义是有害的
    作为程序员我觉得大家应该已经都有深刻的体会了
    sockpuppet9527
        116
    sockpuppet9527  
       1 day ago
    https://terrytao.wordpress.com/2026/09/11/a-severe-misalignment-of-ai-in-mathematics/

    贴下原文。LZ 可能过于解读了。"AI 攻破数学难题可能有害" 的说法过激了把。

    个人理解是,人只是想论述 AI 攻克数学难题,不应该只留下结论,而是应该把"过程"也留下来。
    fingerxie
        117
    fingerxie  
       1 day ago
    你的话我懂了,但是里面的观点我没有明白。

    如果 AI 能够解决这些问题,那不是正好说明 AI 就是解决这些数学问题的新的“数学工具”了吗?
    archxm
        118
    archxm  
       1 day ago
    @akira #22 人也是有逆向思维的,遇到 ai 搞定了某个问题,也会有去逆向一下的欲望。
    AmiKara
        119
    AmiKara  
       1 day ago   ❤️ 1
    在 AGI 的路上,AI 会平等的碾压每一个职业
    archxm
        120
    archxm  
       1 day ago
    @unused #37 如果 ai 生成的代码,可读性差,最后越堆越多,导致最终功能不可用。
    那你就推倒了重来啊。
    重来时,让 ai 生成简单代码,或者每次生成之后,你都亲自干预,修改和赛选。
    QingXuJiaZhi
        121
    QingXuJiaZhi  
    OP
       1 day ago
    @BornThisWay 数学家们可以发言反对,结果如何还要看双方博弈以及社会各界的反响,人类社会的规则都是这样定下来的,有时反对无效,有时反对有效。

    你可以说数学家姿态难看,但同时无法否认也有很多人认为数学家这样做很合理。

    ---------
    另外,我说看重情绪价值有害,是警醒自己;而对待别人,我则是提醒自己要关心别人的情绪。要求自己和要求别人是两回事。
    BornThisWay
        122
    BornThisWay  
       1 day ago
    @QingXuJiaZhi #121 从情绪角度出发
    那我觉得本论坛更有理由反对数学家发言
    没理由说 AI 刚刚好进步到越过小画家和程序员停到数学家这吧
    数学家是光环维持太久了
    支持 AI 拷打碳基生物
    xujinkai
        123
    xujinkai  
       1 day ago via Android   ❤️ 1
    没关系的,都一样。

    编程工具也是像数学工具一样的境遇,比如新的软件工程思想,范式,新的语言,这些现在都不重要了因为 AI 力大砖飞。

    过去几十年为了解决各种编程问题发明了很多工具,现在都是 AI 搞,还会有人发明新的东西吗?

    AI 会平等地碾碎每一个行业,反对也没用,你不用别人也会用。
    SiLenceControL
        124
    SiLenceControL  
       1 day ago
    @QingXuJiaZhi #52 对阿,我自己就是被鼓舞的人之一,我就是天天用 NS 方程科研的人
    QingXuJiaZhi
        125
    QingXuJiaZhi  
    OP
       1 day ago
    @fingerxie 这个问题很好,我想这可能也是很多人的疑问。

    数学规则是人类“随意”定义出来的。举个例子,以前人们没有虚数的概念,无法处理“根号负一”,当时数学规则里根本没有这个东西,这种情况下,就算有 AI ,AI 也不可能说 “愚蠢的人类,现在我规定根号负一等于 i”,是人类在走到无路可走的时候硬生生搞出来新的规定。

    后来到了量子力学的计算,发现虚数很好用。那么,如果没有发明虚数,能不能进行量子力学的计算呢,姑且假设可以做到,但一定会复杂几百倍,可能用 AI 可以暴力计算,但与有虚数相比,还是有虚数更方便理解。

    类似的还有对“无穷”的规定,如何处理无穷大和无穷小,这是人为的规定,AI 只能根据既定规则来计算。而人类则可以从虚无的数学世界里从无到有创造新的规则,通常这些规则都是走投无路被逼出来的,同时通常这些新规则出来之后都有非常大的用处。

    如果自古就有一个神帮助人类瞬间移动,那么人类就不可能投入巨大的成本,甚至付出生命的代价去发明汽车、飞机、火箭。而这个“神”并不承诺永远帮助人类,它有可能随时罢工,我们可以享受神的帮助,但不可彻底依赖它,彻底放弃自己的成长。
    QingXuJiaZhi
        126
    QingXuJiaZhi  
    OP
       1 day ago
    @BornThisWay

    > 没理由说 AI 刚刚好进步到越过小画家和程序员停到数学家这吧

    没有人要求 AI 停止在数学方面的发展,现在只是在找一条既不打击数学家,又不妨碍 AI 研究数学的道路。
    BornThisWay
        127
    BornThisWay  
       1 day ago
    @QingXuJiaZhi #126 万物自有他的发展规律 这只不过是正确的废话
    如果 AI 真的足以替代一部分数学家的核心工作
    不要打击数学家本身就意味着要限制 AI 的实际能力
    ----
    AI 代码图片版权整明白了吗?
    数学没什么特殊的 版权利益之争而已没什么新鲜的
    我的核心思想一直是反对人类中心主义
    既然没找到一条既不打击码农和小画家,又不妨碍 AI 研究代码和画画的道路
    那数学凭什么独善其身呢 都别想好过才是正常的
    fortytwo
        128
    fortytwo  
       1 day ago
    AI 就是一个可进化的数学工具。

    发明工具是为了未来以后使用这些数学工具做更多的事情
    但是这些更多事情本身就包含了 AI 可以做的。
    Nasdaq
        129
    Nasdaq  
       1 day ago
    解释权是「宗教」争夺的焦点
    QingXuJiaZhi
        130
    QingXuJiaZhi  
    OP
       1 day ago
    @BornThisWay

    > 如果 AI 真的足以替代一部分数学家的核心工作,不要打击数学家本身就意味着要限制 AI 的实际能力

    数学家们并没有反对使用 AI 研究数学,他们是在探讨具体如何使用 AI ,能实现两全其美的效果。你认为不可能,也许你是对的,答案要等到未来才揭晓。现在处于你可能对、可能错,我可能对、可能错的叠加态。
    QingXuJiaZhi
        131
    QingXuJiaZhi  
    OP
       1 day ago
    @Nasdaq 宗教才不和你争夺解释权,宗教是直接垄断解释权,凡是不服都是异教徒。

    科学和数学不一样,不管你怎么解释,我拿来就用,只要我有自信不会出错,敢用就行,谁管解释权啊。
    Nasdaq
        132
    Nasdaq  
       1 day ago
    @QingXuJiaZhi #131 以下内容来自 ChatGPT 整理

    垄断时期: 中世纪的罗马天主教会垄断了对《圣经》的解释权,当时《圣经》只有拉丁文版本,普通信徒无法阅读,教会神职人员充当神与人之间的唯一媒介。

    挑战与决裂:1517 年,马丁·路德发表《九十五条论纲》,发起宗教改革。新教提出“唯独圣经”( Sola scriptura )和“信徒皆祭司”的口号,主张将《圣经》翻译成各国母语,让每个信徒都有权直接阅读和解释神的话语,从而打破了罗马教廷的解释权垄断。
    BornThisWay
        133
    BornThisWay  
       1 day ago
    @QingXuJiaZhi #130 我们当然不可能讨论出对错
    没人能预测未来 数学家也不能
    但是我觉得完全否定 AI 不能创建新工具是没道理的
    虽然现在 AI 搞得这些数学大新闻确实都是在依赖全面的知识组合暴力摘取低垂(?)的果实
    但是数学只要逻辑自洽就可以成立
    AI 可以无限尝试这天然就是非常适合 AI 来搞的
    现在的 AI 可能还做不到不代表未来做不到
    创造力不是人类独有的东西 动物都能创新用工具呢
    --
    也许悲观点来看
    AI 即使创造的有价值的工具方法可能都是上百万行的天书
    人类已经没法理解只能直接用
    但至少比没有强
    人类有台神谕机 这简直是神话里的故事
    QingXuJiaZhi
        134
    QingXuJiaZhi  
    OP
       1 day ago
    @Nasdaq 没错,都是直接垄断的。后续改革,其实和太平天国之类的差不多,名义上大家平等,拿平等来做篡位的借口,篡位后就翻脸了,你可以阅读,但最终解释权始终在教皇之类的宗教首领那里。
    QingXuJiaZhi
        135
    QingXuJiaZhi  
    OP
       1 day ago
    @BornThisWay

    > 完全否定 AI 不能创建新工具是没道理的

    当然没道理,也没有人否认这个。AI 目前的能力无法提出新的数学工具,这是事实。同时,数学家也同意 AI 继续研究数学,甚至他们自己也在使用 AI 辅助数学研究,并未反对使用 AI 。
    BornThisWay
        136
    BornThisWay  
       1 day ago
    @QingXuJiaZhi #135
    反正在我看来 从小到大看过的很多科幻小说和电影 都是反神谕机模式的
    基本都是害怕理解不了神谕甚至技术断代
    但在我看来这本身就很荒谬 神谕本身就可以拆解 神谕机也可以帮助你理解
    数学家即使只参与解读神谕依然是一项很艰巨有挑战的任务
    最差的情况下被打击的也只是创造者的那部分动力
    但是真的是对数学发展不好吗?
    说到底都是利益 光环不在罢了
    QingXuJiaZhi
        137
    QingXuJiaZhi  
    OP
       1 day ago
    @BornThisWay 要考虑到人类本身不完美,有人性弱点。为什么要有诺贝尔奖、菲尔兹奖等各行各业的奖励?如果人类不需要鼓励、不怕打击,那目前人类社会的很多制度设计都成了笑话。
    QingXuJiaZhi
        138
    QingXuJiaZhi  
    OP
       1 day ago
    @BornThisWay

    这样说吧,如果我对数学家们说:取消一切数学奖项,破解千古难题也不发新闻表扬,你破解了就自己躲在家里自己乐去吧,你应该自我驱动。

    你觉得合理吗?如果不合理,那么 AI 攻破难题,谁得到表扬,谁领奖呢?这就等于让数学家自娱自乐,不再鼓励人类研究数学了。
    malusama
        139
    malusama  
       1 day ago
    话说人类现在估计也不理解 AI 出现后为啥要那么下。。。但是很明显的是和 AI 对练的棋手明显 elo 分数更高了。。
    BornThisWay
        140
    BornThisWay  
       1 day ago
    @QingXuJiaZhi #137 有最佳扫地奖吗
    好吧说不定也许有 但那光环能和菲尔兹奖比吗
    还是智慧光环加持吧 因为别人上真不行
    但如果这对 AI 来说不值一提呢?

    再退一步说 人类围棋国际象棋各种比赛也没取消啊
    还不是该干嘛干嘛。。
    数学就算变成解读 AI 帮助创新方法新工具也不会怎么样
    这种工作依然不是谁上都行的 依然可以颁奖
    除了光环暗淡了一丢丢
    就像围棋选手头顶有个狗一样
    QingXuJiaZhi
        141
    QingXuJiaZhi  
    OP
       1 day ago
    @malusama 围棋是竞技和表演,其中又有非常明确的规则,不涉及创造规则。

    但数学不一样,数学里的规则全是人类凭空捏造的,目前 AI 只能使用既定的规则,而人类希望继续发明新的规则,如同过去发明虚数和无穷的概念一样。
    BornThisWay
        142
    BornThisWay  
       1 day ago
    @QingXuJiaZhi #138 滑坡太严重了
    有了 AI 我也没法和编程大神比
    我只能虐没有 AI 的我
    即使 AI 更厉害 光是解读 AI 也是对人类有意义的
    数学依然可以颁奖啊 怎么就突然滑坡到取消奖项了呢
    只不过可能就没有那种人类最高智慧的光环了吧
    就那么难以接受吗?
    再次佩雷尔曼不就是拒绝领奖并且基本不就是自驱动的吗
    QingXuJiaZhi
        143
    QingXuJiaZhi  
    OP
       1 day ago
    @BornThisWay 现在世界上还是多数人认为数学特别重要,数学家的光环是人类的意见总和决定的。至于未来如何改变,那只能拭目以待了。
    QingXuJiaZhi
        144
    QingXuJiaZhi  
    OP
       1 day ago
    @BornThisWay

    1.如果 AI 攻破难题,哪个数学家上台领奖?
    2.极个别人可以自我驱动,不等于普遍现象。

    3.如果以后攻破难题用的全是旧范式,没有产生新概念、新规则,那攻破难题本身就没有意义了。

    现在数学家们希望避免第 3 种情况。
    QingXuJiaZhi
        145
    QingXuJiaZhi  
    OP
       1 day ago
    @BornThisWay

    > 只不过可能就没有那种人类最高智慧的光环了吧

    这个影响很大的。

    因:人类意见总和认为,数学家值得这个光环
    果 1:所以才会有奖励和新闻赞美
    果 2:所以才希望避免打击数学家的积极性

    现在你说打击积极性无所谓、没有光环也无所谓,那是因为你的想法与人类意见总和不一致。
    BornThisWay
        146
    BornThisWay  
       1 day ago
    @QingXuJiaZhi #144
    1 是利益问题 一切都是最好的安排 谁能抢到谁去呗 历史上抢奖的多了..
    3 没人可以预测
    联合警告无非就是前段时间 oa 和数学家利益纷争的后续罢了
    本身是正确的废话没什么好讨论的
    但是在这里我更多的把他们看做利益相关方而不是科学家
    BornThisWay
        147
    BornThisWay  
       1 day ago
    @QingXuJiaZhi #145
    我没有反对数学家值得这个光环
    我的观点是 AI 超越数学家之后 光环必然下降
    不要偷换概念..
    反正 oa 也没暂停研究哈
    QingXuJiaZhi
        148
    QingXuJiaZhi  
    OP
       1 day ago
    @BornThisWay 现在讨论的是 AI 超越数学家之前。没有发生的事情不能拿来当论据。
    yonlin
        149
    yonlin  
       1 day ago via Android
    @june4 有没有仔细看报道,费马大定理已经证明了,此次 AI 的工作本质是把人类的证明“翻译”成电脑完全能读懂的严格逻辑代码,AI 并没有创造新东西
    BornThisWay
        150
    BornThisWay  
       1 day ago
    @QingXuJiaZhi #148 这只是讨论本来就不是严肃的论据
    没人可以预测未来
    你只是觉得数学家有光环不应该打击他们
    我觉得并没有
    核心观点仅此而已
    --
    其次某种意义上 AI 已经超越数学家了哈
    只是还没有进化到下一阶段
    不然他们就不是有危机感了而是就直接躺平了
    ldy619354397
        151
    ldy619354397  
       1 day ago
    AI 推理过程不也是产生新工具吗?
    min
        152
    min  
       1 day ago
    人家围棋手和 ai 对练不亦乐乎,数学家也可以啊
    ovovovovo
        153
    ovovovovo  
       1 day ago
    我也赞同不应该由 AI 解难题的这个路径,我是数院毕业的,单说算出从 A 到 B 的结果,很多情况都是有手就行。但是做到优雅证明,LLM 想象力是有限的。
    user1284
        154
    user1284  
       1 day ago
    第一段话我就没绷住,不是 ai 也是营销号模板生成器写的
    Hconk
        155
    Hconk  
       1 day ago
    虽然 AI 直接暴力给出答案并且 [暂时] 还没有创造出来新的工具和方法论,让很多数学家或者相关专业的人很焦虑,但是按现在的发展速度,AI 输出的理论和证明方法很快就不需要人类认同理解了,新工具和方法论的出现只是时间问题罢了,最后只能通过形式化证明或者一套人更难理解更抽象的证明方式来检验结果,历史的洪流不以个人意志为转移,现在可以说历史的洪流也不会以人类意志为转移了。
    robinchina
        156
    robinchina  
       1 day ago
    感觉他们把解决数学问题当成一种游戏,现在来挂逼了···只要不是穷举的,我觉得 AI 给的证明过程都是可以被接受了
    levelworm
        157
    levelworm  
       19h 41m ago via iPhone
    @SiLenceControL
    大过滤器就要来了,v2ex 众人纷纷欣喜自己可能以后不用干活了,可以躺赢了。

    不过也对,真发展起来也没活干了。
    levelworm
        158
    levelworm  
       19h 39m ago via iPhone
    @nightlight9 #84
    高一百倍对谁有好处?是对你吗。。。
    nightlight9
        159
    nightlight9  
       9h 53m ago via Android   ❤️ 1
    @levelworm
    对个人不一定有好处
    但不用一定有害处
    因为不用的人会被淘汰
    levelworm
        160
    levelworm  
       9h 24m ago via iPhone
    @nightlight9 159
    的确如此。
    marsmay
        161
    marsmay  
       8h 26m ago   ❤️ 1
    我理解他是在担忧 AI 影响数学的未来。
    1. 很多给本科生、硕士生研究和发论文的初级问题,现在 AI 很容易解决,变得没有意义了,新手期变得比以前更难了,但是没有新手哪来的老手,缺乏从初级问题开始的渐进训练,数学家诞生会变得更难;其实和程序员面临的问题差不多,现在 AI 正在挤压初级开发岗位,但是没有初级程序员哪来的高级程序员;
    2. 千玺难题这种级别的问题,是下金蛋的母鸡。人类在证明过程中诞生了相当多的有用的数学工具,例如在证明黎曼猜想过程中,诞生了黎曼显式公式、塞尔伯格筛法等。推动的是整个数学的发展,而不是只推动了问题本身的进程。但是 AI 目的性很强,目标相当直接,就是要把鸡杀掉。世纪难题是稀缺的,所以克雷所选出的千玺难题也只有七个。有时候我们的目标其实并不是把问题解决掉。
    3. AI 这种简单直接快速的解题,会让人类数学家的研究束手束脚。现在 AI 花一天半就可以将黎曼猜想的非平凡零点推进十几个百分点,人类用了几十年才推进了百分之一。你要是做的这方面的研究,现在选择放弃还是继续。估计现在很多课题的科研狗们,都是战战兢兢的。
    所以我理解,数学家们的担忧不是 AI 抢了风头,而是担心它毁了人类独立思维和研究的未来。就像现在 Vibe Coding 的热潮一样,好像做了很多项目很酷,但是一个项目也看不懂,而且大多没有创造性。
    iOCZS
        162
    iOCZS  
       7h 40m ago
    ai 强大的地方在搜索空间足够大,但是 AI 没有开创性,它只是把现成的东西串联起来,当然这一能力也表明 AI 具有一定创造性,但是它仍然不能无中生有。
    SWALLOWW
        163
    SWALLOWW  
       7h 38m ago
    人类用 ai ,跟人类坐车有什么区别吗?

    人类有物理极限,借助工具拓宽极限,

    当前看是感觉限制了发展,不跟当时跑马车一样吗?

    只要人类有研究的动力,会再次站在 ai 的肩膀上前行的。
    QingXuJiaZhi
        164
    QingXuJiaZhi  
    OP
       7h 28m ago
    @SWALLOWW 刚好上面有人说了一个很好的比喻 “数学难题是会下金蛋的母鸡”,人类在迷雾中摸索答案的过程,可以产出很多“金蛋”,而如果 AI 一上来就给出答案,不用摸索了,相当于直接杀了母鸡。

    现在数学家们提议,反正杀了母鸡,对于 AI 的发展也没啥帮助,但是对数学有害,那么,就别杀这只母鸡,AI 还是可以继续发展,数学家也可以继续用 AI 辅助数学研究,大家都好。为什么一定呀杀鸡取卵呢。
    SWALLOWW
        165
    SWALLOWW  
       7h 14m ago
    @QingXuJiaZhi 为什么数学难题就是金蛋母鸡呢,人类有了汽车之后就不会研究自行车了吗?人类有了汽车后就停止研究火车了吗?我的意思是本质是探索过程,但是探索过程的方向不是由数学家定义的,需求是第一生产力,如果现在迫切的需求是人类要弄懂这个数学的解法,你看数学问题会不会突飞猛进,他们要停止 ai 解决数学问题,好比停止你去造汽车,那么没有汽车可能就没有火车,你会同意没有火车吗?

    什么杀鸡取卵,只要有需求,鸡一直存在。
    QingXuJiaZhi
        166
    QingXuJiaZhi  
    OP
       6h 51m ago
    @SWALLOWW 可以两全其美、二者兼得,没必要二选一,全都要不好吗?
    SWALLOWW
        167
    SWALLOWW  
       6h 45m ago
    @QingXuJiaZhi 是你要限制别人,什么二选一,你自己研究为什么就好了,妨碍你去探索过程吗?别人可以用这个结果做更多事情,你说你有这个结果我就没法研究了,动力不足,还扯人类,人类有多少人研究这个。
    QingXuJiaZhi
        168
    QingXuJiaZhi  
    OP
       6h 34m ago
    @SWALLOWW 关键是,AI 破解数学难题,结果并不能做什么,没有好处啊,对 AI 本身的发展也没什么明显作用。

    A.AI 发展到了这个程度,可以顺便解个题
    B.为了解题,专门优化 AI ,解题本身对 AI 有明显促进作用

    现在的情况是 A ,不是 B 。如果是 B 就没有争议了。
    SWALLOWW
        169
    SWALLOWW  
       3h 39m ago
    感觉你来骗金币的,是你来定义有没有用啊,还是数学家来定义有没有用,水蒸汽被定义出来的时候能想到有蒸汽机嘛。

    况且,谜底就在谜面上,这是你的原文:最想得到的从来不是一道难题的答案,而是在解决难题的过程中发展出来的全新数学工具。

    得到答案了就不想去怎么解决的嘛?妨碍全新的人好理解的数学工具了吗?你让 ai 写完代码后会禁止你再去理解他写的代码吗?
    QingXuJiaZhi
        170
    QingXuJiaZhi  
    OP
       1h 39m ago via Android
    @SWALLOWW 我不可能骗金币,因为我从注册第一天到现在,从未领过每日奖励,一次都没领过。
    QingXuJiaZhi
        171
    QingXuJiaZhi  
    OP
       1h 37m ago via Android
    @SWALLOWW 我们可以有不同意见,各自表达出来就行,互相不同意很正常,不需要统一意见。讨论问题不要扣帽子,太败坏讨论兴致了。
    1  2  
    About   ·   Help   ·   Advertise   ·   Blog   ·   API   ·   FAQ   ·   Privacy   ·   Solana   ·   4709 Online   Highest 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 92ms · UTC 09:56 · PVG 17:56 · LAX 02:56 · JFK 05:56
    ♥ Do have faith in what you're doing.