腾讯混元Hyra在数学领域又有突破，开源模型解决开放问题的能力又提升了。
腾讯混元Hyra在数学领域取得四项新进展。3D Blaschke-Lebesgue问题将恒定宽度体的通用下限从0.380799w³提升至0.411040w³，达到猜想最优值的97.9%。Beurling-Ahlfors积分将最佳均匀系数从1.575改进至1.523958。部分Hadamard矩阵将渐近计数从立方尺度扩展至近二次区域。算子交换子将恒等近似的成本从Tao的O(log⁵(1/ε))优化至O(log³)。
Hyra keeps pushing the frontier. Since our last math update, four more advances have landed: 📐 3D B...
Hyra keeps pushing the frontier. Since our last math update, four more advances have landed: 📐 3D Blaschke–Lebesgue: raised the universal lower bound for constant-width bodies from 0.380799w³ → 0.411040w³ (now 97.9% of the conjectured Meissner optimum). ∫ Beurling–Ahlfors: improved the best uniform (L^p) coefficient from 1.575 → 1.523958, moving closer to Iwaniec’s conjectured sharp bound. ± Partial Hadamard matrices: extended asymptotic counting from the cubic scale down to the near-quadratic regime. [,] Operator commutators: improved the cost of approximating the identity from Tao’s O(log⁵(1/ε)) to O(log³), narrowing the gap toward the known logarithmic lower bound. We are making open-source models better at solving open problems! Check the results: github.com/Tencent-Hunyua… U 💬 1 🔄 3 ❤️ 43 👀 4330 📊 8 ⚡