探検

５ちゃんねる⇒科学ニュース＋＠5ch掲示板

UPLIFT ログイン

70コメント26KB

【AI】Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成 [すらいむ★]

スレをまとめに
5ch即うp → gzo.ai

35名無しのひみつ

2026/09/12(土) 14:30:25.49ID:v80GePNW

四色問題の証明をAIとLeanでよろしく

スレをまとめに
5ch即うp → gzo.ai

新着レスの表示

レスを投稿する

ニュース