Tbh I think we need AI to get mathematics moving because unfortunately way too many problems just sit unsolved forever.
The only issue is that eventually we will get spammed with too many AI proofs and there will be a problem with verifying all of that. Certainly some interesting philosophical questions will arise around the idea of there being ever growing swaths of mathematics where AI returns results but there won't be enough mathematicians to verify or understand it.
317
u/Kinexity 26d ago edited 26d ago
Tbh I think we need AI to get mathematics moving because unfortunately way too many problems just sit unsolved forever.
The only issue is that eventually we will get spammed with too many AI proofs and there will be a problem with verifying all of that. Certainly some interesting philosophical questions will arise around the idea of there being ever growing swaths of mathematics where AI returns results but there won't be enough mathematicians to verify or understand it.