You’re right that it’s a bad program because it isn’t one and that’s the point.

You then (correctly) point out how that doesn’t equate to “good reasoning” in math and thats because it isn’t.

Keep its “creativity”, while adding more specifically tuned models around an API will be what AGI is.