OpenAI ha appena messo sul tavolo qualcosa che va oltre il solito annuncio di prodotto: la prova che un modello AI può contribuire a risolvere problemi matematici rimasti bloccati per decenni. I progressi AI in matematica descritti dall’azienda non riguardano esercizi accademici astratti, ma dieci risultati concreti in campi che vanno dalla geometria alla crittografia post-quantistica, ottenuti con un modello interno ancora non rilasciato al pubblico chiamato Astra.
Summary
Punti chiaveOpenAI amplia l’accesso accademico con ChatGPT per i ricercatoriL’AI riscrive la matematica: la confutazione della congettura di Erdős sulle distanze unitarieDieci nuove soluzioni matematiche guidate dall’AI per problemi irrisolti da decenniAmbito e varietà dei problemi risoltiProcesso tecnico e costi contenuti con il modello AstraFAQCos’è ChatGPT per i Ricercatori Accademici?Quale problema matematico storico è stato confutato dal modello AI di OpenAI?Che tipo di problemi ha risolto Astra con il supporto dell’AI?Come sono state validate le dimostrazioni generate dall’AI?
Punti chiave
OpenAI ha lanciato ChatGPT per i Ricercatori Accademici, dando accesso gratuito a modelli avanzati a 100.000 scienziati e matematici.
