Wie beurteilt man die Fähigkeiten künstlicher Intelligenz, komplexe mathematische Probleme zu lösen? Eine Gruppe von 49 Mathematikern hat jetzt einen Fragenkatalog entwickelt, eine Liste von 100 mathematischen Problemen auf Forschungsniveau, mit denen man künstliche Intelligenzen testen kann, um künftige Entwicklungen zu bewerten. Über den aktuellen Stand liest man auf https://www.mis.mpg.de/de/news/benchmarks-in-leipzig: Nachdem in der ersten Phase…

Wenn man n Punkte in der Ebene hat, dann können die Abstände der n(n-1)/2 Punktepaare untereinander natürlich nicht alle dieselbe Zahl sein und es stellt sich die Frage, wieviele unterschiedliche Zahlen es unter diesen Abständen mindestens geben muss. Pal Erdös vermutete 1946, dass die minimale Anzahl für gewisse quadratische Gitter erreicht wird und bekam dementsprechend…

Eine Gruppe von Mathematikern hat mit Unterstützung der International Mathematical Union eine Deklaration zum Umgang mit potentiell durch den Einsatz von KI entstehenden Problemen in der mathematischen Forschung verfasst: Leiden Declaration on Artificial Intelligence and Mathematics. Es geht vor allem um Fragen der Attribuierung, Transparenz und Bewertung mathematischer Forschung. Gefordert wird, dass Forscher die Verwendung…