
Scientific American AI сообщил о возможном решении ИИ математической задачи стоимостью миллион долларов. В доступном материале не указаны название задачи, система, применявшаяся для решения, или подробности проверки результата.
このニュースの重要性は、数学者が解決の正しさを確認するかどうかにかかっている。同誌は、自身の分野における決定的な転換点の可能性を強調し、チェスでゲリ・カスパロフに対してコンピュータの Deep Blue が歴史的な勝利を収めた事例との比較を挙げている。
現時点では、この報告は完全なテキストや一次声明ではなく、一つの独立した出版物とその簡略なメタ記述に基づいている。そのため、達成の規模とその影響は依然として不明確である。
編集部コメント
なぜ重要か
もし解決策が独立した数学者によって確認されれば、次に観測される兆候は形式的な証明または手法の説明の公表となるであろう。主な不確実性は、現在のパッケージが一次確認なしに一つの出版物の簡略なメタ記述のみを含んでいる点にある。