Redazione di Hardware Upg
03-08-2026, 09:41
Link alla notizia: https://www.hwupgrade.it/news/scienza-tecnologia/il-modello-che-openai-non-ha-ancora-rilasciato-ha-risolto-dieci-problemi-aperti-da-decenni_157228.html
Una versione interna ha prodotto dieci risultati in matematica e informatica teorica su problemi fermi da decenni, dalla congettura di rigidità di Connes ai limiti sull'impacchettamento di sfere. Ogni dimostrazione è stata certificata in Lean
Click sul link per visualizzare la notizia.
Una versione interna ha prodotto dieci risultati in matematica e informatica teorica su problemi fermi da decenni, dalla congettura di rigidità di Connes ai limiti sull'impacchettamento di sfere. Ogni dimostrazione è stata certificata in Lean
Click sul link per visualizzare la notizia.