$LA Lagrange sta facendo molte cose interessanti ultimamente. Saprete già che è uscito Gemma3 su Google… Gemma3 è il modello AI di nuova generazione creato da Google che funziona in modo più intelligente con meno parametri (unità di calcolo simili a neuroni). È veloce e preciso, ma è abbastanza diverso dalla struttura GPT esistente. Per esempio: - GQA (Grouped Query Attention): non risolve lo stesso problema più volte, ma condivide le risposte. -> Efficienza di calcolo↑ - Attenzione locale+globale: distingue tra parole vicine (locale) e parole lontane (globale) per concentrarsi. -> Calcoli non necessari↓ - RoPE (Rotary Positional Encoding): rappresenta l'ordine delle parole con valori di rotazione semplici invece di matrici complesse. -> Efficienza nel gestire contesti lunghi↑ - RMSNorm, GeGLU: ha cambiato le regole e i modi in cui il cervello organizza i pensieri e risponde. -> Stabilità e precisione↑ Ma con questa struttura diversa, diventa molto più difficile dimostrare se "questo modello ha calcolato correttamente". Di solito, i risultati escono come una scatola nera, quindi non si può fare altro che fidarsi, ma dimostrare questo è il punto chiave. DeepProve di Lagrange ha esteso questo a Gemma3. - È possibile dimostrare anche maschere di attenzione complesse. - È in grado di gestire anche nuove codifiche posizionali come RoPE. - Ha modulato RMSNorm/GeGLU per poterle dimostrare. -> Ora è possibile dimostrare matematicamente che anche le architetture AI più recenti "producono output corretti". Perché è importante? Dal punto di vista degli sviluppatori, non ci sono problemi di "verifica impossibile" anche utilizzando strutture recenti. Dal punto di vista delle aziende, le questioni di regolamentazione e fiducia seguono il ritmo dell'innovazione. Nella società, man mano che l'AI diventa più intelligente, anche la sicurezza aumenta. In futuro, la competitività dell'AI potrebbe non dipendere da "quanti parametri ha", ma da [se può essere dimostrato]. —— Quindi, cosa significa $LA? Potrebbe non reagire immediatamente al token, ma è positivo in termini di collegamento con le entrate reali, partnership e espansione dell'ecosistema. La scorsa volta, quando ho visto le notizie su Lagrange, ho pensato che fosse interessante e che il grafico fosse buono, ma anche questa volta il grafico sembra piuttosto stabile... Dovrei scommettere un po'?