Comment by czgov

1 hour ago

According to Tao and Gowers there are AI results that did proofs in clever ways. That’s one way new theories come about.

0 comments