ソフトウェア

AIが「フェルマーの最終定理」を11日で証明形式化──数学の新時代へ

米AI企業アンソロピックは、同社のAI「Claude（クロード）」が数学の難問「フェルマーの最終定理」の証明を、コンピューターで検証可能な形式に11日間でまとめ上げたと発表しました。AIが最先端の数学に踏み込む時代の到来を告げる成果です。1...

テクノロジー

IBM決算、売上172億ドルで予想届かず──メインフレーム42%減が重荷

米IBMが7月22日に発表した2026年4〜6月期決算は、売上高が172億ドル（約2兆6800億円）と市場予想を下回りました。高収益のソフトウェア事業は伸びたものの、基幹のインフラ事業やメインフレーム（大型汎用コンピューター）の不振が全体の...

テクノロジー