Math AI 2025 November ALL