Formal verification of the generalized Poincaré conjecture is first achieved, team reports
Original title (Chinese)
丘成桐弟子再立功，广义庞加莱猜想证明首次形式化验证！
AISummary
A team led by Ayush Khaitan has formally verified the generalized Poincaré conjecture, the first such verification, with NVIDIA participating. The source text is truncated, so further details such as the proof system or the exact verification scope cannot be confirmed.
Source: AI Era · aiera.com.cnPublished · added here