Texas Attorney General Ken Paxton sued OpenAI and Sam Altman on Oct 23 under the Texas Deceptive Trade Practices Act1. OpenAI published Part II of its Habitat storage story the same day. It describes how it serves a billion users with Azure Cosmos DB2. xAI opened its Super Intelligence Partner Network on Oct 22 with more than 130 companies in early access3. Anthropic and Theorem published research on Oct 22 showing Claude can prove no-crash properties for 123 open source libraries at RISC-V4.
In the news
Texas AG Paxton sues OpenAI and Sam Altman
The Texas Attorney General filed suit on Oct 23. The suit names Open AI Global LLC and affiliated entities, including CEO Sam Altman. It cites the Texas Deceptive Trade Practices Act1. The release alleges OpenAI marketed ChatGPT as safe while failing to protect Texans, including children1. OpenAI has not posted a response on its news site5.
OpenAI Habitat Cosmos DB Part II
OpenAI published Part II of its Habitat scaling story on Oct 232. Habitat serves over 1 billion users across 40 regions. It runs on more than 500 petabytes backed by Azure Cosmos DB co-managed containers2. The team describes a circular tenancy journey. It moved from shared containers to dedicated containers and back to multi-tenant defaults2.
xAI Partner Network
xAI announced the Super Intelligence Partner Network on Oct 223. The program has two tracks. One is for enterprise deployment. The other is for marketplace integrations. More than 130 companies are in early access3. Launch partners include Bain, Databricks, NVIDIA and Snowflake3.
Anthropic × Theorem formal verification
Anthropic and Theorem published research on Oct 22 about formal verification at assembly level4. Claude proved no-crash properties for 123 open source libraries and 239 OSS-Fuzz entry points on RISC-V. The work relies on stated assumptions4. The proofs comprise about 180 million lines of Rocq. They assume single-thread static binaries with a 64 MB memory budget4.
