[chvid]

I am curious if there is a “harness” for maths out there (like the system prompt and tool collection in Claude code but for maths instead of coding)?

Asking the llm to structure its response in plan and implementation, allowing it to call tools like python, sage, lean etc.

[steveklabnik]

https://aristotle.harmonic.fun/ is the one I've heard of previously in regards to LLMs solving previous Erdős problems.

[brandensilva]

Also curious about this, it seems like it would be important to guide these tools more specifically based on the domain of expertise.

[arcticfox]

I am not part of the scene but I am sure there is, Tao himself talks a lot about this type of thing

[ndriscoll]

Why wouldn't you just use coding agents and ensure you have e.g. Lean and Mathlib in the environment?

[gverrilla]

the system prompt could be narrower, for instance. there's no reason for such a harness to know about React stuff, for instance.

[ndriscoll]

Does Claude Code's system prompt know about react? Why? That would be dumb even for coding for e.g. server side applications.

Like when I'm programming with Go or Scala or Rust, codex just assumes the relevant stuff is on my PATH. If it needs to reference library definitions, it looks at the standard locations (which the model already knows) for the package cache. etc.