Tencent Hy(@TencentHunyuan):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:

1hours ago

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: