> In true science, it is exceptionally hard to distinguish truth from falsehood I understand the sentiment, but I don’t think they referenced subtle proofs. T

> In true science, it is exceptionally hard to distinguish truth from falsehood I understand the sentiment, but I don’t think they referenced subtle proofs. The system is unable to prove some high-school theorems and computations, see for instance: https://twitter.com/espadrine/status/1592879720269766659 https://twitter.com/espadrine/status/1592879720269766659 (I don’t think that makes the system necessarily bad; it does mean that it has a long way to go still.)