{"id":"arxiv/2610.16808","url":"https://arxiv.org/abs/2610.16808","tags":["math.CV"],"score":0,"title":"The Bloch constant is strictly smaller than the Ahlfors--Grunsky value","domain":"math.CV","source":"arxiv","authors":["Teng Zhang"],"reviews":0,"subject":"math.CV","summary":"We prove that the classical Bloch constant is strictly smaller than the Ahlfors--Grunsky value, disproving the famous Bloch constant conjecture. The Lean 4 formalization of the main results are also provided.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-12","reactions":{}}