OpenAI 于 10 月 7 日一次性公开 722 篇数学手稿，论文和部分 Lean 证明上传 GitHub，其中编号 074 的两篇共 272 页，作者栏只写 OpenAI。
🔗 阅读原文
via 无言AIGC · https://aihot.wuyanshuo.cn/items/g5bcbwvno61gscy6elsjsx04h
OpenAI 于 10 月 7 日一次性公开 722 篇数学手稿，论文和部分 Lean 证明上传 GitHub，其中编号 074 的两篇共 272 页，作者栏只写 OpenAI。
🔗 阅读原文
via 无言AIGC · https://aihot.wuyanshuo.cn/items/g5bcbwvno61gscy6elsjsx04h