Leiden Declaration on Artificial Intelligence and Mathematics

Der zunehmende Einsatz von AI in der Mathematik und der Einfluß dieser Technologie auf die Mathematik hat die Community auf den Plan gerufen: “This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research” und findet Unterstützung der IMU. Die in der Deklaration formulierten Gedanken sind in Gänze lesenswert und auch für die Informatik als Grundlagenwissenschaft relevant. (Für die praktische Informatik ergeben sich noch ganz andere Herausforderungen, über die ich an anderer Stelle schreiben werde.)