News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.