Hipótese Emergentista Informacional da Consciência

Último Teorema de Fermat e a Reescrita Geométrica da Termodinâmica sob o prisma do Corpus Informacional

Em julho de 2026, dois desenvolvimentos científicos independentes atingiram visibilidade pública quase simultânea: (i) um workshop em Londres, financiado pela Logos Research e liderado por Kevin Buzzard (Imperial College London), dedicado à autoformalização, por inteligência artificial, de segmentos da demonstração do Último Teorema de Fermat (UTF) no assistente de provas Lean; e (ii) a apresentação, por Brian Roberts (London School of Economics), de uma reformulação da termodinâmica clássica através da teoria de gauge, distinguindo grandezas observáveis e grandezas ocultas num espaço de bundle.