Un modello di intelligenza artificiale di OpenAI avrebbe trovato una nuova soluzione per il problema delle distanze unitarie nel piano, formulato da Paul Erdős nel 1946. Il risultato è stato controllato da matematici esterni, ma il precedente scivolone dell’azienda di San...