Hacker News · 首页· vikas-sharma·2026-10-07 06:22· 2026-10-07AI 评分15

OpenAI 发布数学手稿与配套证明材料（GitHub 开源）

Mathematical manuscripts and supporting proof artifacts produced by OpenAI

AI 导读

OpenAI 在 GitHub（github.com/openai）开源了其产出的数学手稿及配套证明材料。该条目在 Hacker News 首页获得 34 分，发布 19 分钟后即被收录。

正文

		Mathematical manuscripts and supporting proof artifacts produced by OpenAI (github.com/openai)
		34 points by vikas-sharma 19 minutes ago \| hide \| past \| favorite \| discuss

来源：Hacker News · 首页 · news.ycombinator.com