LEANは帰納的定義でいろんな概念組み上げて証明作るんだから
ある意味無限降下法よ
【AI】Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成 [すらいむ★]
75名無しのひみつ
2026/09/17(木) 12:11:02.45ID:+6rSvcX5レスを投稿する
ニュース
- 【サッカー】森保J、W杯明け国内4試合 代表メンバー31人発表! 松木玖生、齋藤俊輔、谷村海那、中野就斗が初招集 [阿弥陀ヶ峰★]
- ラーメン山岡家「卓上ニンニク」大量投入が物議…“無料”でも「退店命令」「損害賠償請求」が認められる“境界線”は？ [少考さん★]
- 植松聖死刑囚「反省や贖罪は絶対ない」 「俺は英雄」「出所できたら生活保護受給者、障害者、認知症の高齢者を殺害」元妻が明かした近況 [Hitzeschleier★]
- 【内閣改造】簗和生氏を農水相に起用へ 裏金関与では初入閣 1746万円不記載 [蚤の市★]
- 【速報】トランプ大統領、米国とイランの戦争は「終結に近づいている」 [Hitzeschleier★]
- 佐藤二朗から騒動を謝罪された太田光、「やっぱり人の楽屋来るんだな」 [combatt★]
- 鈴木農水大臣クビ。政治資金問題不記載議員を起用へ [256556981]
- イケメンのちんぽ舐めたすぎて泣いてる
- 【悲報】シンママ「これ誰か払って📸」 [394133584]
- 日本人貧しくなったな…って思ったこと [943688309]
- 【悲報】昭和天皇ことヒロヒト、1400万人虐殺した独裁者として世界中でバズるwwwwwwwwwwwwwwwwwwww [802034645]
- ローソン「円安ホクホクとか嘘やん、庶民のためにローソン動きます！」300円弁当を複数販売開始 [881878332]