Import AI 480: economia espacial autossustentável, IA para ciência e as mãos da Meta para a superinteligência
A Physical Superintelligence provou a conjectura de Aaronson-Ambainis sobre vantagem exponencial de computadores quânticos, usando um modelo Anthropic não público com verificação no Lean.