The mathematicians published machine-checkable proofs. OpenAI announced its result on a call with reporters. Alina Maria Stan 3d ago
Anthropic says Claude designed working protein binders, and beat human experts on some Ana Maria Constantin Aug 19, 2026
The AI maths breakthroughs everyone quotes are counterexamples, not proofs Ana Maria Constantin Aug 17, 2026
‘Access versus catastrophe’: Anthropic reopens biology on its top model Ana Maria Constantin Aug 7, 2026
‘The governance does not exist’: AI just designed 16 viruses from scratch Ana Maria Constantin Aug 7, 2026
The web turned 35 this week. To celebrate, someone pitched a hotel in orbit Ana Maria Constantin Aug 7, 2026