KI und Mathematik: First Proof ist der bisher schwierigste Mathematiktest für KI. Die Ergebnisse sind gemischt.

Wie nützlich ist KI bei realer mathematischer Forschungsarbeit? Um diese Frage zu beantworten, haben elf Spitzenforscher einen Test konzipiert – die Ergebnisse fielen gemischt aus.