Canonical event

Teng Zhang publishes preprint challenging Bloch constant conjecture

Author claims strict bound and Lean formalization; publication verified, mathematical proof not independently adjudicated.