A new survey maps the AI-for-mathematics field—and its measurement traps

A June 2026 survey brings benchmarks, formal proof, multimodal reasoning, and reporting discipline into one research map.