
AI
Anthropic has released FlashProve, an open-source prototype that cryptographically proves an AI response came from the model you asked for, not a router's cheap swap-in.
Search
No phones and 13 stories for “open-source”

AI
Anthropic has released FlashProve, an open-source prototype that cryptographically proves an AI response came from the model you asked for, not a router's cheap swap-in.

AI
Anthropic's Claude generated 180 million lines of formal proof code for 123 open-source libraries, catching bugs that years of testing missed. The AI-for-security milestone could reshape how software is verified.

AI
Google published TorchTPU on GitHub, a native PyTorch back end that lets developers run PyTorch workloads directly on its TPU hardware, opening its AI stack to the world's most popular deep learning framework.

AI
DeepSeek published DeepInfer on GitHub, an open-source inference framework built to run its large language models at scale. The release puts the company's serving stack in developers' hands.

AI
OpenAI is reportedly in early talks to acquire Trail of Bits, a New York security firm that hunts vulnerabilities in open-source software. No deal has been confirmed.

Science
PopVax has dosed the first participants in a Phase I trial of PVX-001, a broadly-protective Covid-19 vaccine candidate that will be released open-source when the study ends.