Indossa il tuo cappello da matematica per un minuto e vediamo di cosa si trattava questa carneficina di metà ottobre. Questo è un perfetto esempio di cosa c’è che non va nell’intelligenza artificiale in questo momento.
Bubek era entusiasta del fatto che GPT-5 avesse in qualche modo risolto molti degli enigmi noti come problemi di Erdöd.
Paul Erdős, uno dei matematici più prolifici del XX secolo secolo, quando morì lasciò centinaia di enigmi. Per tenere traccia di quali problemi sono stati risolti, il matematico Thomas Bloom dell’Università di Manchester, nel Regno Unito, ha creato un erdosproblems.comChe elenca oltre 1.100 problemi e rileva che circa 430 di essi presentano soluzioni.
Quando Bubek celebrò il successo di GPT-5, Bloom seguì immediatamente l’esempio chiamarlo fuori“Questo è un drammatico travisamento”, ha scritto su X, Bloom ha sottolineato che un problema non è necessariamente irrisolto se il sito web non elenca una soluzione, Significa semplicemente che Bloom non ne era a conoscenza, Ci sono milioni di articoli di matematica là fuori e nessuno li ha letti tutti, Ma probabilmente GPT-5 sì,
Si è scoperto che invece di trovare nuove soluzioni a 10 problemi irrisolti, GPT-5 aveva setacciato Internet alla ricerca di 10 soluzioni esistenti che Bloom non aveva mai visto prima. Ops!
Ci sono due takeaway qui. Il primo è che le affermazioni affannose sui grandi progressi non dovrebbero essere fatte attraverso i social media: meno informazioni dettagliate e più controlli istintivi.
Il secondo è che è sorprendente anche la capacità di GPT-5 di trovare riferimenti a lavori precedenti di cui Bloom non era a conoscenza. La pubblicità ha messo in ombra ciò che avrebbe dovuto essere grandioso in sé.
I matematici sono molto interessati a utilizzare gli LLM per esplorare un gran numero di risultati esistenti, mi ha detto François Charton, un ricercatore che studia l’applicazione degli LLM in matematica presso la startup di intelligenza artificiale Axiom Math, quando gli ho parlato di questo Erdős gotcha.
