AI News for November 5, 2026 — 7min.ai

[NEWS] Data centers lose the midterms: 33+ local restrictions pass as anti-buildout governors win: Voters rejected data centers almost everywhere they appeared on the ballot.
[NEWS] Tencent releases Hy4, claims a spot among China's top open-weight models: Tencent released Hy4, its new flagship open-weight LLM, with stronger agentic capabilities built to power its enterprise software.
[RESEARCH] FlashProve prototype ships: 19 MB proofs, 70-95x inference overhead: Anthropic released FlashProve as an open-source zkSNARK prototype.
[NEWS] OpenAI acquires Pierre Computer Company to scale Git for coding agents: OpenAI is buying Pierre Computer Company, maker of Code Storage and open-source libraries that already power Codex: Trees (file navigation), Diffs (code review with in-diff fixes) and Highlights (real-time syntax highlighting).
[RESEARCH] OpenAI's autonomous pipeline finds and patches 948 Linux kernel root exploits: OpenAI built an autonomous pipeline that found, validated and generated patches for 948 local privilege-escalation vulnerabilities in the Linux kernel.
[NEWS] Isomorphic Labs in talks to raise about $5B for AI drug discovery: Alphabet's Isomorphic Labs is in talks to raise roughly $5B to fund its AI-driven drug discovery work.
[NEWS] Neocloud stocks sink as Goldman warns Democratic wins threaten 45% of planned US data center capacity: CoreWeave fell 9.2%, Iren 11% and Nebius 6% after the Democratic sweep, and SpaceX slipped 4%.
[TOOLS] ChatGPT now makes animated GIFs with OpenAI's Images 2.6 model: ChatGPT can now generate animated GIFs from a text prompt or uploaded photo, with controls for playback speed and frame-by-frame editing.
[NEWS] Apple cuts employees' daily AI budgets, some to $100: Apple lowered its engineering teams' daily AI spending cap from $300 to $200 in October, with some allowances heading to $100.
[NEWS] Sanders and Khan blast Google's school Search rule as DuckDuckGo moves in: Sen.

About 7min.ai · Subscribe to newsletter