ByteDance выпускает новое поколение формальной модели математического рассуждения Seed Prover 1.5
24 декабря IT House сообщил, что команда Bytedance Seed сегодня объявила о запуске нового поколения модели Seed Prover 1.5, предназначенной для формальных математических рассуждений. Утверждается, что благодаря крупномасштабному обучению Agentic RL его способности и эффективность рассуждения достигли значительного прогресса.
По сравнению с моделью предыдущего поколения, Seed Prover 1.5 сгенерировал полный компилируемый и проверяемый код доказательства Lean для первых 5 вопросов IMO 2025 за 16,5 часов с показателем конверсии 35/42, что соответствует уровню золотой медали предыдущего стандарта оценки IMO.
Подписывайтесь на t.me/chinese_ai_news и dzen.ru/chinese_ai
