Hunyuan Hy4 helps raise lower bound of century-old geometry problem by 8%

teortaxesTex · x · 2026-08-31

Tencent's Hunyuan model Hy4-Preview assisted in solving the century-old geometry problem of the minimal volume of a constant-width body in 3D. The lower bound, stuck at 0.380799 since 1922, was raised to 0.41104 by Hyra + Hy4-Preview in two months, leaving only a 2.1% gap to the Meissner tetrahedron conjecture upper bound. The model features 770B total parameters, 49B active parameters, and 1M context.

Original post →

More from Research

Research channel →