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

[Redazione di Hardware Upg]

Link alla notizia: https://www.hwupgrade.it/news/web/da...ce_160276.html

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

Click sul link per visualizzare la notizia.

[pengfei]

"Manoscritti" non mi pare la parola più azzeccata

[mmorselli]

Siccome i matematici erano arrabbiati con OpenAI adesso gli ha dato sta cosina per tenerli impegnati a verificare le dimostrazioni per i prossimi 150 anni.

[xxxyyy]

Strano che non avete menzionato la soluzione alla quasi ipotesi di Riemann, che e' l'unica cosa che ho visto sbandierata in giro da stamattina