.@AdamMarblestone、AIが形式的数学推論を自動化するこれらの努力の価値を説明しています。 「みんながアセンブリコードを書かなければならなかった頃のように思います。素晴らしいスタートアップが生まれたのはずっと少なかったです。できる人は少なかった。進行はより地道で、遅く、孤独でした。 実際、面白いアイデアを持つ人はたくさんいると思います。外部の弦理論の研究者を、計算がコンピューターによって代わりに行うだけだからといって、誰も考えることはできるのでしょうか?それは弦理論のさらなる革新につながるのでしょうか?たぶんそうかもしれない。」