On the mechanical creation of mathematical concepts
Der Artikel stellt ein Modell mathematischen Problemlösens als Glaubensaktualisierung vor, das zwischen impliziten Konzepten zur Optimierung bestehender Suchräume und expliziten Konzepten als neuartigen, für die mathematische Entdeckung essenziellen Werkzeugen unterscheidet, und argumentiert, dass aktuelle KI-Systeme zwar erstere beherrschen, aber noch nicht in der Lage sind, letztere zu schaffen.