|
|||||||
|
|
|
![]() |
|
|
Strumenti |
|
|
#1 |
|
www.hwupgrade.it
Iscritto dal: Jul 2001
Messaggi: 75166
|
Link alla notizia: https://www.hwupgrade.it/news/scienz...ni_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. |
|
|
|
|
|
#2 |
|
Senior Member
Iscritto dal: Feb 2004
Messaggi: 6376
|
https://www.tomshw.it/business/lai-h...li-ma-ce-un-ma
occhio agli entusiasmi |
|
|
|
|
| Strumenti | |
|
|
Tutti gli orari sono GMT +1. Ora sono le: 00:00.



















