https://apurvanakade.github.io/blog/tags/llm/ Recent content in LLM on PostDoc Problems Hugo en Sat, 26 Apr 2025 22:41:39 +0000 https://apurvanakade.github.io/blog/maths--science/lean/2025-04-26-matharenaai/ Sat, 26 Apr 2025 22:41:39 +0000 https://apurvanakade.github.io/blog/maths--science/lean/2025-04-26-matharenaai/ <p>I was doing some research for a talk and came across this website for recording AI results on math problems: <a href="https://matharena.ai/">https://matharena.ai/</a></p> <p>LLMs have been getting better and better at solving math problems but there is a worry that all they do is regurgitate what they already know. So, if an AI has seen a problem before you can expect it to solve it but if it hasn&rsquo;t then all bets are off. Many of the progress claims are in fact reporting these memorized solutions.</p>