>>57
望月新一独特の望月語で書かれ、
恩師ファルディング教授から
理解できないから説明しろ、と言われた代物だ。AIへ入力したらハルシネーションを起こしコンパイラを通過する可能性
がある。ハッキング
【AI】Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成 [すらいむ★]
71名無しのひみつ
2026/09/16(水) 17:47:13.23ID:t6a9DMExレスを投稿する
ニュース
- 【実況】ショートスリーパー堀大輔の7日間LIVE、いよいよゴール目前!★38 [爆笑ゴリラ★]
- 【速報】さらに7000万円不明 「赤い羽根」募金会明らかに 使途不明金は計2億5000万円に [おっさん友の会★]
- 「セックスしたことある?」に「いい歳をして恥ずかしくないんですか」50~60代の薄毛眼鏡の男の声かけに、女子高生が一喝 [Hitzeschleier★]
- 【実況】ショートスリーパー堀大輔の7日間LIVE 本日最終日★37 [爆笑ゴリラ★]
- ラーメンの適正価格はいくら?ラーメン評論家が感じる「違和感」 [muffin★]
- 男女平等、日本は145カ国中117位 高市首相誕生で1つ上昇、G7では最下位「ジェンダーギャップ報告書」 [七波羅探題★]
- 【実況】博衣こよりのえちえちホロ甲2026_2年目夏🧪
- 【急募】「うつ病」を爆速で治す方法 [589647274]
- アジア開発銀行総裁の神田元財務官「もう誰も日本を超大国とは思っていない」 [668024367]
- ( ・᷄ὢ・᷅ )うっうっうっわっわっうわーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
- 【HanaE.sys】-心のセーフモード- でスレッド作成を実行しました
- 【HanaE.sys】-心のセーフモード- でスレッド作成を実行しました