According to @emollick, LLMs progressed from miscounting letters in 2024 to IMO gold in 2025 and solved a famed combinatorial geometry question in 2026.