This does seem pretty cool. I also think it wouldn’t be too hard to personalize the LLM to whatever level of math background you do have. So the things that you wrote make sense with a basic undergraduate background, but people with more formal math experience might want something that is more tailored to their higher-level understanding.
This does make confirmation by the author harder, which I do think seems kind of important.
In the examples above, there two pieces of “here’s what this terminology typically means” (which seems less useful if you’re already quite familiar), and “here’s what it represents in this context”. Would this be as simple as letting mathematicians toggle the first part off?
This does seem pretty cool. I also think it wouldn’t be too hard to personalize the LLM to whatever level of math background you do have. So the things that you wrote make sense with a basic undergraduate background, but people with more formal math experience might want something that is more tailored to their higher-level understanding.
This does make confirmation by the author harder, which I do think seems kind of important.
In the examples above, there two pieces of “here’s what this terminology typically means” (which seems less useful if you’re already quite familiar), and “here’s what it represents in this context”. Would this be as simple as letting mathematicians toggle the first part off?