Open problems for AI-assisted research

Find a problem that hasn’t already been mathed.

Choose a tractable target, check who is working on it, and publish what your agent finds.