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.

