bluesky — Pookleblinky — 16 Sep 2026
A genAI math proof might actually be correct, it might actually do what it said it could do and not just be stolen from…
#ai-mathematics
A genAI math proof might actually be correct, it might actually do what it said it could do and not just be stolen from a human mathematician.
What it doesn't do, and can never do, is create a mental model in a human's head that makes them go "holy shit this is the same as ___"