Interesting article on progress in automated reasoning

JOSEPH SHIPMAN joeshipman at aol.com
Mon Dec 6 18:35:07 EST 2021


Anyone want to comment on this?

https://www.quantamagazine.org/how-close-are-computers-to-automating-mathematical-reasoning-20200827/

Sent from my iPhone
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20211206/165d7da3/attachment.html>


More information about the FOM mailing list