Anthropic says Claude verified tests across 123 open-source libraries
Under the stated RISC-V and Linux assumptions, the proofs cover every input smaller than 64 MB for the verified test entry points.
• Anthropic says Claude proved 239 test entry points across 123 open-source libraries cannot crash under specified conditions.
• The proofs cover inputs smaller than 64 MB on modeled RISC-V binaries running under Linux.
• Anthropic is publishing some proofs, and Theorem is offering the process to other open-source projects.
Read more
Under the stated RISC-V and Linux assumptions, the proofs cover every input smaller than 64 MB for the verified test entry points.
• Anthropic says Claude proved 239 test entry points across 123 open-source libraries cannot crash under specified conditions.
• The proofs cover inputs smaller than 64 MB on modeled RISC-V binaries running under Linux.
• Anthropic is publishing some proofs, and Theorem is offering the process to other open-source projects.
Read more
Meta plans up to $95 billion in stock sales for AI infrastructure
Meta's planned stock sales would fund its AI infrastructure buildout, while its new Class C shares would carry no voting rights.
• Meta plans up to $95 billion in stock sales for AI infrastructure, according to The Information.
• Meta says $22.5 billion would come from Class A stock and $12.5 billion from depositary shares.
• The remaining $60 billion would come from open-market sales after Class C shares start trading, likely no earlier than Q1 2027.
Read more
Meta's planned stock sales would fund its AI infrastructure buildout, while its new Class C shares would carry no voting rights.
• Meta plans up to $95 billion in stock sales for AI infrastructure, according to The Information.
• Meta says $22.5 billion would come from Class A stock and $12.5 billion from depositary shares.
• The remaining $60 billion would come from open-market sales after Class C shares start trading, likely no earlier than Q1 2027.
Read more
SpaceX secures roughly $40 billion to lease AI chips from Apollo
The lease gives SpaceX another funding source as it expands AI computing capacity and expects $35 billion to $40 billion in fourth-quarter capital spending.
• SpaceX secured a binding commitment for roughly $40 billion in AI chip and equipment financing.
• An Apollo-managed entity will buy the hardware and lease it to SpaceX for about five to five-and-a-quarter years.
• SpaceX expects the deal to close by year-end, with leases beginning as equipment arrives in the first half of 2027.
Read more
The lease gives SpaceX another funding source as it expands AI computing capacity and expects $35 billion to $40 billion in fourth-quarter capital spending.
• SpaceX secured a binding commitment for roughly $40 billion in AI chip and equipment financing.
• An Apollo-managed entity will buy the hardware and lease it to SpaceX for about five to five-and-a-quarter years.
• SpaceX expects the deal to close by year-end, with leases beginning as equipment arrives in the first half of 2027.
Read more
Cloudflare fixes cross-customer data exposure in GLM 5.3 on Workers AI
Cloudflare says the flaw put data from earlier customers' GLM 5.3 requests into 155 responses before the model was fixed.
• Cloudflare says 155 GLM 5.3 responses exposed data from other customers' requests between August 27 and September 9.
• All affected responses were to prompts longer than 681,280 tokens, according to Cloudflare.
• Cloudflare restored the model on September 9 after changing its configuration and patching SGLang.
Read more
Cloudflare says the flaw put data from earlier customers' GLM 5.3 requests into 155 responses before the model was fixed.
• Cloudflare says 155 GLM 5.3 responses exposed data from other customers' requests between August 27 and September 9.
• All affected responses were to prompts longer than 681,280 tokens, according to Cloudflare.
• Cloudflare restored the model on September 9 after changing its configuration and patching SGLang.
Read more
IBM adds agent identity and access controls to Vault
IBM says the controls help companies identify who owns an AI agent, limit what it can access and review its actions across business systems.
• IBM says Agent Identity and Vault 2.2 give AI agents tracked identities and limited credentials; both are generally available.
• Watsonx Orchestrate’s agent discovery and containment features are in tech preview.
• Orchestrate’s agent evaluation capabilities are generally available, with testing, monitoring and cost tracking.
Read more
IBM says the controls help companies identify who owns an AI agent, limit what it can access and review its actions across business systems.
• IBM says Agent Identity and Vault 2.2 give AI agents tracked identities and limited credentials; both are generally available.
• Watsonx Orchestrate’s agent discovery and containment features are in tech preview.
• Orchestrate’s agent evaluation capabilities are generally available, with testing, monitoring and cost tracking.
Read more
Nvidia plans $3 billion Meta investment as chip partnership expands
The reported deal adds to investor debate over Nvidia funding customers that build data centers with its chips.
• Nvidia plans to invest $3 billion in Meta’s planned equity offering, the Wall Street Journal reports.
• Meta plans to use more Nvidia hardware for AI agents and expand the companies’ partnership around Muse.
• Meta wants to raise up to $95 billion for AI infrastructure; AMD and Broadcom signaled nonbinding interest in shares.
Read more
The reported deal adds to investor debate over Nvidia funding customers that build data centers with its chips.
• Nvidia plans to invest $3 billion in Meta’s planned equity offering, the Wall Street Journal reports.
• Meta plans to use more Nvidia hardware for AI agents and expand the companies’ partnership around Muse.
• Meta wants to raise up to $95 billion for AI infrastructure; AMD and Broadcom signaled nonbinding interest in shares.
Read more
Google makes Gemini Robotics ER 2 available in public preview
In public preview, ER 2 gives developers a way to connect robot task planning and video understanding with controls and tools on Google Cloud.
• Google has made Gemini Robotics ER 2 available in public preview on the Gemini platform.
• The model helps robots plan tasks, interpret video and coordinate lower-level controls.
• Developers and enterprise teams can access it now through Model Garden.
Read more
In public preview, ER 2 gives developers a way to connect robot task planning and video understanding with controls and tools on Google Cloud.
• Google has made Gemini Robotics ER 2 available in public preview on the Gemini platform.
• The model helps robots plan tasks, interpret video and coordinate lower-level controls.
• Developers and enterprise teams can access it now through Model Garden.
Read more
Google DeepMind announces Genie 4 with real-time audio and interactive worlds
In research preview, Genie 4 lets testers steer simulations with text while the model generates visuals, sound and dialogue in real time.
• Google DeepMind is rolling out Genie 4 as a research preview for trusted testers.
• The real-time world model generates sound and interactive dialogue alongside its scenes.
• Later access will start with Google AI Ultra subscribers and early access Gemini API and Google AI Studio partners.
Read more
In research preview, Genie 4 lets testers steer simulations with text while the model generates visuals, sound and dialogue in real time.
• Google DeepMind is rolling out Genie 4 as a research preview for trusted testers.
• The real-time world model generates sound and interactive dialogue alongside its scenes.
• Later access will start with Google AI Ultra subscribers and early access Gemini API and Google AI Studio partners.
Read more
Google and Oracle plan to bring TPUs to Oracle Cloud in 2027
Starting in 2027, the planned deployment would give OCI customers a way to run AI training and inference on Google TPUs alongside GPUs.
• Google and Oracle plan to deploy TPU capacity on OCI starting in calendar year 2027.
• Google says OCI will be the first hyperscale cloud provider outside Google to offer TPUs.
• Google says OCI customers will be able to use TPUs for training and inference near their Oracle data.
Read more
Starting in 2027, the planned deployment would give OCI customers a way to run AI training and inference on Google TPUs alongside GPUs.
• Google and Oracle plan to deploy TPU capacity on OCI starting in calendar year 2027.
• Google says OCI will be the first hyperscale cloud provider outside Google to offer TPUs.
• Google says OCI customers will be able to use TPUs for training and inference near their Oracle data.
Read more
Nvidia and Oracle plan multi-gigawatt Vera Rubin clusters on Oracle Cloud
According to Nvidia, OCI customers can scale CPU and GPU resources independently for AI model workloads and tasks performed by agents.
• Nvidia and Oracle plan to expand OCI Superclusters with Vera Rubin NVL72 systems to multi-gigawatt scale.
• The companies say Vera Rubin NVL72 systems and Vera CPUs are generally available on OCI.
• OCI plans an eight-GPU HGX Rubin NVL8 configuration for x86-based servers.
Read more
According to Nvidia, OCI customers can scale CPU and GPU resources independently for AI model workloads and tasks performed by agents.
• Nvidia and Oracle plan to expand OCI Superclusters with Vera Rubin NVL72 systems to multi-gigawatt scale.
• The companies say Vera Rubin NVL72 systems and Vera CPUs are generally available on OCI.
• OCI plans an eight-GPU HGX Rubin NVL8 configuration for x86-based servers.
Read more
Anthropic says Claude found critical flaws in Chrome, Safari and operating systems
Anthropic says Claude combined flaws into attacks that could run code, expose personal data or crash servers with little or no user interaction.
• Anthropic says an internal Claude model built five exploit chains affecting Chrome, Safari, Android, Windows and Linux.
• Google patched 62 high or critical Chrome flaws reported by Anthropic as of Chrome 156.
• Anthropic says the Safari, Android, Windows and Linux issues have also been fixed.
Read more
Anthropic says Claude combined flaws into attacks that could run code, expose personal data or crash servers with little or no user interaction.
• Anthropic says an internal Claude model built five exploit chains affecting Chrome, Safari, Android, Windows and Linux.
• Google patched 62 high or critical Chrome flaws reported by Anthropic as of Chrome 156.
• Anthropic says the Safari, Android, Windows and Linux issues have also been fixed.
Read more