（震惊瘫坐）数学界大地震， openai 公布 722 篇数学论文

[soulflysimple123]

https://github.com/openai/math/

openai 发布了 722 篇数学论文，归入 372 个顶级数学难题家族，覆盖数论、代数几何、理论计算机、统计力学等 17 个数学分支领域，现在人类数学家正在验证

[sandow]

claude 也证明了一个据说困扰人类 70 年的渗流猜想

[mywaiting]

期待有生之年能看到黎曼猜想，甚至广义黎曼猜想被证明

[zooo]

科技大爆炸时代

[coefu]

陶哲轩的那个看法还是有见地的。

提问题，理解问题的答案，还是要掌握到人手里的。人类要是连提问题的资格都丢失的话，不知道还有什么意义。

[levn]

但是 codex 的额度感觉少了很多

[MAVETRICK]

我看到小小钰子一和分析学爱好者这些数学老哥都已经瘫坐了 小小码农更是只能开摆

[jacketma]

@coefu 弦论那边提出的问题多到姥姥家去了，正经人都懒得理它（大意是文明毁灭了，都没可能证明）

[hazardous]

对于这种一眼看不到应用场景的数学谜题，在解题过程中出现的思路和解题方法才是最重要的，即使 AI 推理也用到了正确的思路和方法，但不经过数学家自己的苦思冥想得来的过程，是没有太大收获和意义的。

[V2Try]

@hazardous 也许看懂 AI 的解题思路的过程也会有收获呢

[anzu]

数学界也是吃上 AI Slop 了😂

[CivAx]

这种 Slop 风格标题也是传到 V 站了（捂鼻

[june4]

某个科幻小说说的后人无法理解前人的高等科技知识，只需享受 ai 服务，我看我们这代人都可能见到了，反正我的程序里 ai 写的代码有些算法我已经看不明白或不想花时间看明白了

[Building]

@hazardous 类似于人手工算 pi 能算到后面几百位已经是极限了，计算机来了能给你直接算到后面几百万位，并不说明计算机比数学家强，重要的还是数学家想出来的算 pi 公式

[pxlxh]

ai 也是数学家的工具啊
为什么不能让数学家用上 ai

[exc]

这是把数学家当成免费的质量验收员了~~

[Pending]

@coefu 广义上的人肉电池，就算具身智能实现了，机器的防潮防水防锈肯定比不上人体，这些工作就交给人做了。

[Lanyangzhi]

前两天看见数学顾问组跟 openai 谈战败国条约我就想笑，搞得好像数学家打赢了 openai 一样，真不怕逼急了跟 a/一样把你们一脚踹成原子？

[CdR48cafe]

@Lanyangzhi 你没发现 A/最近在数学上不出声了吗? 数学界大佬并不全住象牙塔里, 能理清 AI 公司搞数学只是为了 IPO 圈钱造势的人多的很。A/之前姿态摆的太高惹毛了数学界, 现在反过来帮 OPENAI 造势恶心 A/也只是刚好而已。

[m1nm13]

openAI 提了 722 个 PR, 指望着数学家来 review.

这么说是是不是比较合理 XD

[sandow]

现在 AI 把编程踏平了，数学差不多踏平了，下一个会被踏平的领域会是哪个

[shawnsh]

明天来 UC 震惊部报道！

[BeforeTooLate]

不觉得很可怕吗，人类好像被剥离思考了一样。
如果真的存在宇宙大筛选器，我觉得 ai 危机比核弹可能性大多了。

[Fistandantilus]

震惊多了现在已经习惯了。
啥时候解决 P vs NP 问题我再来眩晕瘫坐吧

[norland]

@hazardous 如果 AI 能搞定给出结果，，即便他不给出过程，但他能继续用这个过程去搞定其他问题，那有什么不妥的。

[norland]

@coefu 人本来就是没有意义的啊，生物学意义就是繁衍，社会学意义其实本没有意义，难道加班 996 有意义么

[norland]

这些猜想，确实有些数学家穷极一生，可能也没有任何进展，这时候 AI 来了，三下五除二搞定了，对于这些数学家来说，确实有点那啥。

这些数学家，就像 49 年的国军，19 年的买房人，他本身并没有什么错，但是，时代趋势来了谁也没办法。

与其抱怨人 AI ，不如想想 AI 怎么造福人，怎么管控 AI 不造反，毕竟，人并不是生来就要创造价值的，是可以享受服务的，是可以被圈养的。当然，资本家允不允许，那是另外一回事。