RecodeX 重构消息，OpenAI于10月26日发布一份自然语言说明及Lean形式化证明，称其模型证明了所有维度下的局部光滑猜想（Local Smoothing Conjecture），该结果同时解决了Kakeya猜想与Stein限制猜想。