We Need a Stockfish for Math

Oren Hartstein, undergraduate at Columbia University and author of a blog LLMs have become shockingly good at math. They solve competition problems, assist with research, and are improving fast enough that some fear human mathematicians are becoming marginal. I want to make the opposite critique: LLMs aren’t nearly good enough at math, and the way […]