mastodon — José A. Alonso — 2 Oct 2026
To grieve, or not to grieve? (Mathematics and AI). ~ Kevin Buzzard. https://xenaproject.wordpress.com/2026/10/01/to-grie…
#formalization #mathematical-software #ai-for-math
To grieve, or not to grieve? (Mathematics and AI). ~ Kevin Buzzard. https://xenaproject.wordpress.com/2026/10/01/to-grieve-or-not-to-grieve/ #AI4Math