Math Inc. hat Gauss vorgestellt, ein KI-System, das in nur drei Wochen die komplexe mathematische Theorem "Strong Prime Number Theorem" gelöst hat – nachdem führende Mathematiker 18 Monate lang daran scheiterten.
Im Detail:
Gauss hat die Herausforderung zur Formalisierung des Strong Prime Number Theorem, die 2024 von den renommierten Mathematikern Terence Tao und Alex Kontorovich gestellt wurde, erfolgreich gemeistert.
Menschen machten nur „mittlere Fortschritte“ bei der Herausforderung, wobei die Gemeinschaft im Juli eine mittelschwere Version nach 18 Monaten abschloss.
Gauss arbeitete autonom über Stunden hinweg und produzierte 25.000 Zeilen verifizierten mathematischen Codes, der über 1.000 miteinander verknüpfte Beweise und Definitionen enthält.
Math Inc. plant, den mathematischen Code innerhalb von 12 Monaten um das 100- bis 1000-fache zu erweitern, um Trainingsdaten für „maschinelle Polymathen“ und „verifizierte Superintelligenz“ zu schaffen.
Warum es wichtig ist:
Komplexe Mathematik ist eine Grundlage des Denkens, und die zunehmende Meisterschaft der KI ist eines der größten Zeichen für Systeme, die neue Ideen schaffen und unser Verständnis der Welt erweitern können. Angesichts von Gauss und den Erfolgen bei Mathematik-Olympiaden von Google, OpenAI und anderen beschleunigt sich dieser Prozess rasant.
Quelle:
Math Inc.