mastodon — José A. Alonso — 9 Sep 2026
What is mathematics now, and what should it be? ~ Jeremy Avigad. https:// proofsandprompts.com/2026/09/0 7/what-is-mathe…
#philosophy-of-mathematics #ai-and-mathematics #mathematical-foundations
What is mathematics now, and what should it be? ~ Jeremy Avigad. https:// proofsandprompts.com/2026/09/0 7/what-is-mathematics-now-and-what-should-it-be/ # AI4Math