6 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
by tehjoker 4d ago
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 4d agoI 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.