Automated theorem provers and their role in cryptography

By Morten Rotvold Solberg and Kristian Gjøsteen In the 1970s, Fields Medal winner Paul Cohen made the prediction that in the future, mathematicians would be replaced by computers, implying that all of mathematics – including the writing of proofs – could be automated (Sriraman, 2017). While arguably bold, Cohen’s prediction […]
Read more
You must be logged in to post a comment.