Ein Mathematiker und ein Modell für künstliche Intelligenz arbeiteten gemeinsam an der Lösung eines mathematischen Problems, das seit 1939 offen war, also seit 87 Jahren. Die Zusammenarbeit zwischen dem menschlichen Forscher und der KI führte zu einer bedeutenden Entdeckung auf dem Gebiet der Mathematik.
Die Untersuchung konzentrierte sich auf eine berühmte mathematische Regel, die seit Jahrzehnten weitgehend akzeptiert wurde. Nach detaillierten Analysen entdeckten die Forscher, dass diese Regel, die als etablierte mathematische Wahrheit galt, Ausnahmen aufweist, die zuvor nicht identifiziert worden waren.
Die Entdeckung stellt eine wichtige Überarbeitung eines grundlegenden Konzepts in der Mathematik dar und zeigt, dass selbst als solide geltende Theorien jahrzehntelang unentdeckte Lücken enthalten können. Der Einsatz von künstlicher Intelligenz im Prozess ermöglichte es, Muster und Daten auf eine Weise zu analysieren, die die Lösung des Problems erheblich beschleunigte.
