mastodon — John Carlos Baez — 7 Sep 2026
RE: https:// mathstodon.xyz/@tao/1172309839 38174038 @ tao writes: "For the first time in the history of mathematic…
#ai-in-mathematics #open-problems #mathematics-philosophy
RE: https:// mathstodon.xyz/@tao/1172309839 38174038 @ tao writes: "For the first time in the history of mathematics, we are faced with the situation that open problems in pure mathematics -- one of the primary fuels for mathematical discovery -- are being mined as a non-renewable resource". Very important thought! But maybe it's renewable if one is willing to solve an already solved…