Benvenuti su You Dev IT!

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!

Da REDUCE del 1968, attraverso il Maple sull'Amiga fino all'intelligenza artificiale. Diamo un'occhiata ad alcuni software che hanno fatto la storia del calcolo simbolico!

Dopo i CAS (Computer Algebra System), diamo un'occhiata alle App che non solo forniscono il risultato di un problema, ma mostrano anche i passaggi per ottenere la risposta. Funzionano anche con i problemi di fisica?

Sottoponiamo un'equazione logaritmica a REDUCE, uno dei più antichi Computer Algebra System.

Per chi ancora non lo conoscesse, una breve spiegazione su cos'è questo pittoresco insieme di numeri complessi.