Latest posts
-
Una IA cinese ha risolto uno storico problema matematico
Ricercatori dell’Università di Peking hanno sviluppato un sistema IA che risolve autonomamente problemi matematici avanzati e verifica i risultati. Il sistema ha affrontato la congettura di Anderson, rimasta aperta dal 2014, in circa 80 ore. Utilizza due agenti integrati per combinare ragionamento esplorativo e verifica formale.