News for hackers. Stuff that matters.

A comment on Mathematician's anger over his unread 500-page proof. Parent comment

Re:Mathematician's anger over his unread 500-page proof by DMac87 on Friday January 09, 2015 @02:56PM (#8864121)
This is an area of research: http://en.wikipedia.org/wiki/Automated_theorem_proving
[ Parent | on HN ]

There are no comments on this comment yet.