OpenAI mostra Astra: l'AI che affronta i grandi problemi della matematica

Si dice sempre più spesso che l'intelligenza artificiale potrebbe iniziare a cambiare il modo in cui nasce la ricerca scientifica, e non solamente a risolvere problemi aperti. A quanto pare un sistema AI sembra aver dimostrato di poter contribuire direttamente alla produzione di nuova conoscenza, anziché limitarsi ad analizzare o riassumere quella già esistente. A tal proposito, OpenAI ha mostrato in anteprima Astra, il modello destinato a raccogliere l'eredità della famiglia GPT-5.6. Secondo l'azienda, una versione interna del sistema avrebbe trovato risultati originali su dieci problemi di matematica e informatica teorica rimasti senza progressi sostanziali per almeno un decennio. Questo significa che Astra non si limita a proporre intuizioni, ma che, dopo aver individuato una possibile dimostrazione, il modello è stato in grado di trasformarla in una prova formale utilizzando Lean, ovvero un linguaggio impiegato nella matematica assistita dal computer.Le aree coinvolte sono tra le più complesse della matematica moderna, e vanno dalla disposizione ottimale delle sfere nello spazio alla teoria dei codici per le comunicazioni digitali, passando per la crittografia post-quantistica, la teoria dei gruppi, la complessità computazionale e la teoria dei grafi. In pratica tutte discipline che hanno ricadute concrete su sicurezza informatica, telecomunicazioni, calcolo quantistico e sviluppo di nuovi algoritmi.

CLICCA QUI PER CONTINUARE A LEGGERE