.@AdamMarblestone erklärt den Wert all dieser Bemühungen, KI formale mathematische Argumentation automatisieren zu lassen: "Ich denke daran, wie als jeder Assembly-Code schreiben musste. Die Anzahl der coolen Startups, die gegründet wurden, war viel geringer. Weniger Menschen konnten es tun. Der Fortschritt war mühsamer, langsamer und einsamer. Ich denke, es gibt tatsächlich viele Menschen, die interessante Ideen haben könnten. Kann man Außenseiter-Stringtheoretiker haben, weil die Mathematik einfach vom Computer für sie erledigt wird? Führt das zu mehr Innovation in der Stringtheorie? Vielleicht ja."