KI löst mathematisches Problem automatisch – Formal verifiziert in Lean 4
In einer bahnbrechenden Veröffentlichung aus dem arXiv-Repository wird ein automatisiertes System vorgestellt, das mathematische Vermutungen ohne menschliche Eingriffe löst und die Ergebnisse formal prüft. Durch die Kom…