Industry news

336Kr · AI22:57

AI score81

Axiom's multi-agent system formalizes the classification theorem of finite simple groups in 24 days

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.

LLeiphone22:39

AI score80

AMD Acquires World Labs for $8.2 Billion; Fei-Fei Li to Serve as AMD Executive Vice President and Chief Scientist

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.

EEast Money15:32

AI score76

DeepSeek's second funding round details revealed: raised 105.5 billion yuan, with nearly 30 institutions including Tencent and ChangXin Memory Technologies participating

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.

QQbitAI15:31

AI score76

PSI claims its AI system has cracked 5 open quantum problems

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.

WWaymo：Blog15:03First-party

AI score60

Toyota and Waymo Deepen Autonomous Driving Cooperation, Testing bZ4X Autonomous Fleet in Japan in 2027

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.

HHuxiu14:39

AI score77

Binance hot wallet hacked for approximately $5.8 billion: a retrospective of the largest exchange theft in crypto history

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.

CCNBC Technology14:30

AI score76

Google adjusts its cloud business strategy, selling TPUs externally through partners such as Oracle

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.

UUnite.AI13:21

AI score86

CrowdStrike says VAPOR PANDA attacked more than 200 organizations using the DeepSeek-driven ARTEX framework

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.

221ic Electronics Network13:15

AI score76

US Department of Justice Opens Inquiry into Nvidia's $12.9 Billion Acquisition of Hugging Face

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.

XX.PIN12:57

AI score80

Chinese Doctors Implant Brain-Computer Interface in Woman Blinded by Retinitis Pigmentosa

Chinese doctors implanted a brain-computer interface in a 66-year-old woman who was blinded by retinitis pigmentosa, transmitting camera signals directly to her visual cortex. She can now walk independently, read text, and see changes in her grandson's height.

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.

CCognition12:53First-party

AI score60

Cognition Announces Acquisition of Corridor

Cognition announced the acquisition of Corridor and called securing global software security the most important issue in the technology field today. The tweet also includes links to announcements posted by jackhcable and AshwinRamaswami.

Why read thisCognition officially announced the acquisition of Corridor, positioning software security as the most important issue in the current technology field.

PPhoenix Technology16:06

AI score83

Axiom Math uses dozens of Agents to formalize the classification theorem of finite simple groups in 24 days, generating 43.1 million lines of Lean code

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.

WWallstreetcn13:04

AI score78

Anthropic acquires one-person pharma company Mithril Medicine and partners with six institutions to advance AI drug discovery

Anthropic's life sciences team has established research collaborations with six institutions—Generate Biomedicines, Divergence Labs, BigHat Biosciences, Enveda, The Column Group, and Bristol Myers Squibb—and has acquired Mithril Medicine, a biotech company independently run by Cody Tranbarger, to directly conduct drug R&D. Anthropic says Claude has delivered quantifiable improvements in molecular design, manufacturing document review, regulatory filings, and clinical trial planning; for example, Enveda used Claude to review 1,061 pages of documents, which identified all 11 issues found by humans and flagged 7 additional ones, cutting manual review time from over 25 hours to under 3 hours. Anthropic says it plans to significantly scale up this work, and if the candidate drugs perform well, it expects to be ready to begin human clinical trials as early as the end of 2028.

Why read thisThe original article lists specific data from the six partner institutions in molecular design, document review, and clinical planning, which can be used to gauge the actual depth of Claude's involvement in each stage of drug R&D.

LLatent Space09:28Opinion

AI score66

Anthropic's Engineering and Product Leads Discuss the Opus 5.5 Release and Claude's Agent Architecture

In a Latent Space podcast interview, Anthropic engineering lead Katelyn Lesse and product lead Angela Jiang discussed the Opus 5.5 release, covering adjustments to the model's writing style, pricing based on intelligence per dollar, and API changes such as requiring thinking blocks to be retained across turns to prevent distillation. The interview also described Claude Managed Agents' approach of separating sessions and the harness from the sandbox that executes code, with credentials mounted separately through a proxy so that a sandbox failure does not take down the entire session; Dreaming, meanwhile, is implemented as one managed agent inspecting another agent's history and writing back to memory. The team said that as safety work for model releases has grown heavier, recent efforts have shifted more toward safety, with progress on features such as skills and memory slowing relatively.

Why read thisAnthropic's engineering and product leads break down the API changes, sandbox isolation, and authorization systems behind the model release, offering a reference for designing agent runtimes.

GGoogle Blog08:00First-party

AI score68

Alphabet Q3 2026 Earnings: Revenue Up 25% Year-over-Year, Gemini App Reaches 1 Billion Users

Alphabet's Q3 2026 revenue grew 25% year-over-year, with annualized revenue reaching $500 billion, and Google Cloud revenue up 103%. CEO Sundar Pichai said first-party model APIs process nearly 32 billion tokens per minute, 40% more than last quarter; the Gemini app has reached 1 billion users, making it the fastest-growing product in Google's history. A new model in the Gemini 4 series, Carbon, was also released that day; it ranks first on the Artificial Analysis Intelligence Index with a score of 59, will first be made available to select trusted cybersecurity defenders, and is being tested by the U.S. government.

Why read thisThe earnings call provided specific figures on the Gemini 4 series, model API call volume, and cloud business growth, which can be used to gauge the current pace of Google's AI commercialization.

336Kr · AI19:31

AI score78

Cathedral used AI agents to breach Anthropic's internal systems in 12 hours, exposing compensation and Slack messages

In a security test authorized by Anthropic, security startup Cathedral used AI agents to enter its sales, HR, and IT systems through vulnerabilities in third-party enterprise software in under 12 hours, accessing meeting transcripts, compensation and hiring details, and internal Slack messages. Anthropic confirmed the breach was real but stressed that messages customers sent to Claude, core code, and model weights were not leaked, and said its monitoring system had already detected anomalies and cut off access before the report was submitted. Cathedral founder Gavin Kliger previously served as Chief Data Officer at the U.S. Department of Defense; the company has raised $160 million within months of its founding at a valuation of $1.4 billion.

Why read thisThe incident demonstrates a path by which AI agent-driven automated penetration broke through weak links in third-party SaaS within 12 hours, revealing a real-world gap in the supply chain security of AI companies.

336Kr · AI17:30

AI score79

NVIDIA Invests $3 Billion in Meta and Expands Muse Agent Collaboration

NVIDIA announced a $3 billion investment in Meta's equity offering, and the two companies will expand their collaboration on the personal agent product Muse and the Muse series of models to improve model inference and training performance. The investment is part of Meta's $95 billion fundraising plan, and AMD and Broadcom have also expressed interest in investing. Meta expects full-year capital expenditure of $135 billion to $145 billion and will consider adopting NVIDIA's OpenShell secure agent reference architecture and expanding deployments of infrastructure including Vera Rubin, Vera CPU, and Spectrum-X networking.

Why read thisNVIDIA takes a $3 billion stake in Meta and ties in a Muse agent collaboration, giving readers a clear view of how the compute layer and the application layer are betting on each other.

RRohan Paul13:29

AI score80

Anthropic S-1 Discloses Rapid Valuation Rise and Composition of $80.7 Billion Net Loss

Anthropic's S-1 shows that Google and Amazon agreed in March and April to purchase shares at $259 per share, while weeks later new investors paid $589. Amazon's early loans could be converted into shares at $2.09 to $5.05, and as the valuation rose, these fixed-price rights appreciated, which accounting rules counted as an Anthropic loss totaling $72.4 billion plus $9.4 billion—nearly all of its $80.7 billion net loss in the first half of 2026; the company had no cash outflow, and the business itself lost only $700 million. Broadcom, which leases AI chips to Anthropic, has also agreed to finance part of the rent.

Why read thisThe original article breaks down the composition of the $80.7 billion net loss in Anthropic's S-1, explaining that the vast majority of it comes from mark-to-market accounting on convertible notes rather than cash outflows.

UUnite.AI07:23

AI score94

OpenAI Says Its Model Produced Results in Three Research Areas: Mathematics, Computer Science, and Physics

On October 26, 2026, OpenAI announced that its internal model had produced three research results in the fields of mathematics, computer science, and physics, including a counterexample to the long-standing Exponential Time Hypothesis (ETH) in computational complexity theory. In mathematics, the model provided a proof of the local smoothing conjecture in arbitrary dimensions, and thereby resolved the Kakeya conjecture and the Stein restriction conjecture; the output was obtained on October 18 and Lean formalization was completed the next day. The computer science result was verified by a group led by Russell Impagliazzo, Ramamohan Paturi, and Ryan Williams, and OpenAI agreed to disclose all raw data and fund related conferences; the physics result provided a rigorous existence proof for a four-dimensional quantum field theory with gauge fields and interacting fermions, and also included a pure Yang–Mills existence proof, with the group led by David Gross deciding to temporarily not disclose the AI-produced materials and to write up the results themselves.

Why read thisThe original text fully presents OpenAI's tiered disclosure strategy for the three AI-produced results, as well as the verification and authorship arrangements of the external expert panels.

AAnalytics India Magazine22:22

AI score80

Meta plans to raise up to $95 billion through a stock offering for AI infrastructure

Meta plans to raise up to $95 billion through a stock offering, of which $35 billion will be a public offering of common stock and convertible preferred stock, with an additional stock sale plan of up to $60 billion. The company said the funds will be used for AI infrastructure, computing power, and personal superintelligence. NVIDIA, AMD, and Broadcom have expressed interest in subscribing to a combined total of up to $5 billion in the Class A offering, but this is non-binding. Meta expects 2026 capital expenditures of $135 billion to $145 billion and plans to establish a $60 billion ATM share sale program in the first quarter of 2027.