OpenAI模型平面色数证明被指像外星数学

研究者阅读 OpenAI 模型给出的「平面色数 ≥ 6」证明后，称其数学风格像「外星数学」般难以理解。报道举出的一个例子是：模型突然宣称任何 K-染色等价于「弱可测」K-染色，这一步来得十分突兀。Exa 创始人 Yacine 随后发推调侃称，模型生成的代码需要不断简化，模型写出的数学证明是否也能同样简化，并认为求解法简化或许会成为下一个方向。目前围绕该证明的讨论，集中在它的可读性与能否被简化上。

AI 根据报道生成 · 3 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。