reasoningcritiquebearishAstra has not yet solved significant open-world problems outside of formal verificationGary Marcus02 Aug 2026https://x.com/GaryMarcus/status/2083624922564473281