OpenAI 称模型证伪了指数时间假设，并给出 Kakeya 猜想和 QCD 存在性证明，外部专家将负责核查

OpenAI 10 月 26 日公布数学、计算机和物理三项结果：ETH 的反驳与 Lean 形式化已公开，物理成果暂不公开材料，均待外部小组核查。