Surely the way forwards is to take the results obtained by brute force with AI, for example that certain conjectures are true or false, then to use that knowledge to further human understanding.

Knowing that something is true or false will at least stop humans wasting time trying to prove or disprove it, and allow them to find a more elegant proof, or investigate the implications of the true/false result.

I think so.

Autonomous or human-directed AI agents submit their work to a public repository.

Then the scientific community draws from this pool of results, identifies the important ones, and starts working on adding the results to the greater body of scientific knowledge. This work of interpretation, synthesis and question formation should be recognised and rewarded in peer-reviewed academic journals.

I wrote a blog here talking about it: https://colinocallaghan.com/posts/answers-are-getting-cheape...

  Knowing that something is true or false

Maybe but it might also be useless. Knowing a very large number is the product of two very large primes doesn’t at all help the reader to understand factorization, for example.