.@AdamMarblestone 解释了所有这些努力让 AI 自动化形式数学推理的价值： “我觉得这就像每个人都必须编写汇编代码时。创造的酷创业公司数量要少得多。能做到的人更少。进展更加艰难、缓慢且孤独。 我认为实际上有很多人可以提出有趣的想法。你能让外部的弦理论学家因为数学是由计算机为他们完成的吗？这会导致弦理论中的更多创新吗？也许会。”