OpenAI 发布内部前沿模型产出的 722 篇数学论文,已有人做成搜索引擎
tomaarsen · x · 2026-10-07
OpenAI 官方宣布发布一批由内部前沿模型产出的新数学结果(722 篇论文、372 条结果),并称其发布方案咨询了普林斯顿高等研究院的数学与人工智能独立顾问小组。
@mishig25 顺手为它做了一个搜索引擎,支持:
- 自然语言查询,如「洗牌多少次才能彻底随机化一副牌?」
- 按人名/术语搜索(如「UGC」「Kaplansky」)
- 过滤器:Lean 形式化验证、负面结果、推理轨迹
所属事件:OpenAI 开源内部前沿模型的 722 份新数学成果与推理轨迹(137 条相关)→
「研究」频道最新
- MIT 发布 ImpactBench：首个衡量 AI 对人类福祉整体影响的开放基准 — patpat_mit · 2026-10-08
- 研究：AI 模型甘愿服从任何规则，哪怕荒谬不义，被称「不自由走狗」 — sethlazar · 2026-10-08
- Artifact Arena：让大模型造机器人互相对撞，以造物论智能的开放式基准 — thisismyhat · 2026-10-08
- COLM'26 三篇论文：自对弈基准 MathDuels 让评测难度随模型共进化 — AI4Code · 2026-10-08
- 186M 查询-文档对、594 数据集、46 语言训练,评测集数据全部剔除 — antoine_chaffin · 2026-10-08
- 18B 教师蒸馏出共享向量空间的 9B/0.6B 学生,实现跨模型检索 — antoine_chaffin · 2026-10-08