>>74
現場猫理屈？やん
役立つから真理でヨシ！ｗ
【AI】Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成 [すらいむ★]
76名無しのひみつ
2026/09/17(木) 13:32:27.38ID:9NdcxEuNレスを投稿する
ニュース
- 【次のパンデミックでワクチンを打ちますか？】日本人2万人以上を調査 「必ず・おそらく接種する」53.1％ [煮卵★]
- 【速報中】細野豪志氏が復興相として入閣、林芳正氏は閣外へ [蚤の市★]
- 「品川庄司」の庄司智春、救急搬送されていた！ 原因不明の腹痛「手足がしびれて」呼吸も困難「もうだめだ」自宅で倒れる [阿弥陀ヶ峰★]
- ラーメン山岡家「卓上ニンニク」大量投入が物議…“無料”でも「退店命令」「損害賠償請求」が認められる“境界線”は？ [少考さん★]
- 【サッカー】森保J、W杯明け国内4試合 代表メンバー31人発表! 松木玖生、齋藤俊輔、谷村海那、中野就斗が初招集 [阿弥陀ヶ峰★]
- 【内閣改造】簗和生氏を農水相に起用へ 裏金関与では初入閣 1746万円不記載 [蚤の市★]
- 【速報】 人気声優・豊田萌絵さんとジャニーズ河合郁人、4年半の熱愛スクープwwwwwwwwwwwwwwwwwwwww [839150984]
- 【朗報】小野田紀美留任【悲報】青山繁晴入閣せず [856113761]
- ネトウヨ「喫茶店なのにタバコを吸わせないのはおかしいだろうが！それじゃ喫茶店じゃなくて茶店だ！！」 これ。 [592058334]
- なんG民なら都営新宿線の菊川駅に住んでるよな？
- 【悲報】とうとう戦時中みたいになる [431136663]
- ネトウヨ、駅弁を車内で食べずに持ち帰って食べるものだと思っていた [709039863]