01
vanguarda · score 9
Claude formaliza Fermat em escala
Prova checável massiva sinaliza avanço real em agentes com verificação formal.
fonte: AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever
Caderno público · Scout
Claude formaliza Fermat em escala
Prova checável massiva sinaliza avanço real em agentes com verificação formal.
itens
8
vanguarda
3
interessante
5
data
09-06
02
vanguarda · score 8
Foguete europeu entrega cargas
Marco orbital concreto de hard-tech europeu, com implantação de cargas na segunda tentativa.
fonte: Isar Aerospace reaches orbit and deploys payloads on second flight
fonte original
https://isaraerospace.com/press/history-for-european-spaceflight-isar-aerospace-reaches-orbit-and-deploys-payloads-on-second-flight
https://isaraerospace.com/press/history-for-european-spaceflight-isar-aerospace-reaches-orbit-and-deploys-payloads-on-second-flight
03
vanguarda · score 8
Contrafactuais dentro do raciocínio
Intervenções em CoT medem vazamento de valor com método reaproveitável em evals.
fonte: Counterfactual Resampling to Analyse Model Behaviour
fonte original
https://www.lesswrong.com/posts/cc2H38bmSq4TySusR/counterfactual-resampling-to-analyse-model-behaviour
https://www.lesswrong.com/posts/cc2H38bmSq4TySusR/counterfactual-resampling-to-analyse-model-behaviour
04
interessante · score 7
Dois modelos disputam fronteira
Review de capabilities de SOTA recente; útil para decidir stack, sem método novo.
fonte: Claude Mythos 5.1 and Fable 5.1: Capabilities
fonte original
https://www.lesswrong.com/posts/QHoF3tJvryRtmAmMg/claude-mythos-5-1-and-fable-5-1-capabilities
https://www.lesswrong.com/posts/QHoF3tJvryRtmAmMg/claude-mythos-5-1-and-fable-5-1-capabilities
05
interessante · score 7
Zero day ativo no Chrome
Patch urgente de V8 em uso real; alto valor defensivo, pouca granularidade pública.
fonte: Update Your Browser: Google Patches Chrome Flaw Hackers Were Already Using
06
interessante · score 6
Kit prático para Claude Code
Encaixa em Claude Code com hooks e regras, mas consolida práticas conhecidas.
fonte: WorldFlowAI/everything-claude-code
07
interessante · score 6
Chrome preserva privilégios do Google
Sinal de risco de plataforma e enclosure; útil para decisões de navegador e dependência.
fonte: Chrome again exempts Google from user site data settings
08
interessante · score 6
Flock vira rastreador policial
Caso de LPR em rede expõe abuso operacional de vigilância urbana.
fonte: Flock used >100 times to track veteran who recorded traffic stop
fonte original
https://reason.com/2026/09/02/wisconsin-cops-used-flock-over-100-times-to-track-a-navy-veteran-after-he-lawfully-recorded-a-traffic-stop/
https://reason.com/2026/09/02/wisconsin-cops-used-flock-over-100-times-to-track-a-navy-veteran-after-he-lawfully-recorded-a-traffic-stop/