Theorizer: nova estrutura de IA propõe teorias científicas em minutos

AUTOMAÇÃO DE PARTE DA CIÊNCIA

Theorizer: nova estrutura de IA propõe teorias científicas em minutos

Ler milhares de artigos científicos e sintetizar teorias a partir deles em poucos minutos parece uma tarefa sobre-humana, mas é exatamente isso que o novo Theorizer, do Allen Institute for AI (Ai2), se propõe a fazer.

Diferente de ferramentas que apenas resumem textos ou revisam literaturas, Theorizer vai além e se concentra na criação de teorias: leis compactas, específicas e testáveis que, normalmente, levariam anos para serem desenvolvidas por pesquisadores.

Como funciona? O processo é bem intuitivo. Ao receber uma consulta como “crie teorias sobre modelos de linguagem com memória expandida”, a Theorizer executará o seguinte fluxo de trabalho:

1. Recupera até 100 artigos relevantes do Semantic Scholar;

2. Extrai evidências estruturadas usando um esquema com variáveis, resultados empíricos e comparações;

3. Sintetiza teorias candidatas através de raciocínio de várias etapas;

4. Refina os resultados, aprimorando a consistência, a atribuição de evidências e a especificidade.

Cada teoria proposta se apoia em um tripé formado por uma ou duas Leis (afirmações testáveis), Escopo (onde a teoria se aplica) e Evidência (artigos específicos com achados extraídos).

Importante: o Theorizer não é um oráculo, mas uma ferramenta de apoio que apresenta hipóteses, não verdades absolutas. O sistema também possui limitações práticas, como a restrição a artigos de acesso aberto.

Mesmo assim, como ponto de partida para explorar novos domínios científicos, Theorizer consegue transformar meses de leitura exaustiva em teorias estruturadas e
testáveis em um intervalo de tempo impressionante.

• OpenAI vai aposentar os modelos GPT-4o, GPT-4.1, GPT-4.1 mini e OpenAI o4-mini do ChatGPT, citando que apenas 0,1% dos usuários ainda os usam.

• Krea AI apresentou um recurso de edição em tempo real que modifica imagens a partir de prompts sem espera para regeneração.

• Manus adota o padrão Agent Skills, da Anthropic, para dar a seus agentes capacidades modulares e reutilizáveis.

• Claude agora pode trabalhar com ferramentas interativas das plataformas Asana, Slack e Figma diretamente dentro de conversas, sem mudar de guia.

• Kimi K2.5 é um poderoso modelo da Moonshot que reúne agentes com inteligência visual e desempenho que rivaliza com GPT-5.2 e Claude 4.5 Opus.

• Qwen3 Max Thinking é um modelo de raciocínio explícito da Ailibaba com uso autônomo de ferramentas (pesquisa, memória, interpretação de código.

• DeepSeek-OCR 2 é um modelo de linguagem visual que se destaca na compreensão de documentos e OCR ao imitar a ordem de leitura humana para layouts complexos, como tabelas e texto misto.

• Grok 4.20 conquistou a 1ª posição no benchmarking PredictionArena que avalia como modelos de IA negociam nos mercados de previsão da Kalshi. 💰📈📉

A parceria tecnológica entre NVIDIA e DeepSeek está sob escrutínio. Documentos obtidos pelo Comitê da Câmara dos Estados Unidos para assuntos da China, revelaram que a NVIDIA deu assistência técnica à startup chinesa para que desenvolvesse modelos de IA avançados que posteriormente foram adotados pelas forças militares do país. Segundo a comissão, a equipe da NVIDIA manteve uma colaboração estreita com a DeepSeek em 2024, envolvendo o design otimizado de algoritmos, frameworks e hardware que levou a ganhos substanciais na eficiência do treinamento. Relatórios internos da NVIDIA destacaram que o DeepSeek-V3 exigiu apenas 2,8 milhões de horas da GPU H800 em seu treinamento completo, menos do que desenvolvedores nos Estados Unidos precisam para treinar modelos avançados em escala.

📚 Miscelânea

• Novo Prism, da OpenAI, é um espaço de trabalho científico gratuito que integra o modelos GPT-5.2 em um ambiente LaTeX na nuvem para elaborar artigos, converter diagramas manuscritos em figuras prontas para publicação, gerenciar citações e trabalhar com outros pesquisadores.