Britain puts £100 million behind an AI Biosecurity Lab
A new nonprofit will pair frontier AI with biological science, backed by additional model and compute commitments from OpenAI and Anthropic.
Science.
Where artificial intelligence meets scientific discovery. Research, evidence, and the questions still open.
Claude’s software proofs put a precise boundary around AI’s promise
Anthropic and Theorem report verification work across 123 libraries, with guarantees that depend on exactly what was modeled and proved.