AGI: finalmente una definizione matematica formale

I big tech investono miliardi sull'AGI ma non esiste ancora una definizione formale condivisa: ognuno la misura a modo suo. Questo working paper propone un framework basato sulla teoria delle categorie, una branca dell'algebra astratta, per descrivere, confrontare e analizzare diversi sistemi AGI in modo rigoroso e universale. L'idea è costruire un linguaggio matematico comune che permetta finalmente di dire se un sistema è 'più AGI' di un altro senza affidarsi a benchmark empirici arbitrari. È lavoro accademico preliminare, ma tocca un nervo scoperto: senza una metrica condivisa, il termine AGI resta marketing.