Palomar proof registry, autonomous protein design, synthetic consensus

Edition 021 flagged the verification gap: AI is producing results faster than anyone can check them. This week, three responses showed up. Tao's Palomar registry gives Lean proofs a submission and review infrastructure. BioNexus grades whether an agent's biology analysis is scientifically valid. Lea keeps the mathematician in the loop during formalization. On the production side, Anthropic's protein-design agent and Inherent's Faraday keep pushing. Full edition: hallway.aris.pub/no/022/