Omij's blogs Collection
Search
Search
Dark mode
Light mode
Explorer
Tag: lean
1 item with this tag.
Aug 15, 2025
🏆 IMO 2025 – LLMs Achieve Gold-Medal Level on Five of Six Problems
lean
math-reasoning
llm-reasoning