As I understand, a lot of mathematics, at least the part about solving problems, is basically back and forth between exploration (which involves pattern matching) and formalising. We've basically solved formalising a while ago, and now LLMs are getting better and better at exploration.

If you think about it, it's also what a lot of other intellectual activity looks like, at least in STEM.

There are "ungodly geniuses" within mathematics but no one is saying every mathematician is an "ungodly genius". The quality of results you get from an LLM can vary greatly depending on the environment you place it in and the context you provide it. This isn't to say it's your fault Claude Code can't fix whatever issue you're having.

> Meanwhile I can’t get Claude code to fix its own shit to save my life.

Maybe this should give you some hint to that you're trying to use it in a different way than others?

You're right we're not