AlphaFold team disbanded, verification as the bottleneck, Tao's ICM caution

This week, verification crystallized as the central constraint for AI in science. Google Research shipped a prototype chaining every AI-generated claim to its evidence. A NeurIPS workshop adopted "the bottleneck is verification" as its thesis. A benchmark for comparing human and AI manuscript reviews landed on bioRxiv. And at the International Congress of Mathematicians, Terence Tao framed AI as a foundational crisis for the discipline, comparable. Full edition: hallway.aris.pub/no/019/