An AI-Assisted Formalization of the Poincar\'e Conjecture.

arXiv:2610.08329v1 Announce Type: new Abstract: We present an AI-assisted Lean 4 formalization of the Poincar\'e conjecture. The project began with limited reusable formal infrastructure for the geometric analysis behind the proof. To organize this work, we co