Dall'irrazionalit� di pi greco alla fisica: OpenAI rilascia 722 manoscritti matematici open source

Dall'irrazionalit� di pi greco alla fisica: OpenAI rilascia 722 manoscritti matematici open source

OpenAI ha reso pubblico un repository GitHub con 722 manoscritti matematici generati da un modello interno non divulgato, organizzati in 372 famiglie di ricerca che coprono teoria dei numeri, complessit� computazionale, geometria algebrica e fisica matematica, con prove formalizzate in Lean per la verifica automatica