Mettiamo alla prova le capacità simboliche di Phi-4, il nuovo LLM open source dalle dimensioni ridotte (meno di 10 Gb) addestrato per i calcoli matematici. Sfrutteremo Ollama come server del modello e MathJax per tracciare le formule generate dall'IA. Vi invito a suggerite test più avanzati dei "semplici" calcoli mostrati in questo video!