omnitoken 发表于 2026-9-12 11:23

S1抽风这几天, 数学界真的核爆地震了

围绕几个千禧年问题O➗和A➗, 数学家们的撕逼


还有25位菲尔兹奖得主联合发表了一封名为《人工智能在数学领域的严重错位》的公开信。

simonroam 发表于 2026-9-12 11:29


尼玛这些个词都要被玩坏了,哪天真核爆地震了要怎么说,AGI了吗

Chia 发表于 2026-9-12 12:01

要习惯,瘫坐眩晕就完事了


理性挽尊
近几十年成果普遍难验证,难整合。
目前不排除“超级书记员”角色。

等到出现工具性创新,大部分数学系要当场关门

仟音一心 发表于 2026-9-12 12:06

Chia 发表于 2026-9-12 12:01
要习惯,瘫坐眩晕就完事了



热知识,数学系最后去搞纯粹数学学术研究的,即使在顶尖院校都是极少数。基本上都是去做算法数据,少部分则是教职公职。

nice女武神 发表于 2026-9-12 12:06

simonroam 发表于 2026-9-12 11:29
尼玛这些个词都要被玩坏了,哪天真核爆地震了要怎么说,AGI了吗

菲奖得主也这么说所以我们不能引用吗

培根芝士蛋堡XD 发表于 2026-9-12 12:12

这才哪到哪,数学只是刚开始,能接入真实实验器材之后才是真的爆炸了,物理学/化学/生物医学都会有革命性进步

mindclicer 发表于 2026-9-12 12:22

从目前公布出来的信息来看,A社和openAI解决的问题都是沿着早已存在的解决思路用算力搞力大砖飞完成破解。实质上千禧年难题的存在本身就是一种明确的方向了,而那些投资人已经被A社和openAI绑上贼船了,为了维持股价干点抄捷径的路很正常。
外行人不懂数学与现实世界的关系也就算了,A社和openAI的成果就是美国AI界只会堆算力企图用虚无缥缈的念经成果来宣示压倒中国AI的一个具体缩影。
我不是说解决数学难题没有用,而是短期内根本影响不了生产率,欧美最喜欢讲的“伟大不能被计划”,黎曼几何在半个世纪后成为广义相对论的数学工具这一历史佳话在目前的AI破解下是不可能复现了,就算你把千禧年难题都解决又怎么样,美国AI有本事用AI解决一下物理问题,经济问题看看?

mitzvah 发表于 2026-9-12 12:27

国模就是吃亏在数学家用的人少,没有a/,o/白嫖数学家构思的机会


数学家也是傻真正独创性的工作竟然敢输入在线闭源服务,不自觉部署个开源模型

难说 发表于 2026-9-12 12:29

nice女武神 发表于 2026-9-12 12:06
菲奖得主也这么说所以我们不能引用吗

照你这么说,他骂的是菲奖得主,你应激什么?

mitzvah 发表于 2026-9-12 12:30

培根芝士蛋堡XD 发表于 2026-9-12 12:12
这才哪到哪,数学只是刚开始,能接入真实实验器材之后才是真的爆炸了,物理学/化学/生物医学都会有革命性进 ...

这次这个就是数学家傻把自己的思路还没写paper就输进闭源模型后被a/,o/发现找来一群人配合模型给白嫖

结论就是开源才是未来

novem 发表于 2026-9-12 12:34

mindclicer 发表于 2026-9-12 12:22
从目前公布出来的信息来看,A社和openAI解决的问题都是沿着早已存在的解决思路用算力搞力大砖飞完成破解。 ...

最近复读AGI已经到来的人越来越多了
为什么觉得LLM更擅长数学就认为LLM超越了人类呢

玉树临疯啊 发表于 2026-9-12 12:37


我和他在同一部作品里面嗑的cp不一致,这是我和顶尖数学家之间的学术分歧。

simonroam 发表于 2026-9-12 12:41

novem 发表于 2026-9-12 12:34
最近复读AGI已经到来的人越来越多了
为什么觉得LLM更擅长数学就认为LLM超越了人类呢 ...


超越人类也没啥吧,冰箱能制冷人也不会啊,人造出来的机器比人弱的话更没有意义

长日留痕 发表于 2026-9-12 13:14

AI是广岛吗,天天核爆

星花 发表于 2026-9-12 13:19

白嫖数学家,恶心死了。

はちたや 发表于 2026-9-12 13:20

mindclicer 发表于 2026-9-12 12:22
从目前公布出来的信息来看,A社和openAI解决的问题都是沿着早已存在的解决思路用算力搞力大砖飞完成破解。 ...

用ai能解决数学问题,为什么就不能解决物理问题?

星花 发表于 2026-9-12 13:29

本帖最后由 星花 于 2026-9-12 13:43 编辑

也不是不可能。主要是人类无法掌握所有3次元信息。
生物学,材料学很多年前就吹大模型了预测了,只是现在没声音了。
只能说 帝国真理真的只是迷信。

oyss 发表于 2026-9-12 13:32

什么时候发展成像围棋那样,人已会频繁的看不懂AI思路,要跟着AI学下棋才能赢. 那这个领域就是AI核爆了.

等人类的各个研究领域都被爆一遍,

就是AI统治了. 人已经想不明白AI怎么解决问题的,只能向AI要结果.

子虚乌有 发表于 2026-9-12 13:37

这个肯定是 openai 拿数学家以前交互的语料拿来训练了

子虚乌有 发表于 2026-9-12 13:40

はちたや 发表于 2026-9-12 13:20
用ai能解决数学问题,为什么就不能解决物理问题?

现在没解决的物理问题要靠实验,高能粒子对撞机之类的。

星花 发表于 2026-9-12 13:46

说的底   拉普拉斯只是一只宝可梦   现实里并不存在。

wlhlz 发表于 2026-9-12 14:19

真像基地里那样高科技全是机器人发明的人类甚至看不懂那也挺有趣,然而现在还差了十万八千里,怎么看都只是米国资本搁那炒作而已

=w= 发表于 2026-9-12 14:20

提供下来源,不然都看不懂在讨论什么

https://terrytao.wordpress.com/2026/09/11/a-severe-misalignment-of-ai-in-mathematics/

https://mathandai.org/

https://www.essra.org.cn/?news/8716

Cres 发表于 2026-9-12 14:22

数学界本来岁月静好,虽然绝大部分人摘着低垂的果实,但多少都有一个造出生金蛋的鸡的梦想。结果AI公司一脚把门踹开,把那只想象中鸡真的拖出来宰了。功成名就的从业者们察觉,基于这套理念为人们构建的行业的存在价值被外人的蛮力动摇了,话语权可能要转移了。

----发送自 STAGE1 App for Android.

lowezack 发表于 2026-9-12 14:34

这些数学家就跟破坏机器的纺织工人一样,数学工业化是不可逆的趋势,谁也阻挡不了

鸳鸳相抱 发表于 2026-9-12 14:46

子虚乌有 发表于 2026-9-12 13:37
这个肯定是 openai 拿数学家以前交互的语料拿来训练了

那人是和A/合作的,交互也该是Claude交互啊,很可能还是用的内部模型,这一部分就不该被openai拿到

他自己说是整理资料用了codex,A/自己不给合作数学家风险提示就太滑稽了,A/能不知道codex的交互数据有可能被拿去训练?

lyz1196 发表于 2026-9-12 15:16

不需要解决物理问题,解决开车问题就能赚不知道多少个百万美元了,请加速

墨余生 发表于 2026-9-12 15:24

我以前就想过一个命题,人类最基础的知识到最前沿的知识,中间距离有多远,是有直达的捷径,还是要一路积累学习。如果要积累学习的话,以人类的寿命来说,那随着文明发展,可能一个学科从开始学习到走到这个学科的前沿,所需要的时间已经把一个人创造力、精力最好的时间用完了没有时间用来发明创新了怎么办?

airshit 发表于 2026-9-12 16:11

那数学家在论文里指责o/偷看他们对话记录的,换成国内公司不敢想会怎么样

—— 来自 HUAWEI HOP-AL10, Android 16, 鹅球 v4.0

Risa_g 发表于 2026-9-12 18:29

mitzvah 发表于 2026-9-12 12:30
这次这个就是数学家傻把自己的思路还没写paper就输进闭源模型后被a/,o/发现找来一群人配合模型给白嫖

...

什么啊,是a/的驻厂数学家“业余时间”与外部数学家联合用AI推题,被o/的驻厂数学家听到风声,直接用工作时间顶尖模型抢进度截和。顶多就是那个外部数学家有点冤,剩下的两边都是在为自己的厂打广告。

mitzvah 发表于 2026-9-12 18:33

Risa_g 发表于 2026-9-12 18:29
什么啊,是a/的驻厂数学家“业余时间”与外部数学家联合用AI推题,被o/的驻厂数学家听到风声,直接用工作 ...

这人也用了codex,结果就被o/定向蒸馏了


这些闭源在线大厂可以精确定位有价值用户的,你看a/前两天不就演示了一番不是吗

隔壁老黄 发表于 2026-9-12 18:36

咋滴,AI 能让文科失业,同样可以让理科失业,这不是公平公正,世界大同吗?值得庆祝啊咋就核弹呢

mitzvah 发表于 2026-9-12 18:40

所以说到底还是要开源本地模型,就算智力低点one shot不如闭源模型,但是好歹那东西的智力与产出都属于你,在线闭源服务就是有可能被他们蒸馏

Risa_g 发表于 2026-9-12 18:43

mitzvah 发表于 2026-9-12 18:40
所以说到底还是要开源本地模型,就算智力低点one shot不如闭源模型,但是好歹那东西的智力与产出都属于你, ...

这就是新时代的“ai科学家之间的合作”了。

bartholo4 发表于 2026-9-12 18:46

lyz1196 发表于 2026-9-12 15:16
不需要解决物理问题,解决开车问题就能赚不知道多少个百万美元了,请加速 ...

自动驾驶已经是一个被解决的工程问题了

mitzvah 发表于 2026-9-12 18:46

尤其是代理框架,那也不能用这些在线闭源的玩意codex,cc这种东西肯定偷偷上传用户信息的,pi多好又聪明又快


仔细想想这些闭源厂的one shot能力其实对数学家意义也不大,辅助思考开源模型其实也够了

321zmbhy 发表于 2026-9-12 19:00

我也来发挥劳保的本色唱衰一波,目前来看重大的ai数学成果都是拉马努金式的注意力嗯构造反例,只能当填坑人当不了挖坑人,碳基猴子还保有出题权,说下金蛋的鸡已经出现恐怕为时尚早。

泰坦失足 发表于 2026-9-12 19:10

不过是能人话的搜索引擎而已->比得过工业模型吗(指那种DNN/CNN/LSTM/和其他参数量不超过0.01B的玩意)->DS R1的出现说明以后未来是小模型和专精专用模型的天下, OpenAI的末日到了->能当许愿机用吗?->不过是找出数学公式几个反例而已[<<现在在这里]

ultraseven 发表于 2026-9-12 19:30

未来数学研究恐生科化,利好申请科研经费


不过我觉得数学研究者(尤其是受前沿AI公司推动的那部分)正在迅速变成生科,论证如下:
[*]研究课题投资动辄以百万美元计;
[*]由于投资高,阴性结果几乎不会被发表;
[*]别的研究组无法模仿是因为他们的实验设备不够好;
[*]有大量没人读的文章;
[*]正在发表更多没人读的文章;
[*]频繁就这些文章的发表和贡献分配问题而互撕;
[*]“我们观察到”成为论文中的合理句式;
[*]会做很漂亮的图来展示新成果,虽然没人知道这图是什么意思;
[*]宣称自己正在攻克癌症。

作者:知乎用户
链接:https://www.zhihu.com/question/2081004982103270003/answer/2081707169699910397
来源:知乎
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。

_47 发表于 2026-9-12 19:57

这楼翻下来感觉就是,没多少人在意公开信具体内容与数学问题特解的意义,最多的还是无尽的屁股大战。

论坛助手,iPhone
页: [1] 2 3 4 5
查看完整版本: S1抽风这几天, 数学界真的核爆地震了