これを検証するのも大変そうだ
AIにやらすか？
【AI】Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成 [すらいむ★]
2026/09/11(金) 22:56:46.32ID:9udiiEno
レスを投稿する
ニュース
- 都立高の教諭が生徒2人と窃盗未遂疑いで逮捕「おりんは高く売れる…」などと助言か「肝試し的な感覚だった」と供述 [ポンコツ★]
- 【実況】ショートスリーパー堀大輔の7日間LIVE 本日最終日★35 [爆笑ゴリラ★]
- 「洗濯物を回収するため」ベランダで全裸、公然わいせつ容疑で男逮捕 歩行中の女性が目撃 兵庫 ★2 [少考さん★]
- 《ラストコール出演超有名キャバ嬢・ヤマトリノ 逮捕》「店の出入り口に監視カメラ」月売2.3億円のカリスマを追い詰めた本気捜査網 [少考さん★]
- 「ゼロ打ちで勝つ準備をしていたのに」 スター戦術押し切れず デニー(氏)人気の衰退に気付くも時遅し (沖縄タイムス) [少考さん★]
- 運航団体「誠実に事実と向き合う」 辺野古転覆から半年、謝罪声明 [少考さん★]
- 【訃報】19歳の四国電力社員、パワハラ被害で飛び降り自殺、遺書には「俺を生んでくれてありがとう」 [339035499]
- 客「おまんじゅう5個のを5個」、店「5個入りのお饅頭を5つ、25個ですね」、客「5個のを2つだよ💢」 [256556981]
- Xまんさん「本物のちんこ見たことなかったのに堀大輔にはじめて奪われて鬱」12.4万いいね [268244553]
- iOS 27、システム領域だけで85GBも消費、iPhone 128GBモデルは実質43GBモデルに😰 [422186189]
- 「謝罪」👈これが出来なくなった理由 [943688309]
- おまえらシャインマスカット食べないの？