Notizia · · Per tutti
OpenAI pubblica centinaia di risultati matematici di un suo modello, tra cui una dimostrazione della Unique Games Conjecture
Il 6 ottobre OpenAI ha reso pubbliche le dimostrazioni prodotte da un modello interno non ancora rilasciato su problemi aperti di matematica e informatica teorica. Solo una parte è verificata al computer con Lean e nessuna è ancora passata da una revisione indipendente.
Fonte: OpenAI ↗
Perché conta
Se le dimostrazioni reggeranno, è il segnale più forte finora che i modelli di frontiera producono conoscenza nuova e non solo risposte a domande note. Il risultato più citato, la Unique Games Conjecture, è un problema aperto da oltre vent'anni nell'informatica teorica.
La cautela però è d'obbligo: i risultati sono dichiarati dal produttore, solo una parte è controllata con Lean e diversi matematici chiedono verifiche esterne prima di considerarli acquisiti. Il modello non è disponibile: per ora non cambia gli strumenti che si possono usare, ma indica dove sta andando la frontiera.
Commento della redazione di Radar IA