形式化 – TECH SCOPE

いまロード中

×

Claude AI fermat proof

「証明の民主化」が数学を変える——Claudeがフェルマーの最終定理を形式化、350年の謎が1300万行のコードで解き明かされた瞬間