OpenAI 模型平面色数证明被指像「外星数学」难读

有研究者尝试阅读 OpenAI 模型给出的「平面色数 ≥ 6」证明，感叹其数学风格像「外星数学」般难以理解，例如模型突然宣称任何 K-染色等价于「弱可测」K-染色，这一步来得十分突兀。Exa 创始人 Yacine 随后发推调侃：模型生成的代码需要不断简化，数学证明是否也能同样简化？他半开玩笑地表示，像简化模型代码那样去简化模型写出的证明，或将是下一个方向。

2026-10-07 ~ 2026-10-07 · 2 条相关