アルトマン氏、OpenAI内部モデルがトップ数学者を超越と明かす 学界に未曾有の焦燥感 — BigGo ファイナンス

力技の計算資源で難問解かれたら生身の学者が勝てるわけないし研究のあり方自体が崩壊しそうだな

明日は我が身。計算資源の割り振りが、建築分野とかにきたらあっという間に仕事無くなるだろうな。省資源のAI出てきたら、全分野でそれ起こるんだろうなぁ

常に最新モデルは秘匿され、米LLMトップ3が市場へは遅れて出してる（逆にライバルが出すとすぐ追従する）感覚あって、Google以外の2社の上場前アピールなのか、マジモンAGIなのか、両方なのか悩むところ

P≠NP が証明されれば安心とも（´－｀）

数学の難問はそれを解く過程で新しい数学が生まれそれが次の地平を切り開くようなものだったが、力技の解法はその過程がなくなることを意味する。…というデメリットすら次々世代の AI あたりで解決しそうでなぁ。

でもAIはときめく立問が出来ないのだから、人間さんにフリスビー投げてもらうの待ってるイッヌみたいなもんだよ。

数学はルールは決まってるし、机上で動かせるのでAIで相性がいい問題なんだよな。基本的に。正直なんで自分たちの分野は影響を受けないと思い込んでいたの？と言う話に見える。数学は道具でもあるんですよ。

電気代や金も無限ではないので、これスパコンAIで解いてくださいオナシャスと、データ整備や賞金用意するのが人間の仕事になるんだろう。

2026年はコンピュータが人間を越えた年と言っていいと思う。

カーツワイルの意見を聞きたく

今まで発見してきた知識の近傍にある証明は今のAIモデルに任せる事は可能だろうね。ただ今のモデルに無い新しい理論を打ち立てて活かす仕事は人とAIの共同作業になる。

囲碁でAIが人間に勝てると証明された時に、数学のあらゆる難問もAIが人間に勝てると覚悟するべきだったんだろうね。

ウェットラボではAIが研究者にすぐ取って代わるとは思わないが、AIに考えてもらって自分は手を動かす、みたいなピペド研究者が増えてきている印象。

"書簡に暗に含まれる判断「概念的理解の追求」が「問題解決」より優先されるべきだという" "同氏は、数学界にはこの2つの方向性の間にスペクトラムが存在し、両端に多くの人がいるのは「本来良いことだ」と書いた"

問題提起が人間の役割になるのかも。

解いてあるものは確度が高いならすべて公開すべきだろう。人間社会がどうするかはその後の問題

トップレベルの数学者は続けられるかも知れないけど、裾野が細くなると分野として危機だなぁ。

こんな人類にとって大事な時期にあんな大統領なのが不安でしょうがない。

“ナビエ・ストークス方程式が1,500万ドル（約24億円）の計算資源でAIに解かれたとの報道が数学界を震撼させる中、ニューヨーク大学の教授はOpenAIが7月以降、数百件の数学証明を未公開のまま温存していると暴露”

サムアルトマンは殉教者みたいなツラして全然資本主義に魂売ってるからな、タネも仕掛けもあるだろ