News for hackers. Stuff that matters.

A comment on How close are computers to automating mathematical reasoning?. Parent comment

Re:How close are computers to automating mathematical reason... by sukilot on Saturday August 29, 2020 @02:25PM (#24318280)
That's great, but not relevant to mathematicians doing their jobs.
[ Parent | on HN ]
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 ]