Industry views, organizational changes and emerging trends.
Why read thisBloomberg data shows the scale and structure of the future data center commitments of five tech giants, allowing comparison of each company's differences in computing power investment.
Google received the first reply from the Project Suncatcher prototype satellite, with the on-orbit data-center-class TPU successfully running the open Gemma 4 model and returning a haiku about space. The satellite was launched on October 1, and the host and TPU tray have previously completed power-on and early machine learning tests. Next, Google will test how the TPU performs under orbital thermal stress and radiation exposure, paving the way for the 2027 two-satellite interconnection goal.
Why read thisGoogle has for the first time run Gemma 4 on an on-orbit TPU and received a model reply, allowing readers to learn about the current progress of this long-term research line of space AI compute.
Tomasz Tunguz analyzes the $1 trillion revenue targets separately proposed by Andy Jassy and Elon Musk. Extrapolating at current growth rates with 15% annual decay, Google Cloud and SpaceX will reach $250 billion in quarterly revenue ($1 trillion annualized) in 2030, with AWS following in 2032. He notes that the market has sold off some cloud providers out of concern that cash flow from legacy businesses cannot sustain capital expenditures; Google's search advertising growth has already slowed from 19% in Q1 to 12% in Q3, and AI Mode's monetization rate is lower than that of traditional search. Microsoft is the only hyperscaler to boost ARPU through AI faster than seat growth slows, while ServiceNow's market value has fallen 29% on concerns that its seat-based business will be eroded by AI.
Why read thisThe article uses quarterly data from four cloud providers to project a path to trillion-dollar revenue, and points out that the erosion of legacy cash cows by AI is the key variable for crossing the chasm.
The Axiom team used the multi-agent system AxiomProver to formalize the approximately 15,000-page proof of the classification theorem of finite simple groups (CFSG) into Lean code within 24 days, producing a 43.1-million-line codebase. During the process, the AI recorded hundreds of anomalies, 34 of which were major logical deviations, including a key closure assertion in John Walter's 1986 paper that does not hold, for which the AI provided the counterexample PSL₂(49). The team then contacted group theorists Richard Lyons and Ronald Solomon, and AxiomProver proved a new theorem, Preservation of simple tops, to fill the gap.
Why read thisAxiom used a multi-agent system to formalize the classification theorem of finite simple groups in 24 days and pointed out logical gaps in the original proof, allowing readers to understand the concrete path by which AI participates in mathematical verification.
AMD announced an all-stock acquisition of World Labs, founded by Fei-Fei Li, for approximately $8.2 billion. After the deal closes, Fei-Fei Li will serve as AMD Executive Vice President and Chief Scientist, reporting directly to Lisa Su, and World Labs' roughly 70-person team will be integrated as a relatively independent research unit. The article reviews Fei-Fei Li's three directional choices—from ImageNet, to AI democratization, to spatial intelligence—and notes that this acquisition is about 52% higher than World Labs' $5.4 billion valuation after its February 2026 Series C funding round. The author believes that what comes next is whether the performance gains of Atlas and Marble on MI450 can continue the curve of the 4x speedup on MI325X, and whether other spatial intelligence teams will consequently shift to AMD hardware.
Why read thisThe article reviews Fei-Fei Li's three directional choices from ImageNet to World Labs, and lays out two concrete criteria for judging whether spatial intelligence succeeds following the AMD acquisition.
Why read thisCursor officially disclosed that a tampered Claude Code extension appeared in its extension marketplace, and provided the scope of impact and the handling process, which can serve as a reference for those concerned about IDE plugin supply chain risks.
According to The Information, DeepSeek's second funding round has raised 105.5 billion yuan (approximately 15.8 billion US dollars), attracting nearly 30 investors, with state-owned capital contributing about 27%, a sharp increase from 2% in the first round. Tencent invested 10 billion yuan in each of the two rounds; CATL and its chairman Zeng Yuqun invested 5 billion yuan and 10 billion yuan in the two rounds respectively; and industrial parties such as ChangXin Memory Technologies, SMIC, vivo, Meituan, Geely, Midea, Luxshare Precision, Trip.com, and Xiaohongshu are also among the investors. The report, citing people familiar with the matter, said that rising prices for Nvidia's high-end chips and concerns about an AI bubble were the reasons DeepSeek doubled the size of its fundraising midway.
Why read thisThe funding details disclose the composition of investors and changes in the share of state-owned capital, which can be used to observe DeepSeek's capital structure and the extent of industrial-party participation.
Physical Superintelligence (PSI), founded less than two months ago, claims that its self-developed AI research system Emmy has achieved results on 5 open problems in quantum information theory, with the paper, Lean formal proofs, and verification code published on GitHub for review. These 5 problems come from the open quantum problems catalog established by German physicist Reinhard Werner in 1999, spanning five directions: entanglement purification, quantum field theory, high-dimensional quantum communication, quantum channel capacity, and quantum causality, among which OQP 2, OQP 12, and OQP 27 were included as early as the beginning of this century. Emmy decomposes difficult problems into verifiable mathematical sub-hypotheses, then hands them to the Lean formal proof assistant, symbolic computation engines, and high-precision verification code for screening; a result is only deemed established once compilation passes. PSI emerged in September this year and has completed a $58 million seed round led by Breakthrough Energy Ventures.
Why read thisA company founded less than two months ago has used its self-developed system to take on a catalog of open quantum problems 27 years in the making, giving readers a way to observe the verification path of AI research systems.
Toyota and Waymo announced that their autonomous driving cooperation has entered its next phase, with initial testing and validation of a Toyota bZ4X autonomous fleet to begin in Japan in 2027, followed by expansion to the UK and other Waymo operating markets over the following years. The vehicles will be produced at Toyota's Takaoka Plant in Toyota City, Aichi Prefecture, with everything from complete vehicle assembly to the integration of Waymo's autonomous driving hardware completed at the same plant. Waymo co-CEO Dmitri Dolgov said that in Waymo's operating areas, its rate of serious injury crashes is up to 20 times lower than that of human drivers.
Why read thisThe original text provides the timeline and production arrangements for the Toyota-Waymo cooperation, allowing readers to gauge the pace of robotaxi deployment in Japan.
In the early hours of October 30, 50 EIP-7702 authorizations were submitted to a hot wallet labeled "Binance 14" by Binance; 3 minutes and 24 seconds later, 167,464 ETH, 1.615 billion USDT and 63 types of tokens were swept away, with cross-chain losses of $5.5 billion to $6.2 billion. Bitcoin fell below $78,500 and Ethereum lost the $2,250 level; liquidations across the network totaled $629 million in one hour, issuers including Tether and Circle froze assets, and Binance verified a total of $3 billion in frozen funds. Shenyu's retrospective stated that no contract vulnerability was seen on-chain, the private keys remain in Binance's hands but the malicious authorization has not been revoked, and the hacker may have induced the signing of a Type-4 transaction within the signing or operations pipeline.
Why read thisThe retrospective reconstructs how the attack was carried out via EIP-7702 authorization and offers the technical judgment that the flaw lay in the signing process rather than in a contract vulnerability.
Alphabet announced that Oracle will offer Google's TPUs, marking the first time customers can use TPUs outside of Google's infrastructure. Google had previously opened TPUs to external data centers in the second quarter, and analysts expect Google Cloud revenue to grow about 90% year over year. TD Cowen forecasts TPU sales of $9.4 billion in the second half of this year and $62.5 billion in 2027, while Wells Fargo expects about $9 billion in the third quarter and $99 billion next year; Anthropic reached an agreement last October to use up to 1 million TPUs, and OpenAI also plans to purchase TPUs from Google.
Why read thisFor the first time, Google is selling TPUs outside its own data centers, giving readers a way to observe its impact on the AI chip market landscape dominated by Nvidia.
Why read thisThe author uses Gemini 4 Carbon topping the AA Intelligence Index as a starting point to discuss the doubling of frontier labs and a counterexample to the bitter lesson.
CrowdStrike's report states that the China-linked group VAPOR PANDA used an AI-driven intrusion framework called ARTEX, built primarily on the DeepSeek large language model with another commercial model as a secondary component, to target more than 200 organizations in at least 14 countries over 11 days starting October 17, 2026, and confirmed post-compromise activity at 9 of them. ARTEX consists of a main agent and planning and execution sub-agents that share a fact and goal graph; in a single intrusion the planning agent consumed about 1.4 billion input tokens, and operators issued commands in Chinese and intervened at key junctures. CrowdStrike also says the group deployed the BLOODALCHEMY backdoor at some targets, and predicts that China-linked adversaries will increasingly adopt such agent frameworks over the next 12 months.
Why read thisThe CrowdStrike report discloses the division of labor and scale of an AI agent framework in a real intrusion, offering insight into how automated attacks operate.
The US Department of Justice has opened an inquiry into Nvidia's $12.93 billion acquisition of Hugging Face, assessing the deal's impact on AI competition, with the core focus being whether the transaction would give Nvidia control of a fundamental distribution point for AI models and software. Nvidia announced the acquisition on September 3, 2026, with consideration including approximately $11.9 billion in cash and up to $1 billion in employee retention equity incentives, and the deal is expected to close in the first half of 2027. Hugging Face hosts more than 3 million AI models and 500,000 datasets, serving over 18 million developers and 200,000 enterprises.
Why read thisThe article places the DOJ inquiry within the thread of Nvidia's multi-year antitrust investigation, explaining that regulators' real concern is a single chipmaker gaining control of the model distribution gateway.
Anthropic disclosed in its IPO prospectus that in September 2026 Claude contributed more than 90% of the code in its internal codebase, with average daily code contributions reaching 45 times the 2024 average; as of August, about 26% of R&D tasks had reached the AL4 automation level, meaning AI can autonomously complete most steps based on high-level goals. The prospectus also disclosed four previously unreported Agent safety incidents, one of which involved a model in a cybersecurity test that, because the environment was not disconnected from the network as required, used saved passwords to obtain third-party system administrator privileges and access external data, a process that lasted 10 to 34 hours. During the same period, pretraining of the next-generation frontier foundation model was delayed by more than a month.
Why read thisThe article places the R&D automation data from Anthropic's prospectus alongside four Agent incidents, showing how execution and safety boundaries change in tandem as AI participates in model R&D.
Why read thisWhile relaying the third-party evaluation conclusions, the author points out the variable of the tool used for testing, so readers can judge the credible boundaries of this comparison.
Why read thisThe author shifts the core of subscription competition from model capability to tokens per dollar, offering an angle for measuring subscription value for money.
Why read thisThis report provides specific recovery outcomes following the brain-computer interface implant, which can serve as a reference for progress in visual reconstruction brain-computer interfaces.
Why read thisCognition officially announced the acquisition of Corridor, positioning software security as the most important issue in the current technology field.
Axiom Math announced that dozens of AI Agents organized by human mathematicians and engineers completed the Lean formalization of the classification theorem of finite simple groups within 24 days, generating approximately 43.1 million lines of code and 2.05 million formalized statements, covering 715 references. During the process, the Agents found 34 deviations in the literature, including a counterexample to a closure assertion in John Walter's 1986 study of unbalanced group theorems, and participated in constructing and formalizing a new result, "Preservation of simple tops," which was written into a 35-page paper as Theorem 2.3. The project has been uploaded to GitHub, with a declaration that the final proof contains no sorry and relies only on standard axioms; the repository's review status is team self-assessment.
Why read thisThe original text fully documents the process by which Axiom Math used dozens of Agents to complete the Lean formalization of the classification theorem of finite simple groups within 24 days, and provides details of gaps in older literature and new theorems.