Will Google be the second-best Math AI lab at the end of August 2026? | Prophecy