OpenAI の 722 の数学論文は勝利ではなく警鐘である

OpenAI が 1 日に 722 本の AI によって書かれた数学論文を発表するという見出しは、人々を歓喜させるかパニックにさせるかのどちらかですが、どちらの反応も的外れです。

便利な部分: 多くの校正刷りには、コンピューターで 1 行ずつチェックできるリーン バージョンが付属しています。それは本当であり、委員会なしで検証できる数学への一歩です。

不快な部分: 結果ではなくプロセスに反対した数学者によって、この巻自体が「スロポカリプス」と呼ばれました。どれもミレニアム賞の問題を解決するものではなかった。

残りの私たちへの教訓: AI は、私たちがチェックするよりも早く、専門家レベルの仕事を生み出すことができるようになりました。ボトルネックは世代ではありませんでした。それは検証であり、今でも検証されています。

能力を称賛しますが、チェックを構築します。何が生成されるかを検証できない世界は、自信を持ってナンセンスを大規模に出荷する世界と同じです。