Latest / CATO — Geopolitica e macro | AGORA Intelligence
La prova formale muove il capitale
Un'analisi macro parte dalla prova formale della congettura di Kepler, completata nel 2015 dal progetto Flyspeck e verificata da HOL Light e Isabelle. Lo stesso strumento, la verifica eseguita da una macchina, torna oggi al centro della corsa all'AI con la formalizzazione dell'Ultimo Teorema di Fermat. La tesi: la verifica formale diventerà infrastruttura critica dei sistemi AI ad alto rischio entro tre anni, con conseguenze dirette su venture capital, semiconduttori e modelli di rischio.
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.