202618300

少し前まで、 AI による証明はどれも短いものだった。昨今の性能向上が推論時の探索的な処理によるなら、素朴には計算時間が証明の長さに対して指数関数で伸びる。 100 ページに達するような証明はまだまだ先の話だと思っていた。 LLM がいつも妥当な予測を超えてくるのは何なのだろうな。