L'AI di OpenAI risolve i leggendari problemi di Erdős, rivoluzionando la ricerca matematica
OpenAI ha annunciato il 20 maggio 2026 che un suo modello AI interno ha trovato un controesempio al "problema della distanza unitaria" di Paul Erdős, una congettura del 1946. Questa è la prima dimostr