Google e l'intelligenza artificiale che dimostra i teoremi matematici

Google ha insegnato ad una I.A. come dimostrare teoremi matematici.

google ia


Migliaia di pagine , ipotesi simboli e formule , oltre tremila teoremi , questo è quanto stato insegnato da Google ad una intelligenza artificiale, quest'ultima è riuscita a dimostrarne tranquillamente la metà.

Sappiamo benissimo che ormai le intelligenze artificiali riescono ad apprendere automaticamente, in questo caso Google non ha fatto altro che espandere il "cervello" dell' IA, aumentandone il proprio "quoziente-interattivo" con un database di oltre 10 mila teoremi , allegandone anche le relative dimostrazioni.
Christina Szegedy uno degli autori del progetto , spiega che:
" Al momento, quasi tutti i passi sono relativamente semplici e non richiedono ragionamenti complessi, ma è comunque un buon punto di partenza, vogliamo arrivare a realizzare un sistema che possa replicare tutte le dimostrazioni in cui sono riusciti gli esseri umani e poi vorremmo andare anche oltre ".

Al momento , l'algoritmo è strettamente specializzato in teoremi nell'ambito dell'algebra lineare e del calcolo complesso , ma secondo Jeremy Avigad, esperto della Carnegie Mellon University in Pennsylvania : " tutto ciò che si può esprimere con il linguaggio della matematica può essere agevolmente fatto comprendere ad algoritmi di questo tipo, l'importante è insegnargli quali sono le regole e le assunzioni alla base di ciascun passaggio"
Questo a farci capire la costante evoluzione dell'intelligenza artificiale, ed in un futuro prossimo, una volta compreso che l'obbiettivo più importante è quello di puntare al tasso di successo complessivo , potremmo chiedere alle intelligenze artificiali del futuro di sviluppare delle strategie molto più complesse e degli assistenti interattivi sempre più autonomi, ovviamente sotto stretto controllo umano.

Nessun commento

Powered by Blogger.