...Links for math buffs and number-luvin' laymen
Mathematician Michael Harris, author of "Mathematics Without Apologies," announces a new newsletter to concern itself with AI and the mechanization of mathematics:
https://mathematicswithoutapologies.wordpress.com/2021/07/21/announcing-a-new-newsletter-on-mechanizing-mathematics/
Post a Comment
No comments:
Post a Comment