Axplorer, l’AI che prova a portare la ricerca matematica dal supercomputer al laptop

Lo strumento sviluppato da Axiom Math promette di abbattere tempi e costi nella soluzione di problemi complessi di teoria dei grafi