KI in der Mathematik eröffnet ein neues goldenes Zeitalter der wissenschaftlichen Entdeckung
Generative KI-Modelle haben dabei geholfen, eine berühmte geometrische Graphenhypothese von Paul Erdős zu lösen, die Mathematiker 80 Jahre lang beschäftigt hatte. Maschinelles Lernen wird nun genutzt, um Millionen von logischen Ketten zu generieren und zu überprüfen, gepaart mit interaktiven Theorembeweisern wie Lean, um Halluzinationen zu vermeiden. Dies markiert einen Wandel, bei dem KI den menschlichen Einfallsreichtum in der Mathematik erweitert, anstatt ihn zu ersetzen.
Der ungarische Mathematiker Paul Erdős hinterließ Hunderte ungelöste Probleme mit Geldpreisen, darunter die Hypothese der Einheitsabstände in der geometrischen Graphentheorie. Diese Hypothese fragt im Wesentlichen nach der maximalen Anzahl gleich langer Verbindungen zwischen einer Punktmenge – ein Rätsel, das der menschlichen Intuition fast 80 Jahre lang trotzte. Ein generativer Algorithmus entdeckte nicht-triviale räumliche Strukturen, die Menschen übersehen hatten, und löste das Problem damit teilweise. Heute übernimmt die KI die mühsame Arbeit, Millionen von Kombinationen aufzuzählen und versteckte Muster zu erkennen, während interaktive Theorembeweiser wie Lean oder Coq jeden Schritt verifizieren und Halluzinationen eliminieren. Trotz dieser Erfolge bleiben fundamentale Probleme wie die Riemannsche Hypothese oder die Navier-Stokes-Gleichungen ungelöst, da sie eine neue konzeptionelle Sprache erfordern. Für die russischsprachige wissenschaftliche Gemeinschaft nutzt dieser rechnerische Wandel eine starke mathematische Tradition, mit Anwendungen von der Optimierung neuronaler Netzwerke bis hin zu quantenresistenter Kryptographie. Die KI fungiert als digitales Exoskelett für das menschliche Gehirn, befreit Forscher von Routineaufgaben und ermöglicht es ihnen, sich auf strategische Ziele und konzeptionelle Visionen zu konzentrieren.
Quelle: Habr — хаб ИИ —
Original