Math AI 2025 May TZ2