3 ms·
Yes, one of the things I find hardest about using Claude code for Mathematics is keeping negativity out of the notes and memory. First of all, it will convince
by black_knight 2mo ago
Yes, one of the things I find hardest about using Claude code for Mathematics is keeping negativity out of the notes and memory.
First of all, it will convince itself that a task is just too hard and find excuses not to try hard enough.
Then when it struggles on something it loves to write down confusing notes about things which it believes cases the problem. Then next iteration it reads its own note, misinterprets it and completely messes up by trying to avoid some imaginary problem.
- tosh 2mo agointeresting! it sounds like this might benefit from a ui that helps to edit/re-write the history I also think this would make sense for programming but there it is a bit harder to justify the effort when you are working on something that really matters this can make the difference though ty for sharing!
- winwang 2mo ago(not the above poster but) I set up a local workspace for it to read/write from, so that edit is effectively just VSCode/vim. Unfortunately, it seems more verbose when writing out to file.
- johnnienaked 2mo agoYet a significant percentage of people simultaneously believe it "reasoned" its way to novel mathematical proofs. Something doesn't jive
- ndriscoll 2mo agoPerhaps it could benefit from being prompted to work more formally and make more incremental proofs? e.g. if it thinks it has an obstruction, it should prove that some example shows the obstruction, or prove that the property does in general cause a problem. Or if it has an idea for a lead, it could show that whatever property does imply the thing it wants. It could also dispatch to a subagent to report back with these kinds of incremental proofs (prove this really would be a problem, prove this would help, etc.).