1300万行も必要なのね
絶対、フェルマーは勘違いしてたなｗ
【AI】Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成 [すらいむ★]
39名無しのひみつ
2026/09/13(日) 00:14:05.44ID:eSv6Pz8kレスを投稿する
ニュース
- 都立高の教諭が生徒2人と窃盗未遂疑いで逮捕「おりんは高く売れる…」などと助言か「肝試し的な感覚だった」と供述 [ポンコツ★]
- 【実況】ショートスリーパー堀大輔の7日間LIVE 本日最終日★36 [爆笑ゴリラ★]
- 「ゼロ打ちで勝つ準備をしていたのに」 スター戦術押し切れず デニー(氏)人気の衰退に気付くも時遅し (沖縄タイムス) [少考さん★]
- 【文春】TBSがひた隠すVIVANT・福澤克雄監督（62）の“骨折パワハラ”《全治1カ月も激アマ処分》 [Ailuropoda melanoleuca★]
- ミャンマー人が《円安ニッポンの介護》を選ぶ深い理由…ベトナム人が「日本離れ」する裏で約2倍に急増、送金額は3倍に [煮卵★]
- 《ラストコール出演超有名キャバ嬢・ヤマトリノ 逮捕》「店の出入り口に監視カメラ」月売2.3億円のカリスマを追い詰めた本気捜査網 [少考さん★]
- 【訃報】19歳の四国電力社員、パワハラ被害で飛び降り自殺、遺書には「俺を生んでくれてありがとう」 [339035499]
- 日本人とバングラデシュ人が1stアルバムリリース決定 [377482965]
- 客「おまんじゅう5個のを5個」、店「5個入りのお饅頭を5つ、25個ですね」、客「5個のを2つだよ💢」 [256556981]
- 【正論】レジェンドマンガ家「編集にみせて、なんか言われたから訂正して、それで売れなかったら責任って取ってくれんの？」 [591180291]
- 【朗報】長時間配信を終えた、堀大輔さんがやりそうなことwwwwwwwwwwwwwwwwwwwww
- これをやったらCQCが劇的に上がったっての教えろ [119158863]