OpenAI 一口气放出 700 篇数学证明与反例预印本
tootie · hn · 2026-10-07
OpenAI 在 GitHub 仓库 openai/math 下一次性公开了 700 篇数学证明和反例的预印本，全部可供查阅。这批成果此前已引发数学界高度关注，多位数论学者称其为数学史上的重要时刻。
「公司和人」频道最新
- 被学者批「教学生逐富」,a16z 创业学院创始人逐条回击 — soleio · 2026-10-07
- 业内人士预言:Meta 或将转身成为前沿模型顶级玩家 — BLUECOW009 · 2026-10-07
- 奥特曼官宣：我们正迈入科学发现新时代 — sama · 2026-10-07
- SpAItial 创始人 Niessner 招兵买马:3D 世界生成与机器人学习 15 个岗位 — CSProfKGD · 2026-10-07
- Beam 团队澄清:模型从零训练,未蒸馏闭源模型 — alexpolozov · 2026-10-07
- 1X NEO 灵巧手工程师 Max Titov 离职创业,公开寻求合作 — eigenron · 2026-10-07