Machine Heart
May 18, 2026 · Artificial Intelligence
How LLMs Raised the Steiner Ratio Lower Bound to 0.8559, Closing in on the Gilbert‑Pollak Conjecture
A team from Peking University built an LLM‑driven framework that iteratively generates verification functions and uses a reward model with divide‑and‑conquer to improve the planar Steiner ratio from the long‑standing lower bound of 0.824 to 0.8559, a result accepted at ICML 2026 and verified by human experts.
Gilbert‑Pollak conjectureLLMMathematical AI
0 likes · 9 min read
