在花🎗️科技圈:
OpenAI 发布内部前沿模型生成的数学成果合集 OpenAI 发布由内部未公开前沿模型生成的数学成果，GitHub 合集含 722 篇手稿、372 个结果系列，涉及长期未解问题。许多证明已用 Lean 形式化验证。 仓库称，模型平均每项结果使用约 3 小时 ChatGPT Pro 思考算力，评估期间约尝试 4000 道题，并提供 10 份推理摘要。部分结果仍处于验证阶段。 The Verge | GitHub | OpenAI 🌸 科技圈· 茶馆 · 投稿
OpenAI 公布模型产出的三项科研结果
OpenAI 公布内部模型产出的三项结果：各维度的局部光滑化猜想证明、指数时间假设（ETH）不成立的反证，以及四维杨-米尔斯理论的存在性证明。
OpenAI 称这些结果更像原始研究数据，邀请外部专家分组担任解读与验证角色；三组发布策略不同，计算机科学组已即时公开证明及 Lean 形式化，物理组暂缓发布。
OpenAI
编辑注：如果三项证明最终成立，均为相关领域的历史性突破。其中，指数时间假设（ETH）是仅次于 P vs NP 等核心问题的重大复杂性假设之一，其被推翻将动摇大量精确算法、参数化复杂性与细粒度复杂性研究所依赖的条件下界；全维局部光滑化证明还将一并解决 Kakeya、Stein 限制等调和分析核心猜想；四维杨–米尔斯存在性则直接指向七大千禧年数学难题之一。
🌸科技圈· 茶馆 · 投稿
via 在花🎗️科技圈 - Telegram Channel
