.@AdamMarblestone 解釋了所有這些努力讓 AI 自動化形式數學推理的價值： 「我把它想像成每個人都必須編寫組合語言代碼的時候。創造出來的酷創業公司數量少了很多。能做到這一點的人更少。進展變得更加艱難、緩慢且孤獨。 我認為其實有很多人可以提出有趣的想法。當數學已經由電腦完成時，是否可以讓外部的弦理論學者參與？這是否會促進弦理論的更多創新？也許會。」