Re:How close are computers to automating mathematical reason...
by whatshisface on Saturday August 29, 2020 @04:31PM
(#24319219)
Knowing which conjectures were true would probably help mathematicians work more efficiently. At the very least nobody would spend time searching for counterexamples to true conjectures.
[ Parent
| on HN ]
There are no comments on this comment yet.