OpenAI pubblica oltre 700 paper matematici su GitHub con formalizzazioni Lean

Online un repository GitHub sul quale pubblicare tutti i risultati che i propri modelli ottengono nell’ambito della risoluzione di problemi matematici.