OpenAI 宣布模型在数学、计算机、物理三领域各拿出一项新发现：数学上证明了各维度的局部平滑猜想，顺带解决了 Kakeya 猜想和 Stein 限制猜想；计算机方面出人意料地证伪了长期被认为成立的指数时间假说（ETH），这个假说曾是数百篇论文推导条件性难度结论的前提，证伪后可能指引更快的算法，但离实用还远；物理上给出了含 QCD 与标准模型完备化的四维规范场论严格存在性证明，其中纯杨-米尔斯存在性还是千禧难题的子问题，三项结果都已用 Lean 形式化并交由外部学者小组梳理验证。
来源： https://openai.com/index/buildin ... ademic-communities/ |
