数学者たちはOpenAIに愛想を尽かした——信頼崩壊の全記録
Why Math Dumped OpenAI
数学界はAIを拒むどころか、いち早く受け入れてきた。Terence TaoはLean proverとChatGPTを組み合わせ、形式化を大規模に推進した。ところがOpenAIは巨額の資金と誇大な宣伝で現場を軽んじ、労働者を切り捨てるキャンペーンを展開。2026年には25人のフィールズ賞受賞者が警告を発し、Association for Human Mathematicsが声明を出すまでに至った経緯を、著者が時系列で追う。
LLMが好きだ。Large Language ModelsとしてのLLMは。だがLiar’s Layoff MachineとしてのLLMは好きではない。
HNでの議論
11- liendolucas
素晴らしい投稿だ。数日前、この投稿の主旨（理解すること）を人々に伝えて、自分が理解していないコードを書くのをやめるべきだと納得させようとして、見事に失敗したことを認めざるを得ない。
これをやるのは極めて難しいと感じた。特に、ソースコードにまったく触れたことのない人々を説得しようとする場合はなおさらだ。今やAIがあれば、這い方すら知らなくてもどんな話題でも走れるという誤った信念がある。
人々は、今やアプリを一晩で作れるからといって、何も理解する必要はないという誤った信念に浸っている。そして、それで全く構わないと思っている。これが私にとっては核心的な問題だ。理解せずにどんな話題でも平気でいること、そしてその代償に気づかないことだ。
せめて人々が、有害な決断をする前に深く情報を得て、インチキなマーケティングに誘惑されるだけにならなければいいのだが。
結局のところ、これらの企業が生み出す数学はすべて彼らの破滅につながると思う。なぜなら、それは根本的な問題に光を当てているからだ。前進するには理解が必要なのだ。
- usrnm
「私の世界は変わりつつあり、私はそれが気に入らない」
OpenAIは本当はこの状況全体をもっとうまく扱えたはずだし、その点を指摘するのは全く問題ない。しかし、この記事はそういう話ではなく、ただのまた別のAIへの愚痴に過ぎない。
- glimshe
最初の数段落で読むのをやめた。十代の若者が書いたように読めるからだ。
考えてみてほしい。もしOpenAIがその証明の投下をしていなかったら、数ヶ月のうちに誰かがやっていただろう。独立した研究者かもしれないし、証明の数はずっと少ないかもしれないが、それでも数学界に衝撃を与えていただろう。
鍵となる問題は、企業ではなく技術が、これまで見たことのない形で数学者たちの力を奪ったということだ。