Daily Tech Briefing — August 12, 2026

AI & Models

Anthropic model makes progress on Riemann hypothesis. An unreleased Anthropic model coordinated 60 subagents and tested 650 ideas over 1.5 days, improving the lower bound of solutions for which the Riemann hypothesis holds. Results were confirmed by in-house mathematicians and formalized in Lean. This follows other AI-driven math results this year, including solved Erdős problems and a disproof of the Jacobian conjecture — though the field remains divided on attribution standards for AI-assisted discovery.

Meta's open-weight strategy faces scrutiny. Meta unveiled new open-weight AI models, with Zuckerberg arguing the approach closes the gap with competitors. The company has yet to demonstrate durable advantage in a rapidly shifting landscape. Separately, Manus announced it will separate from Meta and return to independent operations — as part of regulatory compliance, user data generated after Meta's acquisition will be deleted August 23–24, 2026, with a backup window through August 23.

OpenAI leadership churn continues. Chloe Bakalar, OpenAI's head of ethics, departed less than a year after joining. COO Brad Lightcap, who joined in 2018 and served as CFO before becoming COO in 2022, is also leaving to "start something new." His exit follows other recent departures as OpenAI prepares for a potential IPO.

Gemini hits 1B users. Google's Gemini assistant surpassed 1 billion monthly active users — the company's 14th product to reach that mark and its fastest adoption curve ever. Google reports 63% of users engage via voice, with over 150 million images generated daily and more than 100 million active iOS users. Analysts question whether momentum can be sustained given slowing model release cadence and intensifying competition.

River AI raises $1.1B. Founded by xAI co-founder Igor Babuschkin, the two-month-old startup raised $1.1 billion in a seed/Series A led by General Catalyst and AMP PBC, with participation from Nvidia, AMD Ventures, Y Combinator, and Temasek. The company aims to rebuild AI training end-to-end for personally trainable agents, offering an API for reinforcement learning and LoRA fine-tuning on open models.

Security & Infrastructure

"Pass-ta-key" attack exposes passkey platform gaps. Researchers detailed a novel attack vector exploiting inconsistencies in how passkey apps handle Windows versus other operating systems. The findings highlight underappreciated weaknesses in passkey implementations, particularly around cross-platform credential management.

FBI warns on intimate image theft. Cybercriminals are hacking social media accounts to steal intimate images and videos via social engineering, brute-forcing with leaked passwords, and phishing. Victims face extortion, harassment, and sextortion. The advisory recommends unique passwords, MFA, and avoiding storing sensitive images online.

Amazon backs off-grid nuclear-powered data center. Amazon announced its first fully off-grid data center, powered directly by a nuclear plant. The facility is expected to become one of the largest single sources of U.S. carbon emissions, raising questions about the climate trade-offs of AI infrastructure expansion.

Meta fails to block states' $1.4T lawsuit. Courts ruled Meta cannot dismiss a massive multi-state lawsuit, determining Section 230 offers a defense against certain claims but doesn't grant blanket immunity. The case — centered on alleged harms to minors — moves toward trial.

Developer Tools & Open Source

Mojo 1.0 released. Modular announced the language's stable production-ready milestone, including Python-style lambda syntax, improved LSP server stability, memory safety diagnostics for reference invalidation, and more consistent `where` clauses. The company reaffirmed plans to open-source the compiler and toolchain in 2026.

Apple Silicon VM LLM performance unlocked. A research shim enables Metal GPU capabilities in macOS VMs running through Apple's Virtualization.framework. By changing two capability values (Apple family up to 9, threadgroup memory to 64KB), llama.cpp inference speeds improved up to 16x faster token generation on TinyLlama, approaching bare-metal performance. The technique is experimental and version-sensitive.

GitHub Copilot reverse engineering findings. A developer intercepted Copilot's traffic via MITM proxy, finding: an intent classification model routes prompts to different models; "recently edited files" context (up to 20 files, 8 edit summaries, 3 lines around changes) is sent even when unrelated to the current file; and a local SQLite `session-store.db` stores all prompts and responses in plaintext with no redaction. The author notes AI coding tools are becoming stateful systems where context assembly is the product differentiator.

New open-source tools. Write.md — a free, themeable Markdown editor for macOS with Vim mode, local spell checking, no telemetry, and no account requirement — launched on Apple silicon. git-knife offers a spreadsheet-like desktop GUI for editing commit metadata (messages, authors, dates), shelling out to system git CLI with bulk find/replace, preview, and backup refs.

Go as AI-assisted engineering language. An argument that Go's design philosophy — readability over writability, opinionated simplicity, integrated tooling — makes it ideal for AI-assisted development. Since AI generates code quickly, the bottleneck shifts to human review, where Go's predictability and explicit style reduce error rates.

Industry & Policy

Fusion supply chain investment. Kyoto Fusioneering received grants from the U.S. DOE and Tennessee to build a prototype fuel breeding device (Unity-3) at Oak Ridge National Laboratory, testing breeding blanket technology for tritium generation. Other fusion startups plan to use data from the experiments.

Uber exits Serve Robotics. Uber sold its entire stake in the autonomous sidewalk delivery company that spun out of Postmates. Serve learned of the selloff from the regulatory filing. The companies have diverged on operating models for their shared fleet, and Serve's CEO indicated the partnership agreement, set to expire in early 2027, likely won't be renewed.

Google tests homepage without search button. Google is trialing a version of its homepage for some logged-out desktop users that removes the "Google Search" button, replacing it with shortcuts to AI features like image generation, file queries, and Gemini brainstorming. VP of Search Robbie Stein confirmed the test on a small subset, noting search functionality is unchanged — users can still press Enter.

Tesla Cybercab with Starlink panel. Tesla showed the first Cybercab robotaxi featuring a Starlink satellite panel on its rear, without explaining its purpose. The vehicle already has 5G and doesn't need internet for autonomous driving. Elon Musk cited future traffic growth from AI agents, claiming Starlink is the only system capable of supporting that bandwidth — potentially providing recurring revenue for SpaceX.

Russian Ministry proposes expanding certificate revocation grounds. Mincifry drafted rules to broaden cases where Russian security certificates can be invalidated, aiming to strengthen certificate infrastructure reliability and trust in the national certification authority.

---

Briefing note: The Gemini milestone and Meta's open-weight release were covered across multiple sources with consistent framing. The Amazon nuclear data center story raises significant questions about AI infrastructure's environmental footprint that will likely intensify as more hyperscalers pursue dedicated power arrangements. The OpenAI executive departures — now including the ethics head and COO — suggest ongoing organizational turbulence ahead of a potential IPO.