Noticiário do Joãozinho: Edition no. 8 · Nov. 3, 2026 · Evening

High importanceNov. 2, 2026

Anthropic releases FlashProve: an open-source “provable inference” prototype with zkSNARKs

Anthropic’s Frontier Red Team published progress on cryptographic proofs (zkSNARKs) to verify that a response came from a committed model without revealing the weights, and released FlashProve under Apache 2.0 (code, C++ and Lean verifiers, Lean proofs, and docs). On Llama 4 Maverick (400B MoE, 4-bit quantization), a single H100 generates proofs at about 110 tokens per second, with about 19 MB per 1,024-token request — about 70 to 95 times the GPU time of vLLM on the same model; verification takes about 17 seconds on 24 CPU threads. The post lists limits: no formal guarantee on the fast executable code, proof over an integer model under greedy decoding, architecture not hidden, contexts up to 1,024 tokens. @AnthropicAI amplified the announcement on X on Tuesday.

High importanceNov. 2, 2026

WIRED: network of more than 400 apps and domains hides sexually abusive deepfakes behind “innocent” AI apps

A WIRED investigation (02/11) describes a network of more than 400 apps and domains linked to Chinese-language developers and Hong Kong entity KeLing Technology Limited. Apps that present as pet portraits, language lessons, or workout coaches query a server (locale, language, identifier, ad referral) and, under certain conditions, load a web interface with explicit templates, including sexual violence. Researchers at AI Forensics and Infoblox found about 500 linked domains and tens of thousands of Facebook/Instagram ads; in one snapshot, Play Store apps totaled more than 350,000 downloads. After WIRED contacted them, Apple removed 19 apps; Google had already pulled most; Meta, which banned KeLing from ads in 2025, acted against thousands of accounts and pages and blocked 209 apps from advertising.

High importanceNov. 3, 2026

CrowdStrike launches the AI Kill Switch in Falcon Guardian: cuts the agent’s access to the model and the network

Also at Fal.Con Europe, CrowdStrike launched the AI Kill Switch, already available to Falcon Guardian customers: through centralized enforcement on the Falcon AI Gateway, security teams can quickly cut an agent’s access to the model when it becomes compromised or dangerous. In the same-day blog, the company details Agent Graph (linking instruction, communication, and execution), hooks for Claude Code, OpenAI Codex, GitHub Copilot, OpenCode, and Cursor, planned expansion to Linux/cloud/Kubernetes and Amazon Bedrock AgentCore (pre-beta), SafeMind detection, Falcon AI Gateway generally available, and Falcon Complete for Guardian (24/7 MDR for AI threats).

High importanceNov. 3, 2026

DeepMind launches Cheminformatics Skills in Google Antigravity for agentic drug discovery

Google DeepMind announced Cheminformatics Skills for Google Antigravity: the model orchestrates literature and database search, analysis, and candidate proposals, while deterministic tools (RDKit and ChEMBL/PubChem connectors) run the molecular calculations. In a demo with lung-cancer treatments (crizotinib/lorlatinib), the agent retrieves thousands of compounds, runs matched molecular pair analysis, trains potency models, and proposes rigidified macrocycles with synthetic routes in about an hour — a workflow that previously took multiple days. The company stresses that computational designs are hypotheses to validate in the lab. Skills ship today in Antigravity’s Science plugin; there is a six-month offer at the highest tier for 10,000 eligible scientists.

XHigh importanceNov. 2, 2026

Rumor/test: @chetaslua says “Fable 5.5” one-shotted a short animation with code only (no video/image model)

Chetaslua (@chetaslua) claims to have one-shotted a “pure code” animated short with a model he calls Fable 5.5 — prettier, in his account, than video models. He proposes a test (ask where @karpathy went in 2026, with no web/memory) to check whether the chat was routed to the “new” model; he says quality drops on “normal” Opus 5.5. In a follow-up he describes a ~66s film (fox, paper birds, clouds, lettering, score and SFX) in a single 1920×804 24fps HTML, ~2h40 of autonomous work, with no generated/stock images. Treat as the creator’s claim/rumor: Anthropic did not confirm Fable 5.5 in this reporting.

Engagement 1.5M views·7.7K likes·470 reposts·273 quotes·345 replies·5.3K bookmarks (as of Nov. 3, 2026 18:07)

XHigh importanceNov. 3, 2026

unusual_whales: Google would turn off Search for schools that opt out of AI (via NYT)

@unusual_whales wrote “BREAKING”: according to The New York Times, Google would turn Search off entirely for schools that opt out of AI features; schools could not disable AI Overviews/AI Mode alone, and rejecting AI would mean losing Search. The post sparks an “opt-out” vs. “bundle” debate. There is an echo on Reddit (r/artificial). Treat as an NYT-via-post account; the full NYT article was not opened in this reporting.

Engagement 599.7K views·6.8K likes·802 reposts·273 quotes·437 replies·788 bookmarks (as of Nov. 3, 2026 18:07)

XHigh importanceNov. 3, 2026

OpenAI: ChatGPT and Codex helping engineers build for the physical world (CAD, simulation, hardware)

@OpenAI posted that ChatGPT and Codex are helping engineers in the physical world and shared progress in mechanical, electrical, and simulation design — from internal hardware iteration to flows with industry collaborators. In the thread: two team members used GPT-6 Astra on a ~1-week side project to prototype a speech device with Codex (Astra on enclosure, PCB, interface, and software); they also cite Chip Ganassi Racing (3D scans → CAD/drawings) and Mazda (design via simulation), with engineers reviewing the outputs.

Engagement 254.1K views·2.9K likes·209 reposts·127 quotes·281 replies·766 bookmarks (as of Nov. 3, 2026 18:07)