bluesky — Turd Ferguson — 15 Sep 2026
The math proof recently cracked by a team using AI to brute force the problem is a great example of how AI *should* be u…
#ai-assisted-mathematics #automated-reasoning #research-methodology
The math proof recently cracked by a team using AI to brute force the problem is a great example of how AI should be used. As a mind multiplier, not a mind subtractor.