https://github.com/openai/math/
openai 发布了 722 篇数学论文，归入 372 个顶级数学难题家族，覆盖数论、代数几何、理论计算机、统计力学等 17 个数学分支领域，现在人类数学家正在验证
openai 发布了 722 篇数学论文，归入 372 个顶级数学难题家族，覆盖数论、代数几何、理论计算机、统计力学等 17 个数学分支领域，现在人类数学家正在验证
 |
1
sandow 6h 13m ago via Android
claude 也证明了一个据说困扰人类 70 年的渗流猜想
|
 |
2
mywaiting 6h 3m ago
期待有生之年能看到黎曼猜想，甚至广义黎曼猜想被证明
|
 |
3
zooo 4h 3m ago
科技大爆炸时代
|
 |
4
coefu 3h 50m ago  1
陶哲轩的那个看法还是有见地的。
提问题，理解问题的答案，还是要掌握到人手里的。人类要是连提问题的资格都丢失的话，不知道还有什么意义。 |
 |
5
levn 3h 29m ago
但是 codex 的额度感觉少了很多
|
 |
6
MAVETRICK 3h 12m ago via iPhone
我看到小小钰子一和分析学爱好者这些数学老哥都已经瘫坐了 小小码农更是只能开摆
|
 |
8
hazardous 1h 37m ago
对于这种一眼看不到应用场景的数学谜题，在解题过程中出现的思路和解题方法才是最重要的，即使 AI 推理也用到了正确的思路和方法，但不经过数学家自己的苦思冥想得来的过程，是没有太大收获和意义的。
|
 |
10
anzu 1h 16m ago
数学界也是吃上 AI Slop 了😂
|
 |
11
CivAx 1h 4m ago
这种 Slop 风格标题也是传到 V 站了（捂鼻
|
 |
12
june4 38 mins ago
某个科幻小说说的后人无法理解前人的高等科技知识，只需享受 ai 服务，我看我们这代人都可能见到了，反正我的程序里 ai 写的代码有些算法我已经看不明白或不想花时间看明白了
|
 |
13
Building 24 mins ago via iPhone
@hazardous 类似于人手工算 pi 能算到后面几百位已经是极限了，计算机来了能给你直接算到后面几百万位，并不说明计算机比数学家强，重要的还是数学家想出来的算 pi 公式
|
 |
14
pxlxh 9 mins ago
ai 也是数学家的工具啊
为什么不能让数学家用上 ai |
Select Language