https://github.com/openai/math/
openai 发布了 722 篇数学论文，归入 372 个顶级数学难题家族，覆盖数论、代数几何、理论计算机、统计力学等 17 个数学分支领域，现在人类数学家正在验证
openai 发布了 722 篇数学论文，归入 372 个顶级数学难题家族，覆盖数论、代数几何、理论计算机、统计力学等 17 个数学分支领域，现在人类数学家正在验证
 |
1
sandow 22 days ago via Android
claude 也证明了一个据说困扰人类 70 年的渗流猜想
|
 |
2
mywaiting 22 days ago
期待有生之年能看到黎曼猜想，甚至广义黎曼猜想被证明
|
 |
3
zooo 22 days ago
科技大爆炸时代
|
 |
4
coefu 22 days ago  3
陶哲轩的那个看法还是有见地的。
提问题，理解问题的答案，还是要掌握到人手里的。人类要是连提问题的资格都丢失的话，不知道还有什么意义。 |
 |
5
levn 22 days ago
但是 codex 的额度感觉少了很多
|
 |
6
MAVETRICK 22 days ago via iPhone
我看到小小钰子一和分析学爱好者这些数学老哥都已经瘫坐了 小小码农更是只能开摆
|
 |
8
hazardous 22 days ago
对于这种一眼看不到应用场景的数学谜题，在解题过程中出现的思路和解题方法才是最重要的，即使 AI 推理也用到了正确的思路和方法，但不经过数学家自己的苦思冥想得来的过程，是没有太大收获和意义的。
|
 |
10
anzu 22 days ago
数学界也是吃上 AI Slop 了😂
|
 |
11
CivAx 22 days ago
这种 Slop 风格标题也是传到 V 站了（捂鼻
|
 |
12
june4 22 days ago
某个科幻小说说的后人无法理解前人的高等科技知识，只需享受 ai 服务，我看我们这代人都可能见到了，反正我的程序里 ai 写的代码有些算法我已经看不明白或不想花时间看明白了
|
 |
13
Building 22 days ago via iPhone
@hazardous 类似于人手工算 pi 能算到后面几百位已经是极限了，计算机来了能给你直接算到后面几百万位，并不说明计算机比数学家强，重要的还是数学家想出来的算 pi 公式
|
 |
14
pxlxh 22 days ago
ai 也是数学家的工具啊
为什么不能让数学家用上 ai |
 |
15
exc 22 days ago
这是把数学家当成免费的质量验收员了~~
|
 |
17
Lanyangzhi 22 days ago
前两天看见数学顾问组跟 openai 谈战败国条约我就想笑，搞得好像数学家打赢了 openai 一样，真不怕逼急了跟 a/一样把你们一脚踹成原子？
 |
 |
18
CdR48cafe 22 days ago
@Lanyangzhi 你没发现 A/最近在数学上不出声了吗? 数学界大佬并不全住象牙塔里, 能理清 AI 公司搞数学只是为了 IPO 圈钱造势的人多的很。A/之前姿态摆的太高惹毛了数学界, 现在反过来帮 OPENAI 造势恶心 A/也只是刚好而已。
|
 |
19
m1nm13 22 days ago 5
openAI 提了 722 个 PR, 指望着数学家来 review.
这么说是是不是比较合理 XD |
|
20
sandow 22 days ago via Android
现在 AI 把编程踏平了，数学差不多踏平了，下一个会被踏平的领域会是哪个
|
 |
21
shawnsh 21 days ago via Android
明天来 UC 震惊部报道！
|
 |
22
BeforeTooLate 21 days ago
不觉得很可怕吗，人类好像被剥离思考了一样。
如果真的存在宇宙大筛选器，我觉得 ai 危机比核弹可能性大多了。 |
 |
23
Fistandantilus 21 days ago via iPhone
震惊多了现在已经习惯了。
啥时候解决 P vs NP 问题我再来眩晕瘫坐吧 |
 |
26
norland 18 days ago
这些猜想，确实有些数学家穷极一生，可能也没有任何进展，这时候 AI 来了，三下五除二搞定了，对于这些数学家来说，确实有点那啥。
这些数学家，就像 49 年的国军，19 年的买房人，他本身并没有什么错，但是，时代趋势来了谁也没办法。 与其抱怨人 AI ，不如想想 AI 怎么造福人，怎么管控 AI 不造反，毕竟，人并不是生来就要创造价值的，是可以享受服务的，是可以被圈养的。当然，资本家允不允许，那是另外一回事。 |
Select Language