La matematica non è più il suo mestiere. Un test boccia l'intelligenza artificiale

Claude e ChatGpt non l'hanno presa affatto bene. Si sono messe a contestare i titoli "trionfalistici" delle agenzie, perché quello che è successo svela qualcosa di più sottile di quel che sembra.La notizia è che l'intelligenza artificiale è stata sconfitta in una sfida matematica. Il test si chiama First Proof. Lo hanno ideato un gruppo di matematici di primo piano, e i dieci problemi non sono esercizi da manuale né quesiti da competizione: sono veri lem