北京
腾讯混元Hyra团队在数学推理方向又有新动作。距离上次数学能力更新不久，团队一口气放出了四项新进展，覆盖几何、分析、组合与算子理论四个方向。这些成果并非停留在论文层面，而是直接服务于开源模型解决开放数学问题的能力。
常宽体下界：从0.380799到0.411040
第一项突破在三维Blaschke–Lebesgue问题上。Hyra将常宽体的通用下界从0.380799w³提升至0.411040w³。这个数字意味着什么？它已经达到猜想中Meissner最优值的97.9%。常宽体是几何学中一类特殊几何体，在任何方向上的宽度都相等，球体是最典型的例子。Blaschke–Lebesgue问题追问的是：在所有常宽体中，体积最小的是哪一种？Meissner猜想给出了候选答案，但严格证明至今悬而未决。Hyra这次把下界往上推了一大截，距离最终答案又近了一步。
Beurling–Ahlfors系数：1.575到1.523958
第二项进展来自复分析领域。Hyra改进了Beurling–Ahlfors问题中最佳的均匀（L^p）系数，从1.575优化到1.523958。这个系数与拟共形映射的伸张性质密切相关，Iwaniec曾提出一个猜想的最优界。Hyra的新结果正在逐步逼近这个理论极限。虽然1.575到1.523958看起来只是小数点后的变化，但在数学优化中，这类系数的每一次压缩都意味着对问题本质更深一层的理解。
部分Hadamard矩阵：计数尺度向下延伸
第三项突破在组合数学方向。Hyra将部分Hadamard矩阵的渐近计数从立方尺度扩展到了近二次方尺度。Hadamard矩阵在编码理论、信号处理和量子信息中都有广泛应用，其元素仅由+1和-1构成且行间正交。部分Hadamard矩阵则是从完整矩阵中抽取部分行或列。此前学界对这类矩阵的计数研究主要集中在较高维度，Hyra的新结果把计数范围向下推进，覆盖了更稀疏、更接近二次方规模的矩阵族，为相关应用提供了更完整的理论支撑。
算子交换子：逼近成本从O(log⁵)降到O(log³)
第四项进展涉及算子理论。Hyra改进了用交换子逼近恒等算子的成本，从陶哲轩此前给出的O(log⁵(1/ε))降至O(log³)。交换子是衡量两个算子不可交换程度的量，在量子力学中对应不确定性原理的数学表达。逼近恒等算子的成本问题与算子代数的结构分析直接相关，已知的下界是对数级别。Hyra的新结果把上界从五次对数压到三次对数，显著缩小了与理论下界之间的鸿沟。
开源模型与开放问题的双向奔赴
这四项成果有一个共同点：它们都来自腾讯混元Hyra团队，并且都指向同一个目标——让开源模型在解决开放数学问题上变得更强。数学推理一直是AI模型的短板，尤其是涉及严格证明和构造性算法的题目。Hyra团队选择从这些经典难题入手，一方面检验模型的推理深度，另一方面也为开源社区提供了可复现的基准结果。相关代码和结果已发布在GitHub上（github.com/Tencent-Hunyua），供研究者验证和进一步开发。
从几何下界到算子复杂度，这四项进展覆盖了纯数学的多个核心分支。对于关注AI数学能力的开发者来说，Hyra的更新路径值得跟踪——它展示了大模型在形式化推理上的实际进步，而非停留在聊天层面的“看起来会做数学”。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
