OpenAI 公开数学证明材料,呼应此前数学突破传闻
imjustnewatai · x · 2026-10-07
OpenAI 发布了其数学证明的相关材料。此前围绕 OpenAI 在数学推理/证明能力上的突破有诸多讨论,这份材料的公开为相关说法提供了可查证的来源。
所属事件:OpenAI 开源内部模型产出的七百余份数学研究手稿(49 条相关)→
「模型」频道最新
- OpenAI 模型在 ARC 类谜题上输给 Meta 的 Muse — BLUECOW009 · 2026-10-07
- Inception 免费推出 Mercury Decide:每秒 14 次结构化决策,对标 Jev — StefanoErmon · 2026-10-07
- 一个字的“Paris”,Qwen 3.8 27B 实际算了258亿条方程 — CatAstro_Piyush · 2026-10-07
- Matthew Berman 评测 Mistral Large 4:宣称 Mistral 强势回归 — Matthew Berman · 2026-10-07
- Gwern 旧论断被重提:采样只能揭示知识的在场,无法证明缺席 — akbirthko · 2026-10-07
- Reddit 用户用自创提示词协议压制 RLHF 谄媚,Gemini 深度回应 — Teralitha · 2026-10-07