Mathematik: KI knackt 80 Jahre alte Vermutung mit 125-seitigem Beweis

Ein KI-Modell widerlegte die Erd?s-Planar-Unit-Distance-Vermutung – und lieferte einen 125-seitigen Beweis.

Während die künstliche Intelligenz komplexe mathematische Rätsel löst, können wir unsere eigene geistige Leistungsfähigkeit im Alltag gezielt fördern. Dieser kostenlose Ratgeber zeigt Ihnen 11 praktische Übungen, mit denen Sie Ihre Konzentration und Gedächtnisleistung nachhaltig stärken. Diese 11 Alltagsübungen halten Ihr Gehirn bis ins hohe Alter fit

Der Durchbruch gelang mit komplexer algebraischer Zahlentheorie. Neun Mathematiker, darunter Fields-Medaillen-Träger Timothy Gowers, bestätigten die Korrektheit. Das KI-Modell fand ein Punktmuster, das etwa ein Prozent dichter ist als alle bisherigen menschlichen Konstruktionen.

Tony Feng nannte den Erfolg „außerordentlich“. OpenAI-Forscher Sebastian Bubeck sprach vom ersten originellen, wissenschaftlich relevanten Ergebnis, das eine KI eigenständig erzielt habe.

Mensch und Maschine im Team

Parallel dazu bewies Antoine Y. Song vom Caltech eine Vermutung von Michel Talagrand aus dem Jahr 1995. Talagrand, 2024 mit dem Abelpreis ausgezeichnet, hielt eine Lösung lange für nahezu unmöglich.

Song nutzte ChatGPT für spezifische Teilaspekte des Beweises. Das Beispiel zeigt: KI wird zum Werkzeug in der Spitzenforschung, nicht zum Ersatz.

Die moderne Technik bietet enorme Chancen, doch viele Menschen wissen kaum, wie sie KI-Tools im täglichen Leben gewinnbringend einsetzen können. Ein neuer Gratis-Report erklärt nun die praktischsten Tricks für Einsteiger, um mit einfachen Befehlen Zeit zu sparen und den Alltag zu erleichtern. ChatGPT als Alltagshelfer: Jetzt kostenlosen Ratgeber sichern

Spezialsoftware für lokale Rechner

Das Unternehmen Axiom Math stellte am 25. Mai das Tool Axplorer vor. Entwickelt von François Charton (ehemals Meta), läuft die Software auf lokaler Hardware wie einem Mac Pro.

Im Gegensatz zu rechenintensiven Großmodellen erkennt Axplorer Muster in ungelösten mathematischen Fragen. Die DARPA-Initiative expMath fördert diesen Ansatz – effiziente Spezialanwendungen statt reiner Rechenkraft.

Nachwuchsarbeit an den Grundschulen

Während die KI forscht, lernen Kinder die Basics. In Delmenhorst traten 38 Grundschüler der Klassen zwei bis vier zur Landesrunde eines Mathematik-Wettbewerbs an. Die Knister-Grundschule holte den Schulpokal.

Die Ulrich-von-Thürheim-Grundschule in Buttenwiesen gewann mit einem Trio (Anton, Hanna, Elias) den Kreisentscheid in Schwaben. Das Finale steigt am 25. Juni in Augsburg.

Solche Wettbewerbe trainieren logisches Denken und Teamarbeit – spielerisch und effektiv.

Quizfieber in der Breite

„Wer wird Millionär?“ zeigte am 25. Mai ein Zocker-Special. Johannes Groß gewann 125.000 Euro. Maximilian Frank aus München strapazierte mit extrem langsamem Spiel Günther Jauchs Geduld – und erspielte 64.000 Euro.

Ein Lateinlehrer trat als dritter Bruder seiner Familie in der Show an. Portale wie TAG24 bieten tägliche kostenlose Quizzes an.

Die Polizei Leverkusen nutzt Quiz-Elemente sogar zur Kriminalprävention. Am 28. Mai klärt ein Markt-Quiz auf dem Opladener Wochenmarkt über Trickbetrug und Einbruchschutz auf.

Zwei Geschwindigkeiten des Denkens

Die Entwicklung zeigt eine Zweiteilung: Technologieriesen verschieben die Grenzen des Denkbaren. Gleichzeitig wächst das Angebot an niederschwelligen Denksport-Angeboten.

Der Trend zur „assistierten Intelligenz“ setzt sich durch. Es geht nicht mehr darum, ob eine Maschine etwas allein kann – sondern wie sie menschliche Problemlösung ergänzt.

Was bleibt

Die Rolle des Menschen verschiebt sich zur Fragestellung und Ergebnisprüfung. Wenn KI 80 Jahre alte Rätsel löst, werden Methodenkompetenz und logisches Grundverständnis wichtiger als reines Faktenwissen.

Wettbewerbe wie die schwäbische Mathematik-Meisterschaft Ende Juni bleiben als Einstiegshürde und Motivation zentral. Sie zeigen, wo die nächste Generation steht.

de | wissenschaft | 69422575 |