Terence Tao、AIがついに数学にもたらす分業を予測
terence taoは、AIが数学研究に分業をもたらし、大規模チームと自動検証による『産業数学』を可能にすると提唱している。
テレンス・タオは、AIと形式検証が純粋数学をどのように変革するかについて概説し、これまでこの分野では不可能だった労働の分業を導入する。歴史的に、数学者たちは単独で研究の全工程を管理してきたが、タオは、大規模なチームがAIを活用して広範囲だが浅い研究を行う「工業数学」への移行を構想している。彼は、AIの有用性は、検証の厳格性に直接依存して、テストされていないアイデアが氾濫するのを防ぐ必要があると警告している。このモデルは、人間が「ひらめきのある推測」をする一方で、AIが数十億のデータポイントを処理するように位置づけている。