OpenAI 模型给出平面色数证明,求解法简化或成下一个方向
yacinelearning · x · 2026-10-07
有研究者尝试阅读 OpenAI 模型给出的「平面色数 ≥ 6」证明,感叹其数学风格像「外星数学」难以理解:模型竟然发现任何 K-染色等价于「弱可测」K-染色,这一步来得很突兀。X 用户 Yacine 转评称,像简化模型生成代码一样去简化这类机器生成的证明,是接下来的方向。
所属事件:OpenAI 模型平面色数证明被指像「外星数学」难读(2 条相关)→
「模型」频道最新
- 研究者吐槽:真强者应是「评测全崩但坚称榜单是垃圾」的模型 — ryunuck · 2026-10-07
- 开发者首次集成 Embedding：图像按「整体氛围」聚类令人惊艳 — ciguleva · 2026-10-07
- 让 Mistral 改写《安提戈涅》：对齐官员成反派，RLHF 是脑叶切除 — aiamblichus · 2026-10-07
- Claude 与 ChatGPT 已开始点名批评清单体和对比页 — lilyraynyc · 2026-10-07
- Pixel 10 老用户怒批 Gemini:连设个提醒都失败,转而弃用 — MaximumCorrect5864 · 2026-10-07
- OpenAI 学生优惠缩水：续费后从 Pro 降为 Plus — Angaisb_ · 2026-10-07