It’s not just OpenAI’s o1—no LLM in the world is anywhere close to cracking the toughest problems in mathematics (yet).