> If the worry is that AI companies are turning open problems into benchmarks and potentially “using up” fertile mathematical problems before humans can develop the ideas around them, what exactly should the companies do differently?

Just stop doing that. Don't treat unsolved math problems as some cheap benchmark to beat.

Leave the math for mathematicians, and let them use AI in a way that helps the field, not in a way that harms it.