OpenAI 宣布其内部模型在三项基础科学上取得突破：AI 写出了证明，人类还要弄懂什么？

从波的短暂聚焦、SAT 算法的速度极限到量子场论的数学基础，讲清三项结果的意义，以及机器核查之后仍需完成的理解工作。