Edu
L'intelligenza artificiale impara a pensare come un matematico e abbatte il muro...
Un nuovo sistema denominato AxiomProver ha superato i limiti dei modelli linguistici tradizionali risolvendo complessi problemi di geometria e algebra attraverso il ragionamento logico puro.
