Az OpenAI szerint modelljei három jelentős eredményt értek el a matematika, az informatika és a fizika területén. A cég mindhárom eredmény értelmezésére szakértői csoportokat szervez, de a bizonyítékok közzétételéről eltérően döntenek. Az informatikai eredmény természetes nyelvű bizonyítását és Lean-formalizálását már nyilvánosságra hozták, és a cég szerint a független ellenőrzéshez a nyers adatokat is átadják. A […]