33
Mathematicians are grappling with the possibility that AI might eclipse them
(www.understandingai.org)
This is a most excellent place for technology news and articles.
How so? Particularly in intuitionist logic it would seem to me that they are the same thing.