Parliamo di prompt dettagliatissimi, auto-verifica ciclica e nessun trucco da codice esterno. Se finora sottovalutavamo questa generazione di LLM, è ora di rivedere posizioni.
Il paper dell’UCLA mostra tre elementi innovativi: progettazione del prompt, loop di auto-verifica e trasparenza totale. Keywords strategiche? “Prompt formali”, “auto-verifica LLM”, “proof rigore”. Ogni passaggio del ragionamento viene inciso come LaTeX, il che evita bluff o buchi logici.
Gemini riceve bonus punti già da Vertices: la Pro regge fino a 1 milione di token e supporta audio, video e codice . Insomma, è un colosso di reasoning multimodale.