acm-header
Sign In

Communications of the ACM

ACM News

Mathematicians Think Like Machines For Perfect Proofs


View as: Print Mobile App Share:
Machine-minded mathematician

Machine-minded mathematicians will rule the future.

Credit: Petrovich9/Getty

It's difficult to get computers to think like humans, so mathematicians are trying the opposite.

From New Scientist
View Full Article

 


 

No entries found

Sign In for Full Access
» Forgot Password? » Create an ACM Web Account