https://github.com/openai/math/
openai 发布了 722 篇数学论文，归入 372 个顶级数学难题家族，覆盖数论、代数几何、理论计算机、统计力学等 17 个数学分支领域，现在人类数学家正在验证
openai 发布了 722 篇数学论文，归入 372 个顶级数学难题家族，覆盖数论、代数几何、理论计算机、统计力学等 17 个数学分支领域，现在人类数学家正在验证
 |
1
sandow 1h 52m ago via Android
claude 也证明了一个据说困扰人类 70 年的渗流猜想
|
 |
2
mywaiting 1h 42m ago
期待有生之年能看到黎曼猜想，甚至广义黎曼猜想被证明
|
Select Language