هذه هي ورقة ByteDance IMO التي سمعت شائعات عنها مؤخرا. قاموا ببناء أنظمة هجينة تستخدم Lean بالإضافة إلى LLM. كانوا قادرين على حل 5/6 مشاكل باستخدام النظامين Seed-Prover و Seed-Geometry (مما يحسن قدرات الهندسة الضعيفة للعجاف شارك IIUC فقط Seed-Prover رسميا في IMO وحل 4/6 للحصول على ميدالية فضية.