米アンソロピックは、最新AIモデル「Claude Fable 5.2」を搭載した1000体のAIエージェントが、フェルマーの最終定理の証明を28.7時間で形式化したと発表した。 本成果は、複数のAIが汎 Apache HTTP Serverの開発プロジェクトは11月11日、Webサーバの最新版2.4.71を公開した。 mod_http2のリモートコード実行(RCE)につながる脆弱性(CVE-2026-1
大相撲九州場所6日目(13日、福岡国際センター)で、東前頭7枚目の若元春(福島市出身)は西前頭8枚目の錦富士を寄り倒して5勝1敗。 西十両5枚目の若隆景(同)は西十両7枚目の日翔志を突き落として6連勝。