OpenAI 称解出数百道数学题,数学界呼吁独立验证
Ghost_Pilot_MD · x · 2026-10-07
X 用户转发讨论:OpenAI 宣称解决了数百道数学难题,但数学与科学社区认为在正式宣布「已解决」前,必须提供可核验的真实证明并做独立验证。
作者强调这是科学方法中不可跳过的「检验与观察」环节——解决方案摆在那里不等于真的解决了,如果从「验证」滑向「信仰」,科学发现的严谨性就会被劫持。真正的验证工作现在才刚开始。
所属事件:OpenAI 数学发布震动学界，冲击波预计半年内波及编程(19 条相关)→
「模型」频道最新
- 谷歌研究员称 Reflection Beam「蒸馏洗白」中国模型,反而更安全 — ibab · 2026-10-07
- Prime Agent 搭载 Qwen3.8-27B 实测：持久 Python 环境与经验自改进 — Arindam_1729 · 2026-10-07
- Mistral Large 4 万亿参数发布,Google 与 OpenAI 多款模型同日更新 — testingcatalog · 2026-10-07
- Similarweb：ChatGPT 9 月访问量 59.2 亿，连续三个月增长 — gaganghotra_ · 2026-10-07
- Codex 版 GPT-6 推理量比 API 最多低 12 倍,被疑遭量化 — RexDouglass · 2026-10-07
- Gemini 3.8 Flash 跑个语法检查要 5 分钟，用户怒批该淘汰的应是它 — Party-Change3075 · 2026-10-07