ラマヌジャンが「驚くべき証明方法を発見したが、残念ながら余白が無い」と書いていたら事実と思われたのに
フェルマーだから嘘だと思われている
【AI】Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成 [すらいむ★]
33名無しのひみつ
2026/09/12(土) 13:59:30.17ID:a9Y8afNiレスを投稿する
ニュース
- 広島・菊池涼介が同僚選手に「ライターで炙ったフォークを押し当てた」加害証言 [Anonymous★]
- 【実況】ショートスリーパー堀大輔の7日間LIVE 本日最終日★37 [爆笑ゴリラ★]
- 牛肉に手が出なかった女性、消費税１％なら「控えていた外食に」…１万５０００品目の値札を貼り替えるスーパー「従業員は疲弊」★2 [ぐれ★]
- 「遊び感覚でまいたら大事に」高2男子を傷害の疑いで逮捕 教室で催涙スプレーまかれ24人が“のどの痛み”など [Hitzeschleier★]
- 「就職氷河期世代向け国家公務員試験」今年度の申込者数は5116人 来年度以降にチャレンジする人が今すべきこと [煮卵★]
- 都立高の教諭が生徒3人と窃盗未遂疑いで逮捕「おりんは高く売れる…」などと助言か「肝試し的な感覚だった」と供述 ★2 [ポンコツ★]
- 宮追博之さん覚醍剤を所持wwwwwwwwwwwwwwwwwwwww
- 【動画】堀大輔さん死にそう スマホとアイコスを間違えるｗｗｗｗｗｗｗｗ [977790669]
- 【高市悲報】とんこれ石戸「左は頭がいいけど性格悪い、右は頭悪いけど性格いい😤性格いい方と仕事したいですよね」 [359965264]
- 高市早苗ブレーン「失われた30年は世界でも稀に見る大失敗。よほど基本的な経済政策を間違えなければ起きない」 [819729701]
- リカバリーウェアってあるじゃん？
- 【高市朗報】日本の飲食業界、多すぎた...潰れた方がよくね？の声上がる [237216734]