openai/math
这次发布改变了问题的规模。过去谈“AI 做数学”，常常围绕一两道题和演示视频；现在研究者面对的是一整座可下载、可引用、会继续修订的手稿库。模型负责大量提出候选证明，数学界则要检查结果是否真是新发现、定理条件有没有写对、证明是否完整，以及同一结果是否已经存在于文献中。公开仓库还保留版本修订路径，让后续纠错有出处。这种生产与核验速度的不对称，可能比手稿总数更值得研究。
仓库状态可能随时间变化，开放范围与使用条件请查看项目自身的许可证和说明。
这次发布改变了问题的规模。过去谈“AI 做数学”，常常围绕一两道题和演示视频；现在研究者面对的是一整座可下载、可引用、会继续修订的手稿库。模型负责大量提出候选证明，数学界则要检查结果是否真是新发现、定理条件有没有写对、证明是否完整，以及同一结果是否已经存在于文献中。公开仓库还保留版本修订路径，让后续纠错有出处。这种生产与核验速度的不对称，可能比手稿总数更值得研究。
仓库状态可能随时间变化，开放范围与使用条件请查看项目自身的许可证和说明。