alt Hacker NewsSurely 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.
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.