IJCAI-ECAI 2026: Tausende KI-Forscher diskutieren Mathematik-Krise
Mathematiker-Union verabschiedet Leidener Erklärung für ...