数学

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