Anthropic and Theorem Partner: Claude First to Prove Zero Crashes in RISC-V Assembly Across 123 Libraries

Anthropic and Theorem announced that Claude generated roughly 180 million lines of Rocq proof code for 123 real open-source libraries in Google OSS-Fuzz, mathematically proving at the RISC-V assembly level that 239 entry points do not crash under any input. The work also uncovered hidden vulnerabilities and points toward automated, mass-producible formal verification.

AI形式化验证 开源软件安全 Anthropic
1,607

OpenAI Decisions API Goes Generally Available: Input-Only Billing, 150-Millisecond Responses, Redefining AI Decision Costs

OpenAI has made the Decisions API generally available with input-only billing at $0.10 per million tokens and response times as low as 150 milliseconds. The API returns probabilities, enumerated choices, or scores instead of generated text, targeting lower cost and latency for high-frequency classification, routing, and review workloads.

OpenAI Decisions API GPT-6 Luna
791

Meta Q3 Capital Expenditure of $34.9 Billion Surpasses Operating Cash Flow: AI Infrastructure Investment Crosses the Critical Threshold

Meta reported Q3 2026 revenue of $64.6 billion, up 26% year over year, while quarterly capex of $34.9 billion exceeded operating cash flow of $32.8 billion and turned free cash flow negative at about $2.1 billion. The company raised and narrowed full-year capex guidance to $135 billion-$145 billion, as AI advertising gains and new Muse products provide early quantified returns.

Meta Artificial Intelligence 资本支出
1,506

Google DeepMind Engineer Resigns in Protest Over Military AI: The Governance Vacuum Behind a $1.2 Billion Contract

In October 2026, DeepMind research engineer Sofia Liguori resigned and spoke to the BBC, protesting Google’s military AI contracts with the U.S. Department of Defense and the Israeli military after Andreas Kirsch’s earlier departure. Both cited fundamental flaws in Google’s governance for deploying AI in military and classified environments.

谷歌DeepMind 军事AI AI Ethics
435

Storm-0940 Breaches 2,250 Microsoft 365 Tenants in 3 Hours Using ARTEX Framework

Starting in September 2026, China-state-backed threat group Storm-0940 used the public AI agent penetration-testing framework ARTEX in a ConnectWise supply chain attack to launch automated attacks against more than 2,250 Microsoft 365 tenants, with some tenants going from initial targeting to privileged access in under three hours. Microsoft called the incident a milestone case of AI weaponization.

AI Safety 供应链攻击 国家级威胁
997

Mistral Large 4 Released: A 1.05-Trillion-Parameter Open-Source Behemoth and Europe's Strongest Statement on AI Sovereignty

Mistral AI has launched the public beta preview of Mistral Large 4, a 1.05-trillion-parameter sparse MoE model with 5.2 billion active parameters, a 160-million-parameter vision encoder and a context window of up to 1 million tokens, trained from scratch on 3,800 NVIDIA Grace Blackwell GPUs inside its own European data centers. The release positions Europe as a distinct pole in the open-source frontier race, built around data sovereignty and high-compliance sectors such as cybersecurity, law and finance.

Mistral 开源大模型 MoE架构
960

OpenAI’s Three GPT-6 Models Land on Google Cloud, Officially Opening the Era of Unbundled Large Models

OpenAI has made three GPT-6 models and its Codex agentic coding workflow available in Google Cloud’s Model Garden, completing a six-month push across the three major hyperscale clouds. The move signals that frontier models are becoming cross-platform commodities, with cloud platforms competing on infrastructure, governance, and integration rather than exclusive model access.

OpenAI 谷歌云 GPT-6
1,072

Claude Sonnet 4.6 Smoke Evaluation Main Leaderboard Score Plunges 16.9 Points; Material Constraints Fall 30 Points in One Day

In today's Smoke evaluation, Claude Sonnet 4.6's main leaderboard score fell from 80.99 to 64.13, a 16.9-point drop driven mainly by material constraints falling from 88.30 to 58.30. The 30-point single-day drop in material constraints likely reflects sample variation from the 10-question daily set, while engineering judgment and the integrity rating remained unchanged.

Claude Sonnet 4.6 Material Constraints Smoke Test
339

After Rejecting Intel and Qualcomm, Tenstorrent Proves Its Independent Path Is Viable with $1.5 Billion Funding

Tenstorrent has raised $1.5 billion in Series E funding at a $6.2 billion post-money valuation after rejecting acquisition offers from Intel and Qualcomm, as its Galaxy Blackhole inference platform and licensable IP strategy attract backing from major institutional investors. The round highlights growing institutional confidence that AI inference infrastructure will support multiple suppliers beyond NVIDIA.

AI Chips Funding Tenstorrent
565

Voxtral 3 Released: Mistral Launches Real-Time Voice Agents in 50 Languages, Taking a European Self-Hosted Route Against OpenAI

Mistral AI has released Voxtral 3, a voice-agent SDK and model family spanning real-time recognition in 50+ languages, emotion-adaptive text-to-speech in 35+ languages and 50+ dialects, and in-call tool use. It combines tiered pricing with EU-hosted or self-hosted deployment, making European data sovereignty its main structural differentiator against OpenAI.

Mistral 语音智能体 Voxtral
348

Behind the $80.7 Billion Paper Loss: Anthropic’s Real Cash Burn Rate and the Logic of a $2 Trillion IPO

Anthropic’s reported $80.7 billion net loss for H1 2026 is largely a non-cash accounting effect; stripping out $72 billion in valuation adjustments leaves about $8.7 billion in operating losses. The real story is accelerating infrastructure spending, rapid revenue growth, high customer concentration, and a planned IPO at a valuation of up to $2 trillion.

Anthropic IPO 财务分析
563