📁 フィールズ賞受賞者のテレンス・タオは、AIはすでに多くの数学的証明を生成できると述べています。 本当のボトルネックは検証です。 アイデアを生み出すのは安くなっています。 どれが本当に正しいかを知ることは人間の仕事です。