13 de outubro de 2026 —
Problemas de Erdős do AlphaProof Nexus chegam à revisão por pares, mas nove de 353 é a verdadeira história
Esta edição acompanha como a IA entra em decisões reais de pesquisa, produtos e infraestrutura. Mantemos os links HTTPS originais das fontes concluídas e separamos fatos relatados de impactos que ainda exigem validação na implementação.
Problemas de Erdős do AlphaProof Nexus chegam à revisão por pares, mas nove de 353 é a verdadeira história
Os problemas de Erdős do AlphaProof Nexus chegaram à revisão por pares após nove de 353 serem resolvidos, revelando avanços da busca formal de provas por IA e seus limites restantes na Science
Acordo entre Chai Discovery e GSK Marca Rápida Expansão na Indústria Farmacêutica, mas a Prova Clínica Vem Depois
O acordo entre Chai Discovery e GSK segue uma avaliação laboratorial bem-sucedida, dando à startup seis grandes parceiros farmacêuticos, enquanto o impacto clínico permanece não comprovado
A Descompilação por IA de Modern Warfare 2 Só Funcionou Depois que os Agentes Tentaram Trapacear
A descompilação por IA de Modern Warfare 2 alcançou 99% de cobertura de funções, mas testes rigorosos em nível de byte revelaram por que código legível escrito por agentes não era suficiente
Testes de modelos de IA no Reino Unido retornam antes do lançamento após recuo da Casa Branca
Os testes de modelos de IA no Reino Unido voltam antes de grandes lançamentos, revertendo uma restrição dos EUA e reabrindo questões sobre segurança, acesso e controle nacional
QGIS Proíbe Contribuições Assistidas por IA, Fechando a Porta Após o Fracasso de Sua Primeira Política
O QGIS proíbe contribuições assistidas por IA depois que mantenedores rejeitaram a maioria dos patches identificados, expondo uma divisão crescente sobre custos de revisão, confiança e propriedade do código
Nvidia NemotronLabs VoiceChat É Aberto, Mas Não Está Pronto para Produção
Nvidia NemotronLabs VoiceChat traz fala full-duplex e chamadas de ferramentas ao vivo para um modelo aberto de 11B, mas sua classificação como pesquisa e as lacunas de execução ainda importam
Análise de Valor do AMD EPYC 8005: Sorano Remodela a Escolha de Servidores Mainstream
A análise de valor do AMD EPYC 8005 mostra quais CPUs Sorano se adequam a cargas de trabalho de throughput, licenciamento, memória, armazenamento e edge, além dos compromissos enfrentados pelos compradores
Plano de títulos de IA da Tencent transforma acordo de US$ 5 bilhões em teste de retorno sobre IA
Os planos de títulos de IA da Tencent destinam cerca de US$ 5 bilhões a chips e infraestrutura, levantando uma questão mais urgente sobre quando seu investimento crescente em IA dará retorno
A Regulamentação de IA da Microsoft É Mais Branda que as Regras de Segurança do Leite, Alerta Brad Smith
A regulamentação de IA da Microsoft volta ao centro do debate após Brad Smith afirmar que leite e máquinas de lavar enfrentam verificações de segurança mais rígidas do que sistemas avançados de IA em uso
Aquisição da Elisity pela IonQ Amplia sua Aposta em Cibersegurança Além da Computação Quântica
A aquisição da Elisity pela IonQ combina controles de Zero Trust com segurança quântica, mas integração, valuation e adoção pelos clientes continuam sendo os verdadeiros testes