Modelle der künstlichen Intelligenz übertreffen Mathematiker bei komplexen Forschungstests nicht

Im Rahmen des First Proof-Projekts wurde die künstliche Intelligenz einem der bisher anspruchsvollsten Mathematiktests unterzogen, bei dem vier KI-Systeme zehn komplexe Forschungsprobleme lösen sollten.