Lean
I was doing some research for a talk and came across this website for recording AI results on math problems: https://matharena.ai/
LLMs have been getting better and better at solving math problems but there is a worry that all they do is regurgitate what
. . . Read more