StartseiteMathlog

Leiden Deklaration

Von / 3. Juni 2026 / 2 Kommentare
Mehr

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 ihrer Werkzeuge offen legen müssen, auch um Gutachtern die Arbeit zu erleichtern, die Prinzipien offener (transparenter) Wissenschaft zu unterstützen, die Verantwortung für die Korrektheit der Resultate zu behalten, Wert auf korrekte Attribuierungen zu legen und einiges mehr. Auch für Berufsverbände, Wissenschaftspolitiker und kommerzielle KI-Produzenten werden Erwartungen formuliert.

Stichworte: , ,
Mehr

Kommentare (2)

  1. #1 NI
    3. Juni 2026

    Aus der Deklaration: “Ein großer Teil der Mathematik ist die Tätigkeit des Beweises. Mathematische Beweise werden als der höchste Grad an Gewissheit in ihrer Schlussfolgerungen betrachtet, sowie das Verständnis dafür, warum ihre Schlussfolgerungen wahr sind.”

    Dem kann man nur zustimmen. Wenn also eine KI den fehlen Puzzlestein geliefert hat, dann wäre es fair, sie als Mitarbeiter zu bezeichnen.

  2. #2 Thilo
    13. Juli 2026

    Sehr interessante Beiträge zum Thema KI in der Mathematik findet man im Blog von Michael Harris https://siliconreckoner.substack.com/ Unter anderem gibt es vom 21. Februar einen Gastbeitrag von Tamara Kolda (bei SIAM für Veröffentlichungen zuständig), mit folgendem Fazit:

    So, what does the future hold for mathematics? Let us assume that all the present-day problems with AI systems (such as citations and hallucinations) can be fixed. What would be the role of a mathematician then? Well, first and foremost, the role of the mathematician is judgment: deciding what questions to ask, what theorems to prove, what algorithms to write. This requires someone who has experience, which is why the main job of an advisor is to help a beginning researcher choose what problem to work on. In my role as an applied mathematician, my major responsibility is translating vague stakeholder problems into specific mathematical questions. Once the problem is reduced to mathematics, I’ve often engaged with brilliant collaborators to find the answers. Looking back, could AI have fulfilled that role? Maybe an AI could solve a given math problem, but it has neither the desire to do so nor drive for creative insight, no opinion on whether or not the question makes sense, no stance on the right approach. In contrast, my collaborators have a point of view. They are able to debate whether we’re asking the right question, inspire a radically different approach, and sometimes change my entire mathematical viewpoint.

    Mathematicians of the future will undoubtedly employ AI systems as powerful tools — just as they have employed computers and the Internet as those technologies came along — but they will not be replaced by them. My hope for the future of mathematical research is that it will be produced by people who care about the outcome of their work, who have a stake in the correctness of their results, and who are willing to put in the hard work (including carefully vetting the output of AI systems) to get there.