Comment by fred123123

The reason i am asking is about research mathematics. In this application what is really important is continual intuition and theory building, this takes time and trial and error. However this is very fruitful in solving problem. Currently the LLM can do mathematics that is somehow already in their weight very well. See the recent things. But i suppose true research would require continual learning that goes beyond the context window. Thats why i am wondering if this solvable. My intuition is that it is easily solvable, hence we could make a true mathematical continuously building theory to prove things.