Un chatbot di OpenAI, con un solo prompt, ha risolto un problema formulato 80 anni fa dall’ungherese Paul Erdős, mostrando che la soluzione che lui aveva fornito non era corretta. La nuova procedura è stata verificata, ma non sono stati resi noti tutti i dettagli