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