>>30も言ってるけど無限降下法の適用限界を見誤ったと思われる
まあ、「あ、やべ ミスったわ」と思ったら、書き込みに足しとけと言いたいが
【AI】Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成 [すらいむ★]
51名無しのひみつ
2026/09/13(日) 17:36:11.90ID:ozUEJwINレスを投稿する
ニュース
- OpenAI アルトマンCEO「個人のPCに大量のRAMを搭載するのは問題」と発言。ローカルAIより「クラウドで24時間活用すべき」と語る [少考さん★]
- 5年ぶりの土日ハロウィーン、渋谷駅周辺は仮装した人でごった返す…「DJポリス」配置 [蚤の市★]
- 【六本木高校・女子生徒殺人未遂事件】「ずっと2人でいた」仲良しの2人が口論か 仲直りできなかったら相手を殺して自分も死のうと… [ぐれ★]
- 小学生の絵に「妙に整っていてAIくさい」 中傷相次ぎしょうゆポスターコンクール公開中止 [muffin★]
- 高額飛び交う“投げ銭バトル”累計4億円投じた人、女性配信者にガチ恋する人 なぜ画面越しの相手に大金を投じるのか [ぐれ★]
- 【野球】多田野数人「人って本当に、攻撃するときはリンチみたいに一方的に攻撃してくるんですよね。私はそれを経験した」 [Anonymous★]
- 🏡💩🤥HappyGeriweek🤥💩🏡
- 【実況】博衣こよりのえちえち重大告知KoZMy晩酌🧪⚒☃★3
- いつになったら「物価安」になるの？
- ドラクエ11ってベロニカとマルチナに人気が偏りすぎじゃね？
- 麻生太郎「この1年、日本は間違いなく明るくなったと感じる」 [931948549]
- 【高市やりィのやりまくり】ごめんごめん、ハロウィンなのになんで「セックス」してないんだ？ [158478931]