OpenAI 用内部模型产出数百个高难度数学证明并开源发布
Pascallisch · x · 2026-10-07
tunguz 转发称 OpenAI 刚发布了数百个由其内部模型产出的高端数学证明与解答,并附上了 GitHub 仓库链接。他认为今后(尤其在数学领域)通过 GitHub 发布研究成果会是更好的方式。此帖为转发,核心信息是被转发原推及仓库链接。
所属事件:OpenAI 开源内部模型 722 份数学成果，触及千禧年难题(55 条相关)→
「模型」频道最新
- 700亿参数数学模型Bel引争论：合成数据还是规模红利 — teortaxesTex · 2026-10-07
- Fable 自评新发布：相当于约 5 个「OpenAI 纳维-斯托克斯」级成果 — willdepue · 2026-10-07
- Reddit 用户发布去审查 27B 红队安全模型，自称零拒绝 — Least_Dog_8556 · 2026-10-07
- OpenAI 研究员惊讶:AI 实验室数学新成果至今没查出硬伤 — willdepue · 2026-10-07
- OpenAI 模型在 ARC 类谜题上输给 Meta 的 Muse — BLUECOW009 · 2026-10-07
- Inception 免费推出 Mercury Decide:每秒 14 次结构化决策,对标 Jev — StefanoErmon · 2026-10-07