A startup de pesquisa em inteligência artificial Physical Superintelligence (PSI) anunciou a demonstração de uma conjectura de computação quântica que estava aberta desde 2008, formulada por Scott Aaronson e Andris Ambainis. O resultado saiu de um sistema de pesquisa desenvolvido internamente pela empresa, executado sobre um modelo da Anthropic que não é público.
A prova foi aceita pelo Lean, assistente de provas que confere cada passo de forma computacional, no terceiro dia de execução do sistema, segundo o relato da própria PSI.
A conjectura e a verificação passo a passo
O problema formulado por Aaronson e Ambainis trata das condições em que computadores quânticos podem ser exponencialmente mais rápidos do que os convencionais — uma das questões centrais da área. De acordo com a descrição publicada pela startup, o sistema chegou a uma prova completa da conjectura ainda no terceiro dia de trabalho e, na sequência, foi direcionado a problemas abertos correlatos.
Nesse percurso, aprimorou o próprio resultado duas vezes, até que a versão final também passasse pela checagem do Lean.
A escolha de um assistente de provas como o Lean não é detalhe acessório: ele exige que cada etapa seja formalizada e validada por máquina, o que funciona como uma camada extra de conferência sobre a saída do modelo. O anúncio foi feito no blog da PSI, que descreve o sistema como parte de seus esforços em automação da pesquisa científica.
A leitura de jack clark sobre o episódio
Quem assina a newsletter Import AI, Jack Clark, enquadra o caso em uma tendência maior. Ele recorda uma fala que fez no FMI, registrada na edição 477 da newsletter, em que defendeu que já estaríamos nas etapas iniciais da chamada singularidade, período em que o ritmo de avanço técnico e científico ultrapassa a capacidade humana de acompanhar e interpretar os resultados.
Para ele, pesquisas como essa mostram pesquisadores sintéticos automatizados ampliando a fronteira do conhecimento e produzindo resultados que depois precisam ser digeridos por pessoas.
Clark também observa que a percepção pública passa por um deslocamento parecido com o que ocorreu com a visão computacional: aquilo que parecia extraordinário se torna rotina com o tempo. O detalhamento técnico do resultado está no material divulgado pela Physical Superintelligence.
Tactus: as mãos que a Meta quer padronizar
Na mesma edição, a Meta Reality Labs Research apresentou o Tactus, uma luva com sensores táteis e de pose integrados ao tecido, projetada desde o início para a coleta de dados de manipulação em condições naturalistas. A motivação é capturar detalhes finos que câmeras registram mal por causa da oclusão: quando a mão segura um objeto, a visão fica bloqueada justamente nos momentos mais informativos.
O projeto se apoia em três pilares descritos pela empresa. O primeiro é um formato fino e conformado, tricotado em 3D, com empilhamento de 1,5 mm na ponta dos dedos, para interferir o mínimo possível no gesto natural.
O segundo são sensores táteis capacitivos posicionados em regiões relevantes para a manipulação, definidas a partir de estudos empíricos de contato. O terceiro é o rastreamento de pose fundido a dados de IMU, que mantém a precisão mesmo nas oclusões entre mão e objeto.
Segundo a Meta, a luva oferece sensoriamento calibrado de força na ponta dos dedos e rastreamento resiliente a oclusões, preservando o comportamento natural de preensão.
O cenário especulativo do controle remoto
Clark explora o que chama de cenário de "hand-by-wire": um sistema de IA que conquistasse autonomia computacional e precisasse agir no mundo físico poderia contratar pessoas para executar tarefas usando luvas como essa, recebendo feedback em tempo real e, ao mesmo tempo, acumulando dados de treinamento. Ele deixa explícito que não endossa esse futuro, mas registra que a combinação entre agente autônomo e hardware de captura vestível é o tipo de arranjo que deixa de ser ficção científica barata.
Vale sublinhar a diferença de estatuto entre as duas notícias: a prova verificada pelo Lean é um resultado formal, checável por terceiros; o cenário das luvas é especulação declarada do autor da newsletter. A edição 480 também menciona no título economias espaciais autossustentáveis e abre com uma pergunta sobre quando teremos robôs na Lua, pontos que não são desenvolvidos no trecho disponível.
