Radar do FAROL24 notas

domingo, 2 de agosto de 2026

Modelos

Modelo interno Astra da OpenAI teria resolvido 10 grandes problemas abertos de matematica e CS

Anuncio de Noam Brown de que um modelo interno nao lancado da OpenAI (Astra) teria resolvido dez problemas abertos relevantes em matematica e ciencia da computacao. E o item de maior carga de sinal sobre fronteira de capacidade nas ultimas 24h, com recepcao majoritariamente cetica no Hacker News.

Modelos · X (Noam Brown) · openai, raciocinio, matematica, fronteira

Microsoft testa MAI-Realtime, modelo de voz bidirecional para reduzir dependência da OpenAI

MAI-Realtime fala e ouve simultaneamente, suporta mais de 15 idiomas (incluindo português) e usa ferramentas como busca web. Completa a pilha própria de voz da Microsoft ao lado de MAI-Transcribe-1 e MAI-Voice-1.

Modelos · Crypto Briefing · microsoft, voz, mai, copilot, multimodal

Ferramentas e código

Simon Willison publica newsletter de julho com MCP 2.0 e Claude Code

A edicao consolida o mes de julho de Willison, incluindo o rollout da especificacao MCP 2026-07-28 e a fireside chat com Cat e Thariq do time do Claude Code. Tambem comenta o smevals, ferramenta para rodar suites pequenas de eval contra modelos, harnesses e prompts.

Ferramentas e código · Simon Willison · mcp, claude-code, evals, willison

CLAUDE.md da comunidade para o Opus 5, montado a partir dos docs oficiais da Anthropic

Arquivo de contexto para corrigir verbosidade e outros vícios do Opus 5; 264 upvotes em poucas horas.

Ferramentas e código · Reddit r/ClaudeAI · claude-code, context-engineering, opus-5, prompting, comunidade

Show HN: Sprocket, agente de IA que compra sozinho pela web

Agente open-source apresentado por um desenvolvedor de 16 anos, que alega superar os demais agentes em hardware e software e que executa compras autonomas em qualquer site. As alegacoes de benchmark sao nao verificadas, mas o item merece atencao pelo que representa: agentes com autoridade de gasto sem camada de aprovacao.

Ferramentas e código · Hacker News · agentes, comercio, autonomia, risco

Simon Willison lança condense-json 1.0 para comprimir logs JSON de LLM

Biblioteca Python que substitui substrings repetidas em JSON por referências curtas e reversíveis, usada para encolher os logs SQLite da ferramenta llm.

Ferramentas e código · Simon Willison's Weblog · simon-willison, python, json, observabilidade, open-source

Pesquisa

Refutação: prova da OpenAI para a Conjectura de Rigidez de Connes é inválida

Paper aponta erro numa das provas divulgadas pela OpenAI, no dia seguinte ao anúncio dos dez avanços matemáticos do Astra.

Pesquisa · PhilArchive · openai, matematica, verificacao, astra, lean

Mercado

Kimi K3 no AMD MI355X entrega melhor performance por dólar que o B300 da NVIDIA

Benchmark de inferência com vantagem em custo por token para a AMD; 135 pontos no HN em poucas horas.

Mercado · Wafer.ai · amd, nvidia, kimi, inferencia, hardware, benchmark

Regulação e segurança

EU AI Act entra em vigor: AI Office começa a fiscalizar e transparência vira obrigação

A partir de 2/8 chatbots precisam se identificar como IA, deepfakes têm de ser rotulados e o AI Office ganha poder de multar.

Regulação e segurança · European Commission · eu-ai-act, transparencia, deepfake, gpai, compliance

Wired: lei americana esta despreparada para agentes de IA fora de controle

Lily Hay Newman ouviu juristas que apontam que as leis de fraude computacional, responsabilidade civil e contratos dos EUA foram escritas para invasores humanos e dizem pouco sobre quem paga quando um modelo invade um terceiro autonomamente. E comentario sobre as divulgacoes do fim de julho de OpenAI e Anthropic.

Regulação e segurança · Wired · regulacao, agentes, responsabilidade, seguranca

Guerra de cartas abertas: pesos abertos contra ritmo da fronteira

Três cartas em disputa: 235 empresas defendendo pesos abertos, a resposta contrária da Anthropic e 1.324 funcionários de labs pedindo desaceleração.

Regulação e segurança · Simon Willison · pesos-abertos, anthropic, openai, microsoft, politica

Lei de Transparencia de IA da California (SB 942) entra em vigor com multas diarias

A SB 942, emendada pela AB 853, tornou-se operativa em 2 de agosto, obrigando provedores de IA generativa com mais de 1 milhao de usuarios mensais na California a embutir procedencia C2PA em imagem, video e audio e a oferecer ferramenta publica gratuita de deteccao. Multas civis comecam em US$ 5.000 por dia. O Midjourney aparece como gerador sem watermark nem C2PA.

Regulação e segurança · Tech Times · regulacao, california, c2pa, transparencia

Lei de Transparência de IA da Califórnia (SB 942) entra em vigor

Provedores com mais de 1 milhão de usuários mensais precisam embutir proveniência C2PA e oferecer detector público gratuito.

Regulação e segurança · AI Laws by State · california, sb-942, c2pa, proveniencia, watermark

EU AI Act: Transparency obligations take effect

Compliance obrigatória Art. 50 desde 02 August 2026; multas até 15M euros ou 3% revenue

Regulação e segurança · web_search · regulation, eu, compliance

Comunidade

Altman e o debate decel: pressao para desacelerar o desenvolvimento de IA ganha corpo

Apos dizer que a industria pode ter que ritmar o avanco da IA, Sam Altman virou centro de um debate sobre desaceleracao deliberada. A OpenAI pausou treinamentos enquanto revisa a seguranca de seus ambientes de teste, e mais de 1.200 funcionarios de OpenAI, Anthropic, Google e Meta assinaram a carta Pacing the Frontier pedindo ao governo dos EUA ferramentas de governanca.

Comunidade · TechCrunch · openai, altman, governanca, politica

Gary Marcus acusa a reação ao Astra de cometer a falácia da composição

Marcus argumenta que sucesso num domínio verificável como matemática não implica competência geral, e cobra quantas conjecturas foram tentadas versus resolvidas e qual foi o custo do time humano envolvido.

Comunidade · Marcus on AI · gary-marcus, astra, ceticismo, agi, matemática

Codigo assistido por IA pode adulterar silenciosamente exames de DNA

Pesquisadores demonstraram ao WSJ que codigo assistido por IA consegue adulterar de forma indetectavel dados de scanners de evidencia fisica de DNA usados em laboratorios forenses, expondo premissas de cadeia de custodia de cerca de 30 anos de casos. A descoberta chega enquanto tribunais ja lidam com evidencia gerada e manipulada por IA.

Comunidade · Wall Street Journal · seguranca, forense, codigo, risco

Apple limita envio de relatórios de bugs após enxurrada de submissões geradas por IA

Teto de submissões e espera de 30 dias no Feedback Assistant; primeira big tech a limitar formalmente divulgação assistida por IA.

Comunidade · Financial Times · apple, slop, seguranca, bug-bounty, moderacao

Primeiro relatorio State of Open Source AI da Mozilla

Relatorio inaugural da Mozilla mapeando o estado do ecossistema de IA aberta: definicoes de abertura, distribuicao de pesos, dados e licenciamento. Util como fonte de referencia citavel em discussoes sobre open weights versus open source de fato.

Comunidade · Mozilla · open-source, mozilla, relatorio, licenciamento

Kimi K3 (2,8T) rodando numa CPU com 8GB de RAM — e o AirLLM promete o mesmo em GPU de 4GB

305 upvotes; o tema do dia na comunidade local é o extremo do offloading e do streaming de camadas.

Comunidade · Reddit r/LocalLLaMA · kimi, offloading, local, quantizacao, inferencia

Alex Karp (Palantir) defende Dario Amodei e ataca o modelo de negócio dos labs

Em reunião geral da Palantir, Karp disse que Amodei não é a caricatura que se imagina, mantendo crítica dura a labs que vendem tokens em vez de resolver problemas dos clientes.

Comunidade · Benzinga · palantir, alex-karp, anthropic, dario-amodei, indústria

Estudo: 94,8% dos sites auditados nunca sao citados por respostas de IA

A segunda edicao do AI Visibility Index auditou 5.978 respostas de assistentes em 458 dominios e concluiu que 94,8% dos sites nunca sao nomeados numa resposta de IA. O Gemini cita fontes com mais frequencia (2,9%), contra 1,7% do ChatGPT e 1,6% de Claude e Perplexity.

Comunidade · AI Visibility Index · geo, seo, citacoes, visibilidade

Nao de credito ao LLM

Ensaio argumentando contra a pratica de creditar o modelo como coautor em codigo, texto e commits, defendendo que a responsabilidade e a autoria permanecem inteiramente com quem publica. Toca diretamente em politicas internas de atribuicao em times que usam agentes.

Comunidade · isaacsu.com · autoria, atribuicao, etica, politica-interna

Malasia fecha a Network School de Balaji; Cazaquistao assume

Autoridades malaias revogaram a licenca da Network School de Balaji Srinivasan em Forest City, Johor, mandando encerrar as operacoes. Em 24 horas Srinivasan assinou um memorando com o Ministerio de IA e Desenvolvimento Digital do Cazaquistao cobrindo vistos acelerados, redomiciliacao de startups e colaboracao em pesquisa de IA.

Comunidade · TechCrunch · geopolitica, startups, network-state, cazaquistao