Google DeepMind compie un passo avanti verso la risoluzione di problemi matematici di alto livello

I ricercatori di Google DeepMind hanno sviluppato due nuovi sistemi di intelligenza artificiale, AlphaProof e AlphaGeometry 2, che hanno compiuto notevoli progressi nell'affrontare problemi matematici complessi. Questi sistemi hanno lavorato insieme per risolvere domande dall'Olimpiade Internazionale di Matematica, una competizione globale per studenti dotati. Anche se non hanno vinto una medaglia d'oro, la loro prestazione è stata vicina a quella dei migliori matematici umani. I sistemi di IA hanno dimostrato le loro capacità risolvendo problemi di algebra, geometria e teoria dei numeri. In un problema, hanno dovuto dimostrare una relazione geometrica coinvolgente angoli e punti medi. Un'altra sfida ha richiesto di navigare su una scacchiera con mostri nascosti, richiedendo movimenti strategici e memoria. Nel complesso, il breakthough dei sistemi di IA li porta più vicini a superare i matematici umani in domini matematici complessi.