Comment by czgov

2 hours 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