What are recent AI math breakthroughs? | AI News GlobAI