OpenAIのAIが数学の未解決問題を100問以上解決、数学者による独立助言グループが発足
Advisory Group on Mathematics and Artificial Intelligence
OpenAIは8月28日から新しい内部モデルの訓練を開始し、Navier–Stokes Millennium Prize問題を含む100以上の長年の未解決問題を解決した。この急速な進展を受け、数学者たちが独立した助言グループを設立。OpenAIはこのグループと協力し、成果の評価や公表、数学研究の基準について助言を受ける。グループはOpenAIから独立して運営され、報酬を受けず、独自の判断で助言を行う。
その価値は、メンバーが自らの判断を下し、我々の判断に異議を唱えることができるかどうかにかかっている。
HNでの議論
67- 6gvONxR4sf7o
> このグループはOpenAIから独立して運営される。このグループは、我々が求めていない助言を提供し、数学に対するOpenAIの影響についてコメントし、その助言を公開する自由を持つ。
そんなの空々しい。私も彼らから独立して運営されているし、彼らが求めていないことを伝え、彼らの影響についてコメントし、それを公に行う自由がある。でも私にはOpenAIに対する影響力なんて何もない。もしこれが実際に何かに影響を与える方法を説明しようとしているなら、彼らはひどい仕事をしている。
- kingstnap
この発表には3つの大きなポイントがあるようだ。
> Navier–Stokes Millennium Prize問題を解決したことに加えて、このモデルは今や数学のほとんどの分野にわたる100以上の長年の未解決問題を解決した。
Hodge予想の解決策を握っているという噂があった。これがそのうちの一つなのか気になる。
> このグループは、新たな結果のレビューとコミュニケーションについて助言する。
何百もの結果があり、夏の初めから指数関数的な垂直上昇が見られるようだ（Astraからの10の主要な結果、今や何百も...）とすると、そのようなグループが結果をどのように普及させるかを正確に決めるのか疑問だ。すぐにボトルネックになるのだろうか。つまり、彼らのサイトをチェックしたが、意見を求めるGoogleフォームのようだ。
> 重要なことに、このグループは数学における我々の内部進捗のペース配分について助言する責任を負わない。
刺激的だ。私にとって超知能のベンチマークはP vs NPだ。これは本当に難しく、骨の髄まで感じる。
関連するメモとして、最近YouTubeで数学者のパネルがAIについて議論しているのを見た。具体的にはhlf26のものだ。[0]。また、Terrence Taoの最近のSAIRに関するものも見た[1]。他にもTom RocksやMartin Hairerのものなどいくつか見た[2]。明らかなのは、これが数学の未来にとって何を意味するのか誰も答えを持っていないことだ。彼らは皆、数年後に誰が何をするのかについて曖昧なことを言っている。
[0] https://youtu.be/H7_d_sgui6o
- Certhas
数学はAI企業内で十分な文化的資本を持っているので、この「諮問委員会」を持てるのだ。
他の誰もそれは得られない。労働への深刻な影響が現実のものとなったとき、労働者は諮問委員会など得られない。ただ解雇され、企業はそれを効率化の勝利として祝うだろう。
そろそろ規制/課税について非常に現実的になる時だ。トークン/コンピュートの売上税をUBIとして再分配するのはどうか？
- mwkaufma
「諮問グループ」
重要なことに、このグループは数学における我々の内部進捗のペース配分について助言する責任を負わない。
- anothermathbozo
> 数学における内部進捗
これだけでも恐ろしい新しいパラダイムに感じる