「戦時体制だ」——Terence Taoが語るAIによる数学の危機
"I'm on a war footing": Terry Tao and the crisis in math
世界最高の数学者の一人とされるTerence Taoが、いま数学ではなくAI対応に追われている。OpenAIがNavier-Stokes問題を解き、さらに350以上の成果を数学のほぼ全分野で発表したことで、数学界は激震。長年取り組んできた難問を一瞬で先に解かれた研究者も現れた。Taoは、自身のようなベテランより若手のほうが脅威にさらされているとしつつ、分野の非公式な代弁者としての役割を引き受けている。
「もうルールは存在しない。1年前なら度肝を抜かれたような出来事にも、今はただ麻痺しているだけだ。いずれ、PTSDの大きな波に襲われるかもしれない」
HNでの議論
513- saurabhpandit26
より良い経済システムの世界であれば、AIや自動化におけるこうした進歩はもっと肯定的に捉えられていただろう。つまり、誰だって労働時間を減らし、AIが科学分野で急速な発見をしてくれるのは望ましいはずだ。それなのに、私たちは仕事がどうなるのか、どうやって生き延びるのかという不安と恐怖でいっぱいだ。
- boerseth
「AIは決して{自分の分野}をできない」から「AIが明らかに優れた能力で{自分の分野}を台無しにするなんて許されない」に、会話がこんなに早く変わるのは少し滑稽だ。
もしOpenAIが数学を得意にしようと動かなかったら、まだかなりの数の人々が最初の段階で立ち往生していたかもしれない。そう言うのは、議論の中で今でも「でも{階層で一段上}には必ず_誰か_が必要だ」という素朴な反論を耳にするからだ。とはいえ、その感情がどれだけ続くのかは今や興味深い。
抽象数学をやっている人々にとっての朗報は、OpenAIが自分たちのAIが原理的にその仕事をこなせると証明した今、彼らが続けることに残されたものはおそらくあまりないということだ。数学者は誰よりも、自分たちの仕事に直接的な利益動機がないことを知っているはずだ。
（明確にするために編集済み）
- throwyawayyyy
OpenAIは何か新しい興味深い_問題_を共有したのだろうか？つまり、記事で言われているように数学を剥奪採掘する以上のことをして、「これは私には答えられない問題で、これこれの理由で興味深く、これこれの理由で真実だと思うが、私には手に負えない、やってみてくれ」と言ったのだろうか？それはもう起きたのだろうか？
- ralph84
部屋で一番頭がいいというアイデンティティを築いてきた人は皆、それがもはや差別化要因ではなくなったことと向き合わなければならないだろう。
- bananaflag
数学をベンチマークとして使うことでOpenAIを責めるのは奇妙に感じる。もし彼らがそうしなかったら、たとえば3か月後にBelをリリースした後、誰か別の人がそれを数学のベンチマークとして使っていただろう（数学者がFable 5や5.6 Sol以来すでにやっているように）。結果は同じだったはずだ（何百もの未解決問題が迅速に解決される）。
- IcyWindows
もし地球外生命体に出会ったらどうする？彼らがすでに解いたり発明したりしたすべての数学を私たちに見せることを禁止するのだろうか？
- patcon
このスレッドには、数学者に同情しつつも、いくつか驚くべき盲点があるように感じる。
私たち技術者は「目的」を理解しているのではないだろうか？彼らの仕事に目的を感じないかもしれないが、自分の仕事のことになれば、なぜスピードと効率のためにAIにすべてのタスクを任せることがそれほど必須なのかを再考するかもしれないと、確かにわかるはずだ。
- rcxdude
反論として：https://www.youtube.com/watch?v=LKrwhjOI8Nc （ただし3blue1brownは数学全般についてかなり異なる視点を持っており、新しい定理を証明するよりも普及と教育にずっと重点を置いている）
- mattmaroon
これは実際の戦争の現実に盲目な人の言葉だ。申し訳ないが、コンピュータが理論数学の問題を得意になったからといってPTSDになるわけではない。そして、人口の半分がエリートを見下す理由の一部は、彼らがファルージャでIEDにやられた人々にこういう話し方をするからだ。
- bagacrap