Advancement in math +AI 2025