Gemini löst Erdős-Probleme: Semi-autonome Mathematik-Entdeckung im Test

In einer wegweisenden Fallstudie demonstriert das KI-System Gemini, wie halbautonome Mathematik-Entdeckungen in großem Umfang durchgeführt werden können. Dabei wurden 700 offene Vermutungen aus der Bloom-Datenbank zu Erdős-Problemen systematisch analysiert.

Die Methode kombiniert KI-gestützte Sprachverifikation, um den Suchraum zu verkleinern, mit anschließender Bewertung durch menschliche Experten. Auf diese Weise konnten 13 bislang als offen gekennzeichnete Probleme untersucht werden.

Fünf der Probleme wurden durch scheinbar neue, autonome Lösungen gelöst, während bei acht Fällen bereits existierende Literatur identifiziert wurde, die die Lösungen enthielt. Die Ergebnisse deuten darauf hin, dass der offene Status vieler Probleme eher auf mangelnde Sichtbarkeit als auf tatsächliche Schwierigkeit zurückzuführen ist.

Die Studie beleuchtet auch die Herausforderungen beim Einsatz von KI für mathematische Vermutungen in großem Maßstab. Dazu gehören die Identifikation relevanter Literatur und das Risiko von „unterbewusster Plagiatierung“ durch KI-Modelle.

Abschließend werden wichtige Erkenntnisse für zukünftige KI-gestützte Forschungsansätze im Bereich der Mathematik zusammengefasst, die sowohl die Potenziale als auch die Grenzen solcher Technologien aufzeigen.