タグ「形式的証明」の記事

OpenAIがCannon予想を証明：AIが幾何学的群論の約40年来の難問を解決、Leanによる機械検証付き

OpenAIが10月6日に公開した数学の手稿のうち、31ページの論文がCannon予想の完全な証明を主張しており、Leanによる形式検証も付属している。