reasoninghintbullishOpenAI's internal version of Astra solved ten significant advances in mathematics and theoretical computer scienceGreg Brockman01 Aug 2026https://x.com/gdb/status/2083457463337287721