（震惊瘫坐）数学界大地震， 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 写的代码有些算法我已经看不明白或不想花时间看明白了