4 ms·
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 th
by chvid 6mo ago
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.
- brandensilva 6mo agoAlso curious about this, it seems like it would be important to guide these tools more specifically based on the domain of expertise.
- ndriscoll 6mo agoWhy wouldn't you just use coding agents and ensure you have e.g. Lean and Mathlib in the environment?
- gverrilla 6mo agothe system prompt could be narrower, for instance. there's no reason for such a harness to know about React stuff, for instance.
- ndriscoll 6mo agoDoes 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.
- arcticfox 6mo agoI am not part of the scene but I am sure there is, Tao himself talks a lot about this type of thing
- steveklabnik 6mo agohttps://aristotle.harmonic.fun/ https://aristotle.harmonic.fun/ is the one I've heard of previously in regards to LLMs solving previous Erdős problems.