Or it could be the beginning of a new kind of science where people form theories to explain machine findings....https://twitter.com/_SalvorHardin/status/1078053904577904641 …
-
-
I agree that finding proofs is like playing games, because we can evaluate any proof to determine if it is sound.
-
The problem with proofs is you still have the open vs closed domain issue. You aren't selecting from a fixed, clear set of actions per well defined turn. In addition to difficulty in generating valid proofs, evaluation remains an issue because there can be many valid, long paths
- 4 more replies
New conversation -
-
-
In games, we have the true objective and we can evaluate ANY pair of proposed solutions to determine which is better. But in supervised learning, we only have the data, so many many different proposed solutions look equally good.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.