Un progres realizat de un model OpenAI nu ar fi însemnat nimic fără oameni care să-i dea sens.
De Daniel Kipnis Eva Vázquez
Dacă nimeni nu înțelege o demonstrație matematică, este ea o demonstrație în sine?
OpenAI a surprins matematicienii luna trecută, anunțând că unul dintre modelele sale a infirmat o conjectură de lungă durată, propusă de matematicianul Paul Erdős (1913-96) în 1946, referitoare la „problema distanței unitare”. Într-o lucrare însoțitoare, matematicieni proeminenți au verificat și explicat argumentul.