Anthropic's Claude now writes code and proves it safe automatically
Anthropic had Claude generate mathematical proofs that existing code is correct, producing roughly 180 million lines of proof code for 123 open-source libraries.
Homepage items are hidden so this list continues with earlier updates. Keep scrolling to load more.
Anthropic had Claude generate mathematical proofs that existing code is correct, producing roughly 180 million lines of proof code for 123 open-source libraries.
Meta is delaying the enforcement of its new business terms after publishers raised concerns that they could allow the company to scrape news sites for AI training…
OpenAI is closing in on a new funding round of up to $30 billion but has lowered its valuation target to get there.
Canva Craft generates 2K images with planned layouts, text in 55 languages and editable elements through Dream Lab and a public API.
Google Cloud announced Agent Compute Engine, a compute service that gives every AI agent its own hardware-isolated microVM with no credentials inside.
You.com launched Inference Router, an OpenAI-compatible API for 12 open-weight models with a 99.9% uptime SLA, zero data retention, 100% US hosting…
Anima expands what care teams can do with OpenAI models, giving them more capacity to respond to patients.
vLLM serves GLM-5.3 on 16 H200s with PCP and DCP prefill and Hybrid HiSparse decode…
What's changed Fixed sandboxed Bash commands on macOS and Linux running the shell's startup files outside the sandbox before each command Fixed macOS sandbox denyWrite glob…
For the past two years, the story around enterprise AI adoption has mostly been about...
BackgroundAccording to the Communications Fraud Control Association's 2025 survey...
With Agent Compute Engine, Google is introducing a runtime environment designed specifically for AI agents…
Amazon Quick is a HIPAA-eligible service, but eligibility is not the same as compliance.
Voice agents often wait for an agent's full response before starting speech synthesis, adding latency users feel directly.
Elastic GPUs, sandbox growth, and the economics of the agent cloud
Meta has tweaked its business terms to remove language suggesting that it could freely train its AI models on news sites…
Rescale used the AI-Driven Development Lifecycle (AI-DLC) framework on AWS, with Strands Agents and Amazon Bedrock, to build an intelligent test-triage agent in weeks.
Only 13 percent of companies are getting real business value from their AI investments, according to a Gartner survey of 2,002 CIOs.
The ride-share giant previously deployed a much smaller pilot for ChatGPT Work but is now taking the enterprise agent company-wide.
Launched today, NVIDIA Minerva is an AIOps platform built to help teams find problems earlier and keep AI factories productive.
The AI startup Recursive is unveiling Flint, its first language model, a 40-billion-parameter MoE for local coding developed by former DeepMind researchers.
A month’s worth of security breaches in a single day – will things get worse before they improve? Also: Anthropic accused of version control “rip off”, and more
How Moshi turns market data into actionable insights, and why AI tools have to fit the trader’s workflow.
How Moshi turns market data into actionable insights, and why AI tools have to fit the trader’s workflow.
Claude Duet is available through waitlist for Pro and Max plan users.
DeepSeek has reportedly raised $15 billion in one of China's largest funding rounds, just days after the U.S.
Security researchers at Symantec have found an offensive AI agent that hijacks unprotected language models on the web and uses them to attack servers, steal databases…
Using an AI agent to shop for you is a strange experience. Tech companies have marketed them as personal assistants - the democratizing of labor that ordinarily would only be…
An investment research firm wanted to prove AI could revolutionize drug development.