Hacker News new | ask | show | jobs
by eab- 643 days ago
Why do you expect GPT being tuned on Lean will help it for research-level math?