LLM从2024年数r到2026年解决组合几何难题的进步

June 2024: The latest general-purpose LLMs could not count the r's in strawberry.
July 2025: The latest general-purpose LLMs get gold in the International Math Olympiad.
May 2026: The latest general-purpose LLM solve one of the "best-known questions in combinatorial geometry" https://t.co/QEqOPZpJoz