Agree, you're technically correct, and AI it's solving Erdos problems, even if we don't know exactly how or why. More mech interp & other research will help. https://x.com/OpenAI/status/2060451757818601808