【AI】Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成 [すらいむ★]
77名無しのひみつ
2026/09/18(金) 13:19:44.04ID:P/n5B+0t AIに唱える呪文で魔法を使えるようになるんやな
78名無しのひみつ
2026/09/18(金) 17:41:14.76ID:68zLJhxT 現在の数学体系では決して証明出来ないことが証明できるような「具体的に記述された命題」を幾つか示してみて、と依頼してみよう。
レスを投稿する
ニュース
- 副大臣に今井絵理子氏ら 政務官に生稲晃子氏、森下千里氏ら 第2次高市改造内閣 官房長官が名簿を発表【全員掲載】 [煮卵★]
- 中尾ミエ、SNSをしない理由激白「わざわざ自分のプライベートを公開して、嫌なことを言われたとかさ」「やらなきゃいいじゃん」 [muffin★]
- 「利上げしなければ外交問題」政府漏らす本音 米国が埋めた外堀 [蚤の市★]
- 志らく、森本レオさん巡る紀藤弁護士の指摘に猛反論「人の心がないのか」「人の死を悼む。人間として当たり前。擁護でもなんでもない」 [Anonymous★]
- 漫画家・桂正和、衝撃の「お尻」画集発売へ えなこ、伊瀬茉莉也、伊織もえ…「実在するモデルを題材に描いた作品も多数」 [muffin★]
- 日銀、1.25%への利上げ決定 2人が反対票 ★2 [少考さん★]
- 第2次高市改造内閣、副大臣に今井絵理子、政務官に生稲晃子、森下千里… [245325974]
- 【悲報】しぐれういさん、ｇｏｏｇｌｅから制限をかけられる・・・😨 [398059782]
- 高市早苗、ヒトラーとスターリンが融合した奇妙な🦎になる「政治しなくても広報費350億円のプロパガンダでだけで支持率よ！」 [784319933]
- んなビーーーー( > o・🍬)👉ーーーーム🏰
- 【悲報】(ヽﾟんﾟ)「地方で家建ててるけど120平米の二階建てで3000万円！」家の相場を知らないと大炎上wwwwwwwwwwww [257926174]
- 30過ぎて普通自動車免許持ってないやつなんかこの世にいるの？