2026年09月11日 サイエンス
四色定理に約30年ぶりの新証明、地図を4色で塗り分けるアルゴリズムが大幅に高速化
https://gigazine.net/news/20260911-four-color-theory-new-proof/
【AI】Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成 [すらいむ★]
40名無しのひみつ
2026/09/13(日) 02:09:55.33ID:MrBT+fMrレスを投稿する