Soluzione assistita da IA del problema di Erdős #1196 (heise.de)

• Risoluzione di un enigma matematico secolare.
• GPT-5.4 Pro dimostra abilità nel ragionamento simbolico avanzato.
• Nuovo paradigma per la ricerca scientifica assistita.

"Un giovane di 23 anni ha risolto una congettura matematica irrisolta da 60 anni, il problema #1196 di Erdős, utilizzando GPT-5.4 Pro. Il successo evidenzia la crescente capacità dei modelli linguistici nel condurre ricerche fondamentali, identificando percorsi logici inediti che superano gli approcci euristici convenzionali."