Condividere i progressi dell’IA in matematica

OpenAI pubblica nuovi risultati su problemi matematici aperti ottenuti da un modello interno avanzato e condivide su GitHub formalizzazioni di prove Lean e dettagli della ricerca.

Lingua della fonte originale · inglese

Verificato · 10 ottobre 2026