Mathematicians open a review hub for OpenAI’s AI-generated math manuscripts
The oai-math-revised project invites contributors to add citations, improve exposition and identify errors in a 719-manuscript collection.
Science.
Where artificial intelligence meets scientific discovery. Research, evidence, and the questions still open.
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.
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.