Problemi s matematičkim dokazima

AI i dalje ne ispunjava očekivanja – što je istina, a što PR?

Nova studija na izvođenju matematičkih dokaza korištenjem umjetne inteligencije pokazuje zašto AI modeli sa simuliranim zaključivanjem ne ispunjavaju očekivanja