共 1 篇
OpenAI 宣布其模型在调和分析、复杂性理论、量子场论各交出一份结果，包括证明全维局部光滑化猜想与否定指数时间假设，均已用 Lean 形式化并公开。学界反应谨慎：待独立验证，才谈得上里程碑。