腾讯混元 Hyra 数学能力再获四项进展
Hyra keeps pushing the frontier.
腾讯混元 Hyra 在数学领域取得四项新进展：3D Blaschke–Lebesgue 问题的常数宽度体通用下界从 0.380799w³ 提升至 0.411040w³，达到 Meissner 猜想最优值的 97.9%；Beurling–Ahlfors 的最佳一致 L^p 系数从 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 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: https://t.co/uOaEWDb60U