HaLLMos: un correttore di dimostrazioni matematiche con intelligenza artificiale
Febbraio 28, 2026
Le dimostrazioni matematiche sono uno degli scogli più difficili per gli studenti. HaLLMos è uno strumento gratuito basato sull'intelligenza artificiale che li accompagna nel processo senza dare le soluzioni: analizza il loro ragionamento, trova sempre qualcosa di positivo e suggerisce come migliorare.