bluesky — David Usharauli — 17 Sep 2026
In my view, If AI can solve a math problem it may mean that the problem is already conceptually understood in terms of h…
#ai-mathematics #philosophy-of-mathematics
In my view, If AI can solve a math problem it may mean that the problem is already conceptually understood in terms of how to solve it. What remains is often the tedious work of formal derivation and verification which AI can do much faster.
#science
buff.ly/pFbdIRm