🤖 【Boletim diário de IA】2026.10.07

• A OpenAI tornou públicos de uma só vez 722 manuscritos de matemática e 372 famílias de resultados, abrangendo problemas de longa data ainda sem solução, como o problema de Kakeya em quatro dimensões e a conjectura quase-Riemanniana; alguns incluem verificação formal em Lean【Pesquisa】

• A Mistral lançou o Large 4 “Le Chonk”, um modelo multimodal com um trilhão de parâmetros, que ativa 49 bilhões de parâmetros por execução; os pesos serão disponibilizados em 27 de outubro【Modelos】

• 22 acadêmicos de destaque (incluindo Hinton, Bengio e o cientista-chefe da OpenAI) publicaram um alerta conjunto: a automação da pesquisa e do desenvolvimento de IA está se aproximando do ponto crítico de uma “explosão de inteligência”【Estratégia】

• Meta, Sierra, Walmart, Stripe e outras empresas lançaram em conjunto o “Protocolo de Agentes Pessoais”, uma especificação aberta para estabelecer como agentes de IA interagem com empresas【Setor】

• A Lambda pretende captar até US$ 4 bilhões com uma avaliação pré-investimento de US$ 14,5 bilhões; sua carteira de pedidos cresceu de US$ 15 bilhões para US$ 50 bilhões em três meses【Investimentos】

• A Anthropic ampliou o programa Claude Startups: startups podem receber um ano de Claude Team gratuito, além de US$ 1.000 em créditos de API【Setor】