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

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