TY  - RPRT
TI  - An AI-Assisted Formalization of the Poincaré Conjecture
AU  - Zhiyuan Zhang
AU  - Axel Delaval
AU  - Leheng Chen
AU  - Jinxuan Chen
AU  - Jie Xu
AU  - Yuxuan Liao
AU  - Jiedong Jiang
AU  - Chunlei Liu
AU  - Bin Dong
PY  - 2026
UR  - https://arxiv.org/abs/2610.08329
ID  - 2610.08329
ER  -