OpenAI sottopone tre affermazioni di ricerca sull'IA all'esame accademico
aiinsider ·
OpenAI ha sottoposto tre affermazioni di ricerca generate dall'IA in matematica, informatica e fisica a un esame accademico indipendente. L'iniziativa mira a determinare come gli scienziati possano verificare che il ragionamento dell'IA supporti scoperte nuove e genuine, piuttosto che limitarsi a produrre risposte convincenti. Nell'ambito dell'informatica, esperti tra cui Ryan Williams esamineranno un'affermazione secondo cui l'Ipotesi del Tempo Esponenziale è smentita. I matematici valuteranno una dimostrazione riguardante la congettura del levigatura locale, che affronta il comportamento delle onde attraverso le dimensioni. I fisici guidati da David Gross valuteranno prove di esistenza dichiarate per teorie di campo quantistiche, come la cromodinamica quantistica. Per sostenere la verifica, OpenAI ha fornito dimostrazioni matematiche controllate utilizzando il software Lean, che garantisce rigore logico. Sebbene questi sforzi forniscano evidenze più solide rispetto alle spiegazioni standard, i ricercatori devono comunque interpretare i risultati e le loro implicazioni più ampie.
aiinsider