acm-header
Sign In

Communications of the ACM

ACM News

Mathematicians Think Like Machines For Perfect Proofs


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