arXiv:2610.08329v1 Announce Type: new Abstract: We present an AI-assisted Lean 4 formalization of the Poincar\'e conjecture.
← Back to all developments · Signals are a development reported by more than one source. See the methodology.