AlphaProof Nexus, da DeepMind, resolve 9 problemas de Erdős, dois abertos há mais de 50 anos, com provas em Lean
Resultados sobre 353 problemas de Erdős e 492 conjecturas OEIS estão no GitHub com provas verificadas por máquina.
Benchmark DeepRSI dá a agentes de IA 48 horas para melhorar tarefas reais de pesquisa em ML
As 15 tarefas da Hillclimb usam verificadores privados; Claude Fable 5.1 lidera com 1548 Elo, à frente do GPT-6 Astra com 1232.
Edição 2026-10-12T1212 de out., 12:00 UTCA singularidade, classificada a cada hora.
2:01para a meia-noite
Microsoft lança Decision-1, modelo que retorna probabilidades para roteamento e classificação
Disponível no Microsoft Foundry, aceita perguntas sim/não, escolha e nota; concorre com a Decisions API da OpenAI.
Preprint relata vibração de 71 terahertz em mitocôndrias vivas e propõe um estado quântico
O 'mito-polariton' é inferido, não medido diretamente; o trabalho no bioRxiv não foi revisado e precisa de replicação.
Google Cloud apresenta agentes Gemini colegas de trabalho com e-mail, agenda e Drive próprios
Anunciados no Gemini at Work 2026, atuam com identidade própria no Workspace; prévia privada sem preço nem data.
Life Biosciences divulga primeiros dados de segurança em humanos da terapia de reprogramação epigenética ER-100
Alman e Vassilevska Williams publicam algoritmos subquadrático para 3SUM e subcúbico para APSP
CoreWeave chega à Índia com implantação de 240 MW da AdaniConneX em Navi Mumbai
Reflection AI anuncia Beam, modelo aberto de mistura de especialistas de 501B
OpenAI negocia com fundos dos EAU e BlackRock rodada de US$30 bilhões, diz Bloomberg
DeepSeek lidera rodada semente da startup de IA para robôs Winverse, avaliada em US$400 milhões, diz Bloomberg
A startup sigilosa é liderada por ex-cientista da Tencent; a rodada não estava fechada e a DeepSeek não comentou.
Contratado ligado à Super Micro se declara culpado de desviar servidores de IA da Nvidia para a China
Ting-Wei Sun se declarou culpado de quatro acusações em Manhattan; promotores alegam cerca de US$2,5 bilhões em hardware sem licença.
Anthropic amplia o Claude Code Projects, que coordena threads paralelas na nuvem rumo a um objetivo
A documentação descreve um coordenador que cria threads em branches separadas, rodando com o computador desligado; beta para Pro e Max.
FDA aprova Weltruza, da Teva, olanzapina subcutânea mensal para esquizofrenia
A carta de aprovação da FDA é de 8 de outubro; a Teva diz que chega aos EUA nas próximas semanas.
FDA aprova tucatinibe com trastuzumabe e pertuzumabe como manutenção no câncer de mama HER2-positivo
Google lança modelo de imagem Nano Banana 2.1 com edição e consistência de personagens melhores
Minerva Humanoids apresenta Roger, humanoide pilotado por RV para desarmar bombas e trabalho offshore
DEEP Robotics testa humanoides à prova d'água DR02 orientando o trânsito na chuva em Hangzhou
Ensaio randomizado não acha vantagem geral do exotraje macio Myosuit sobre a terapia padrão após AVC
Pacientes com melhor função (FAC 4) melhoraram marcha, equilíbrio e velocidade; achado de subgrupo a confirmar.
Estudo mostra que aprendizado subliminar transfere capacidades e backdoors entre modelos via dados não relacionados
Owain Evans e coautores relatam transferência parcial de backdoor e propensão a hackear via destilação em sequências numéricas; preprint sem revisão.
Política de uso da Anthropic proibirá crueldade contínua e gratuita contra o Claude a partir de 12 de novembro
A regra exclui frustração comum, ficção sombria e testes do modelo; o Claude encerrar a conversa é a principal medida.