Ayush Khaitan's team with NVIDIA formally verifies the generalized Poincaré conjecture
Overview
A team led by Ayush Khaitan, with NVIDIA participating, has formally verified the generalized Poincaré conjecture, according to AI Era (新智元).
The report describes this as the first formal verification of the conjecture.
The source text is truncated, so the proof system used, the exact scope of the verification, and any further details cannot be confirmed from this report.
Written by AI from the articles below · updated Oct 11, 9:21 PM ET
Check the sources:
Article timeline
The articles in this story. Times are ET.
- AI EraNewsFormal verification of the generalized Poincaré conjecture is first achieved, team reports
AIA 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.
Heat trend
Not enough continuous observations to show a trend yet.