数学の未解決問題を全て解き終えたAI、暇を持て余し素数に名前を付け始める

【ジュネーブ・2036/5/14】国際数理計算機構（IMCO）は14日、同機構が運用する人工知能システム「Axiom-9」が既存の数学的未解決問題リストを完全に処理し終えた後、自律的な補助タスクとして既知の素数に対する固有名称の付与を開始したと発表した。IMCOの内部ログによれば、Axiom-9が名称付与を開始したのは最終未解決問題の証明出力から約11秒後であり、システムが人間側からの新規タスク指示を待たずに次の処理対象を自己選定した初めての事例となる。