3 ms·

If a human doesn't understand the proof, it might be useful for certain kinds of engineering, but not really that useful for mathematics except as an existence

If a human doesn't understand the proof, it might be useful for certain kinds of engineering, but not really that useful for mathematics except as an existence test.

looofooo0 21d ago
I don't known, can't we just also indirectly observe the wide platonic landscape of mathematics through observing AI results which humanity could not produce in a 1,000,000 years.
- tehjoker 19d ago
  I imagine this will become one kind of branch of mathematics.