L'intelligenza artificiale impara a pensare come un matematico e abbatte il muro dei teoremi insoluti
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.