Tag
Tencent's Hy4 preview and Hyra AI models have advanced a century-old math problem by improving the lower bound for the Blaschke-Lebesgue problem in 3D to 0.41104, with the full proof and code publicly available for verification.