AI 中文总结
该研究针对布洛赫常数，通过区间算术严格验证的计算机辅助估计改进邦克方法，将其下界提升至0.448312701，优于此前陈-戈蒂埃和熊的结果。
AI 中文摘要
设B为布洛赫常数，我们证明B≥√3/4+0.0153=0.448312701…，改进了陈-戈蒂埃（√3/4+2×10⁻⁴）和熊（√3/4+3×10⁻⁴）的下界；证明通过区间算术严格验证的计算机辅助估计，改进了邦克的方法。
英文摘要
Let $B$ denote Bloch's constant. We prove \[ B \ge \frac{\sqrt{3}}{4}+0.0153 = 0.448312701\ldots, \] improving the lower bounds by Chen--Gauthier ($\sqrt{3}/4+2\cdot10^{-4}$) and Xiong ($\sqrt{3}/4+3\cdot10^{-4}$). The proof refines Bonk's method through computer-assisted estimates rigorously verified using interval arithmetic.
Comments16 pages
