4 ms·Why do you expect GPT being tuned on Lean will help it for research-level math?by eab- 2y agoWhy do you expect GPT being tuned on Lean will help it for research-level math?