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 zxcmx on Saturday August 29, 2020 @07:37PM (#24320181)
Existence proofs remain popular however, as do establishing upper or lower bounds.
[ Parent | on HN ]

There are no comments on this comment yet.