壁はありません Math Inc. の自動形式化エージェント Gauss は、「強素数定理」プロジェクトをわずか 3 週間で完了しましたが、これは Terence Tao と Alex Kontorovich でさえ 18 か月以上取り組んでいて、行き詰まっていたタスクです。 「私たちは、誰でも人工数学者を研究に呼び込める黄金時代に突入しています。検証された数学が AI の訓練の場になるにつれて、私たちは人間の限界を超越する機械普遍主義者、つまりデジタル時代のフォン ノイマンを生み出しています。」