https://github.com/openai/math/
openai 发布了 722 篇数学论文，归入 372 个顶级数学难题家族，覆盖数论、代数几何、理论计算机、统计力学等 17 个数学分支领域，现在人类数学家正在验证
openai 发布了 722 篇数学论文，归入 372 个顶级数学难题家族，覆盖数论、代数几何、理论计算机、统计力学等 17 个数学分支领域，现在人类数学家正在验证
 |
1
sandow 4h 19m ago via Android
claude 也证明了一个据说困扰人类 70 年的渗流猜想
|
 |
2
mywaiting 4h 9m ago
期待有生之年能看到黎曼猜想，甚至广义黎曼猜想被证明
|
 |
3
zooo 2h 9m ago
科技大爆炸时代
|
 |
4
coefu 1h 56m ago
陶哲轩的那个看法还是有见地的。
提问题，理解问题的答案，还是要掌握到人手里的。人类要是连提问题的资格都丢失的话，不知道还有什么意义。 |
 |
5
levn 1h 35m ago
但是 codex 的额度感觉少了很多
|
 |
6
MAVETRICK 1h 18m ago via iPhone
我看到小小钰子一和分析学爱好者这些数学老哥都已经瘫坐了 小小码农更是只能开摆
|
Select Language