6 ms·
According to Tao and Gowers there are AI results that did proofs in clever ways. That’s one way new theories come about.
by czgov 1mo ago
According to Tao and Gowers there are AI results that did proofs in clever ways. That’s one way new theories come about.