202622101

仮に最近の結果が LLM によるものではなく、記号処理による純粋な problem solver によるものだったら、結果の受け取り方がどれくらい変わったか気になる。

しかしまあ、理論に進む人がいなくなったりはしなそう。これはあらゆる理論系分野に押し寄せている波なので、理論に興味がある人が進路を変えて逃れられる行き先はない。 AI が勝手に面白い問題を見つけて理論を作って解決し、人間は結果を理解するだけのディストピアが訪れたとして、それでも楽しい部分は残っているわけだし。