mastodon — John Carlos Baez — 30 Sep 2026
The Nine Wise Mathematicians have handed down their recommendations for AI companies who want to prove big mathematical…
#ai-ethics #ai-mathematics #theorem-proving
The Nine Wise Mathematicians have handed down their recommendations for AI companies who want to prove big mathematical theorems. Their first recommendation is "Don't." It kinda weakens their point that they don't stop there. agmai.org/general-sep29/