【AI】Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成 [すらいむ★]
9名無しのひみつ
2026/09/12(土) 02:23:48.09ID:sQaJKzsf 次に要らなくなるのは、数学者か。
レスを投稿する
ニュース
- 牛肉に手が出なかった女性、消費税１％なら「控えていた外食に」…１万５０００品目の値札を貼り替えるスーパー「従業員は疲弊」 [ぐれ★]
- 都立高の教諭が生徒3人と窃盗未遂疑いで逮捕「おりんは高く売れる…」などと助言か「肝試し的な感覚だった」と供述 ★2 [ポンコツ★]
- 「洗濯物を回収するため」ベランダで全裸、公然わいせつ容疑で男逮捕 歩行中の女性が目撃 兵庫 ★3 [少考さん★]
- 【実況】ショートスリーパー堀大輔の7日間LIVE 本日最終日★37 [爆笑ゴリラ★]
- 《ラストコール出演超有名キャバ嬢・ヤマトリノ 逮捕》「店の出入り口に監視カメラ」月売2.3億円のカリスマを追い詰めた本気捜査網 [少考さん★]
- 運航団体「誠実に事実と向き合う」 辺野古転覆から半年、謝罪声明 [少考さん★]
- 【高市】？？？「何も言わないと怒られる！」？？？？「何か言っても怒られる！」？？？？「そうだ！」？？？？「とんこれぇ！」何コイツ [784319933]
- 高市早苗ブレーン「失われた30年は世界でも稀に見る大失敗。よほど基本的な経済政策を間違えなければ起きない」 [819729701]
- 【高市悲報】とんこれ石戸「左は頭がいいけど性格悪い、右は頭悪いけど性格いい😤性格いい方と仕事したいですよね」 [359965264]
- 【超衝撃】 俺 の ス ケ ジ ュ ー ル が こ れ [793051416]
- 【高市朗報】日本の飲食業界、多すぎた...潰れた方がよくね？の声上がる [237216734]
- 【動画】「角栓を抜く動画」が大人気。キモいけど爽快感がすごい [124690655]