Math AI 2025 May TZ3