Karpathy's 'autoresearch' agent did not improve its own code, but it points towards systems that could as well as towards way ...
👉 Learn how to apply induction to prove the sum formula for every term. Proof by induction is a mathematical proof technique ...