Eine von OpenAI entwickelte künstliche Intelligenz hat eine 80 Jahre alte Vermutung im berühmten „planar unit distance“-Problem widerlegt, für dessen Lösung der Mathematiker Paul Erdős sogar ein Preisgeld auslobte. Bisher ging man davon aus, dass ein Quadratgitter die optimale Anordnung zur Maximierung von Punktpaaren mit gleichem Abstand sei. Die KI nutzte jedoch Ansätze aus der algebraischen Zahlentheorie, um zu zeigen, dass es Anordnungsmöglichkeiten mit einer noch größeren Anzahl gleicher Abstände gibt. Mehrere Mathematiker haben diesen Beweis, der auf bereits bestehenden mathematischen Ideen aufbaut, geprüft und als korrekt befunden. Diese Entwicklung eröffnet neue Möglichkeiten für den Einsatz von KI in der mathematischen Forschung.