reasoninghintbullishAn internal version of Astra solved 10 major open problems in mathematics, quantum complexity, and theoretical computer scienceNoam Brown01 Aug 2026https://x.com/polynoamial/status/2083467194663571701