Concordo sul fatto che attorno all’IA in matematica ci sia molta enfasi e spesso anche un po’ di marketing. Gli LLM possono essere strumenti utili per esplorare idee, verificare passaggi o spiegare concetti, ma sono ancora lontani dal sostituire il ragionamento matematico rigoroso. La parte più difficile non è ottenere una risposta, ma costruire una dimostrazione solida e capire perché funziona.
Per questo trovo più interessanti gli strumenti che aiutano a comprendere il procedimento passo dopo passo. Ad esempio, uso spesso Calculadora de Alicia per seguire i calcoli e verificare la logica delle soluzioni. Alla fine, la comprensione conta molto più dell’automazione.