Hacker News· vikas-sharma·· 11 天前AI 评分30
OpenAI 生成的数学手稿与配套证明工件
Mathematical manuscripts and supporting proof artifacts produced by OpenAI
AI 导读
OpenAI 公开了一批由 AI 生成的数学手稿及配套证明工件。内容以手稿和支撑性证明材料为主，具体模型版本与规模未在标题中说明。
来源：Hacker News · github.com
OpenAI 生成的数学手稿与配套证明工件