All news

221ic Electronics Network10:31

AI score80

Anthropic's prospectus discloses $131.7 billion in cash reserves and future compute commitments exceeding $500 billion

Anthropic disclosed in the S-1 filing submitted to the U.S. Securities and Exchange Commission that as of June 30 it held $112.4 billion in cash and cash equivalents, plus another $19.3 billion in short-term investments, totaling $131.7 billion—a scale exceeding nearly all non-bank U.S. companies, with only Berkshire Hathaway and Alphabet as exceptions. Based on an IPO fundraising scale that may exceed $100 billion, its cash reserves could rise to more than $230 billion. As of June 30, the company also disclosed approximately $321.4 billion in expected future undiscounted lease obligations and $265.6 billion in expected future fixed or minimum guaranteed commitments, totaling more than $500 billion; compute and infrastructure expenses in the first half of the year were $8.95 billion.

Same story · 128 reports

#Industry news#Anthropic

AAyi AI Notes10:31

AI score75

Axiom says AxiomProver agent swarm completed Lean formalization of the Classification of Finite Simple Groups theorem in 24 days

Axiom announced the completion of a complete Lean auto-formalization of the Classification of Finite Simple Groups theorem; the proof spans about 15,000 pages and was completed by over 100 mathematicians across generations. According to the account, the AxiomProver agent swarm produced about 50 million lines of Lean code in 24 days and fixed logical gaps in the original work.

Quoted postAxiom · @axiommathai

The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations. https://t.co/Y1P26abyPQ

Same story · 6 reports

#Papers/Research#Agents#Reasoning

RRohan Paul10:31

AI score75

Bloomberg: OpenAI plans to purchase AI chips from Google

Bloomberg reports that OpenAI plans to purchase AI chips from Google, incorporating its competitor's processors into its own computing infrastructure. Richard Ho, head of OpenAI's chip team, previously worked on Google TPU-related efforts. Oracle will also offer TPUs in its cloud services, and Google's chips are spreading as an alternative to Nvidia GPUs to external buyers and competitors' cloud platforms.

Same story · 6 reports

#Industry news#OpenAI#Google

RRohan Paul10:31

AI score67

Anthropic IPO Filing Sets Potential Market Size at $40 Trillion per Year

According to a WSJ report, Anthropic estimated in its IPO filing that the economic value of all work by global knowledge workers in 2025 exceeds $40 trillion, and treats this entirety as its own potential market, higher than SpaceX's estimate of $28.5 trillion. Its argument is that frontier AI can boost the productivity of these workers, thereby expanding this portion of value.

Same story · 128 reports

#Industry news#Anthropic

RRohan Paul09:27

AI score78

Axiom Uses a Swarm of AI Agents to Complete the Lean Formalization of a 15,000-Page Mathematical Proof in 24 Days

Axiom announced the completion of the Lean auto-formalization of the Classification of Finite Simple Groups; this mathematical proof is about 15,000 pages and was completed by more than 100 mathematicians across generations. After rewriting, it is about 40 million lines of Lean code, written in 24 days by a swarm of AI agents under the guidance of mathematicians. Axiom said that at the start of this year, getting AxiomProver to write a correct 10,000-line Lean proof still required weeks of repeated guidance; this scale is about 4,000 times that, and it attributes the leap to simultaneously rebuilding all three layers: the model, the harness, and the infrastructure.

Quoted postAxiom · @axiommathai

The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations. https://t.co/Y1P26abyPQ

Same story · 6 reports

#English text is being prepared.#Agents#Reasoning

RRohan Paul09:27

AI score70

Math and AI advisory group calls on OpenAI to disclose Yang-Mills proof

The Mathematics and Artificial Intelligence Advisory Group publicly called on OpenAI to release its undisclosed Yang-Mills proof, requesting the related natural-language and Lean output. OpenAI says its model proved Yang-Mills existence on September 9 and proved quantum chromodynamics on September 18, with Lean completing the first check on October 16. Its Kakeya and exponential-time hypothesis results were published directly to GitHub, while the physics-related documents remain held by reviewers led by David Gross.

Same story · 2 reports

#Industry news#OpenAI#Reasoning

RRohan Paul09:27

AI score67

Physical Intelligence reportedly in talks for at least $1 billion in new funding at a valuation of about $20 billion

Bloomberg reports that Physical Intelligence is in talks for at least $1 billion in new funding at a valuation of about $20 billion, nearly double its valuation of $11.5 billion earlier in 2026. Its valuation rose from $2.4 billion in November 2024 to $5.6 billion in November 2025, and if this round is completed, it will be about four times that figure in less than a year. This round of valuation increase comes shortly after the Pi API beta launched on October 13, which offers external developers hosted fine-tuning and inference of its latest robotics models through a waitlist.

#Industry news#Embodied AI

RRohan Paul09:27

AI score65

Anthropic says Claude has been used in real drug programs at 6 companies

Anthropic said that over the past few months, its scientists have established deep research partnerships with 6 organizations developing new medicines, while also launching its own drug discovery efforts. Claude's work went beyond proposing molecular ideas: it generated about 35,000 antibody designs in roughly one month, coordinated 11 external laboratories for a one-person biotech company, and identified 7 production issues that human reviewers had missed. Most of this work is still at the preclinical stage, and one drug in Anthropic's own program could enter human trials as early as the end of 2028.

Quoted postAnthropic · @AnthropicAI

Over the past few months, Anthropic scientists have engaged in deep research partnerships with six organizations developing new medicines. We've also begun drug discovery efforts of our own. In doing so, we’ve learned much more about how Claude can support the many stages of drug development. In this blog post, we share some early results from these efforts, and describe how this work fits in with our wider ambitions in the life sciences. https://t.co/EVbxkdDTgJ

Same story · 5 reports

#Industry news#Anthropic#Agents

RRohan Paul09:27

AI score75

Google TPUs will run on a hyperscale cloud outside Google for the first time, with Oracle deploying starting in 2027

Google's TPUs will run on a hyperscale cloud outside Google for the first time, with Oracle deploying capacity starting in calendar year 2027 and gradually expanding over several years. Oracle provides power, cooling, and data center networking; its Acceleron network connects TPU clusters to Oracle's databases and storage, letting enterprises fine-tune and deploy models next to their data without cross-cloud transfers. Google says the eighth-generation TPU delivers up to 12.6 PFLOPS of FP4 compute per chip, achieves over 97% effective cluster uptime during large-scale training, and improves performance per dollar by up to 80% for low-latency serving; its open-source TorchTPU stack lets existing PyTorch code and tools such as vLLM and SGLang run on TPUs without rewriting models.

Same story · 9 reports

#Industry news#English text is being prepared.#Google

RRohan Paul09:27

AI score58

Anthropic and GSA Reach OneGov Agreement, Claude at 40% Discount for Government Agencies

Anthropic has reached a new OneGov agreement with the U.S. General Services Administration (GSA) to offer Claude at a 40% discount to federal, state, local, tribal, and territorial governments. About 500 U.S. government agencies are using Claude, weekly active users of Claude for Government have grown about 8-fold since February, and federal civilian usage has grown about 20-fold within a year. The previous $1-per-person federal Claude offer will expire on October 31; the replacement is a 40% discount on Claude Enterprise, Claude for Government, and the Claude API, billed by usage with no minimum spend; the discount also covers state, local, tribal, and territorial governments that were previously excluded from the federal-only offer, and will expand in the coming months to orders purchased through cloud providers.

Quoted postAnthropic · @AnthropicAI

We're expanding our partnership with @USGSA. Under a new OneGov agreement, we are bringing Claude to federal, state, local, tribal, and territorial governments at 40% off. https://t.co/p0lA6cP2y1

Same story · 3 reports

#Industry news#Anthropic

AAnthropic09:27

AI score62

Anthropic Partners with Six Drug Discovery Organizations and Launches Its Own Drug Discovery Project

Anthropic said that over the past few months, its scientists have established deep research collaborations with six organizations developing new drugs, while the company has also launched its own drug discovery work. Anthropic said this has given it a better understanding of what support Claude can provide across multiple stages of drug development, and it shared early results from this work and the company's overall plans in the life sciences in a blog post.

Same story · 5 reports

#Industry news#Anthropic

AAnthropic09:27

AI score55

Anthropic reaches OneGov agreement with the U.S. General Services Administration to offer Claude to governments at all levels at a 40% discount

Anthropic announced the expansion of its partnership with the U.S. General Services Administration (USGSA), offering Claude to federal, state, local, tribal, and territorial governments at a 40% discount through the new OneGov agreement. The tweet included a link to the agreement.

Same story · 3 reports

#Industry news#Anthropic#English text is being prepared.

HHacker News Trending09:26

AI score56

Anthropic Expands GSA Partnership, Offering 40% Discount on All Claude Products to Government

Anthropic is expanding its partnership with the U.S. General Services Administration (GSA), offering government partners a 40% discount on Claude Enterprise, Claude for Government, and the Claude API through a new agreement. The discount covers all product forms and extends to state, local, tribal, and territorial governments. Anthropic says the agreement is expected to save the government $1 billion, with agencies paying only for actual usage and no minimum purchase commitment required; currently about 500 U.S. federal, state, and local government organizations use Claude, and Claude for Government's weekly active users have grown about 8x since February. Anthropic has also launched a dedicated program to help agencies implement Claude, and says Claude for Government became generally available on September 30 with FedRAMP High authorization.

#Industry news#Anthropic#English text is being prepared.

JJiwei.com09:26

AI score67

Anthropic Publicly Releases IPO Prospectus, Plans to List on Nasdaq

Anthropic submitted an S-1 filing to the U.S. Securities and Exchange Commission on Monday, applying for an initial public offering, and is expected to trade on the Nasdaq Global Select Market under the ticker symbol "ANT." The company had confidentially filed for a listing in June, with Goldman Sachs Group and Morgan Stanley serving as lead underwriters.

Same story · 128 reports

#Industry news#OpenAI#Anthropic

JJiwei.com09:26

AI score60

Anthropic IPO prospectus shows 7 co-founders each hold about 1.4% of shares

The IPO prospectus disclosed by Anthropic on Monday shows that its 7 co-founders each hold about 1.4% of shares, and based on the previous round's valuation of $965 billion, each person's wealth exceeds $13 billion. If the IPO achieves the $2 trillion valuation target proposed by investors, without accounting for dilution from new shares, each person's net worth will rise to more than $27 billion. In a letter to potential shareholders, the founders said that AI and Anthropic represent one of the largest economic opportunities in history.

Same story · 128 reports

#Industry news#Anthropic

JJiwei.com09:26

AI score78

Anthropic Files IPO Prospectus; US Media Says Its Listing Will Test the Entire AI Industry

Anthropic has officially filed its IPO prospectus and could list as early as next month; the IPO may raise $100 billion. The prospectus discloses that it plans to invest up to $807 billion over the next decade in data centers, chips, and cloud computing, but its third-quarter revenue was $16.8 billion, up 45% quarter-over-quarter, a slower growth rate than the 141% in the second quarter. The New York Times said this listing will, for the first time, give the outside world an in-depth look at the operating conditions of the key companies underpinning the AI boom, and will test the sustainability of massive investments in chips, data centers, and other areas.

Same story · 128 reports

#Industry news#OpenAI

336Kr · AI09:26

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.

Same story · 18 reports

#Industry news#Agents#English text is being prepared.

336Kr · AI09:26

AI score62

NeuroXess Completes 700 Million Yuan Series B Financing; Tri-All Brain-Computer Interface System Enters Registrational Clinical Trials

NeuroXess has completed a 700 million RMB Series B financing, jointly led by SDIC Jili, Shenzhen Capital Group, and Qinzhi Capital. The funds will be used for multicenter clinical trials and registration approval, mass-production construction, and next-generation product R&D for its "fully implanted, fully wireless, fully functional" brain-computer interface system. The system has completed 65 clinical trials, and in July this year entered the Class III medical device registrational clinical trial stage, led by Huashan Hospital affiliated with Fudan University, with Professor Mao Ying's team serving as the principal investigators. Founder Tao Hu said that the current dozens of cases of data are not yet sufficient for the algorithm to transfer across different patients, and hundreds or even thousands of cases need to be accumulated.

Same story · 2 reports

#Industry news#Embodied AI

336Kr · AI09:26

AI score80

Mathematicians Begin to Understand OpenAI's Navier-Stokes Millennium Prize Proof

According to Scott Armstrong, a research director at the French National Centre for Scientific Research, several groups of partial differential equation experts have largely understood the reasoning behind OpenAI's Navier-Stokes proof, and believe it goes beyond what humans could have originally conceived but does not exceed human comprehension. OpenAI used an unreleased new model to mobilize about 10,000 agents for an 88-hour effort, generating approximately 130 billion tokens, which were then translated into Lean by GPT-6 Astra for line-by-line machine checking. On October 6, a preprint pointed out discrepancies in some statements and derivations between the original manuscript and the Lean version, and the Clay Institute still lists the problem as in progress.

#Papers/Research#Reasoning#OpenAI

Hheise online09:26

AI score76

Anthropic Prepares for IPO: Prospectus Discloses Compute Commitments and Security Risks

Anthropic is preparing for an IPO, with a valuation estimated at up to $2 trillion, and the prospectus published this Monday disclosed details on security, customer dependence, and corporate governance. In the first nine months of 2026, about 5% to 7% of revenue came from customers found to have violated usage policies; the top five customers contributed about 25% of revenue, and in the first half of 2026, 48% of revenue was obtained through platforms such as AWS, Google Cloud, and Microsoft Azure. Existing and planned AI infrastructure agreements total about $657 billion, of which about $417 billion is non-cancelable, and spending could rise to $806 billion after including hardware capacity still under negotiation. After listing, the seven founders will collectively control 50.1% of ordinary shareholder voting rights. The specific listing date has not yet been determined; according to The Wall Street Journal, the target is the week of November 16.

Same story · 128 reports

#Industry news#Anthropic#OpenAI