NVIDIA روش‌های آموزش و inference برای تخصصی‌سازی Nemotron 3 در برنامه‌نویسی رقابتی و اثبات ریاضی را منتشر کرده و می‌گوید سامانه‌هایش از حد نصاب طلای IOI و IMO 2026 عبور کرده‌اند.
OpenAI مجموعه‌ای شامل ۷۲۲ دست‌نوشته ریاضی در ۳۷۲ خانواده نتیجه را از یک مدل مرزی داخلی و منتشرنشده ارائه کرده و در کنار آن بخشی از اثبات‌های Lean و جزئیات فرایند تولید را نیز منتشر کرده است.
Cohere Labs مدل پژوهشی Tiny Aya L2-Thinker با ۳.۳۵ میلیارد پارامتر را معرفی کرده که به گفته پژوهشگران در بیش از ۹۳ درصد موارد در ۶۰ زبان، استدلال را به زبان خود پرامپت انجام می‌دهد.
