reasoningfactbearishAt least one of Astra's putative proofs might be wrongGary Marcus02 Aug 2026https://x.com/GaryMarcus/status/2083635594421494037