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>