https://github.com/openai/math/
openai 发布了 722 篇数学论文，归入 372 个顶级数学难题家族，覆盖数论、代数几何、理论计算机、统计力学等 17 个数学分支领域，现在人类数学家正在验证
openai 发布了 722 篇数学论文，归入 372 个顶级数学难题家族，覆盖数论、代数几何、理论计算机、统计力学等 17 个数学分支领域，现在人类数学家正在验证
 |
1
sandow 13h 59m ago via Android
claude 也证明了一个据说困扰人类 70 年的渗流猜想
|
 |
2
mywaiting 13h 49m ago
期待有生之年能看到黎曼猜想，甚至广义黎曼猜想被证明
|
 |
3
zooo 11h 48m ago
科技大爆炸时代
|
 |
4
coefu 11h 36m ago  1
陶哲轩的那个看法还是有见地的。
提问题，理解问题的答案，还是要掌握到人手里的。人类要是连提问题的资格都丢失的话，不知道还有什么意义。 |
 |
5
levn 11h 15m ago
但是 codex 的额度感觉少了很多
|
 |
6
MAVETRICK 10h 58m ago via iPhone
我看到小小钰子一和分析学爱好者这些数学老哥都已经瘫坐了 小小码农更是只能开摆
|
 |
8
hazardous 9h 22m ago
对于这种一眼看不到应用场景的数学谜题，在解题过程中出现的思路和解题方法才是最重要的，即使 AI 推理也用到了正确的思路和方法，但不经过数学家自己的苦思冥想得来的过程，是没有太大收获和意义的。
|
 |
10
anzu 9h 2m ago
数学界也是吃上 AI Slop 了😂
|
 |
11
CivAx 8h 50m ago
这种 Slop 风格标题也是传到 V 站了（捂鼻
|
 |
12
june4 8h 24m ago
某个科幻小说说的后人无法理解前人的高等科技知识，只需享受 ai 服务，我看我们这代人都可能见到了，反正我的程序里 ai 写的代码有些算法我已经看不明白或不想花时间看明白了
|
 |
13
Building 8h 9m ago via iPhone
@hazardous 类似于人手工算 pi 能算到后面几百位已经是极限了，计算机来了能给你直接算到后面几百万位，并不说明计算机比数学家强，重要的还是数学家想出来的算 pi 公式
|
 |
14
pxlxh 7h 54m ago
ai 也是数学家的工具啊
为什么不能让数学家用上 ai |
 |
15
exc 7h 1m ago
这是把数学家当成免费的质量验收员了~~
|
 |
17
Lanyangzhi 6h 32m ago
前两天看见数学顾问组跟 openai 谈战败国条约我就想笑，搞得好像数学家打赢了 openai 一样，真不怕逼急了跟 a/一样把你们一脚踹成原子？
 |
 |
18
CdR48cafe 6h 9m ago
@Lanyangzhi 你没发现 A/最近在数学上不出声了吗? 数学界大佬并不全住象牙塔里, 能理清 AI 公司搞数学只是为了 IPO 圈钱造势的人多的很。A/之前姿态摆的太高惹毛了数学界, 现在反过来帮 OPENAI 造势恶心 A/也只是刚好而已。
|
 |
19
m1nm13 6h 2m ago 1
openAI 提了 722 个 PR, 指望着数学家来 review.
这么说是是不是比较合理 XD |
Select Language