benchmarkscritiquebearishOpenAI's Astra paper lacks crucial scientific details about how the model works, proof verification methods, human involvement, and error ratesGary Marcus01 Aug 2026https://x.com/GaryMarcus/status/2083568386072887529