http://www.sciencemag.org/cgi/content/short/325/5939/405
Quite interesting special issue.
"It is not enough to look at patterns; we need to study how they evolve and change."
The Purpose of Proofs
-
In discussions of AI and Mathematics, the discussion often goes to
mathematical proofs, such as the the First Proof challenge. So let's look
at the role ...
No comments:
Post a Comment