Открываем страницу…
Загружаем материалOpenAI представила результаты ИИ в математике, теории сложности и физике. Две работы открыты для проверки, материалы по физике изучит группа учёных.
Seed Prover 1.5 — специализированная система ByteDance Seed для формальных математических доказательств на языке Lean.
Phi-4 Mini Flash Reasoning — компактная модель Microsoft для быстрых рассуждений с гибридной архитектурой SambaY.
Phi-4 Mini Reasoning — компактная модель Microsoft на 3,8 млрд параметров для математики и логических задач.
Phi-4 Reasoning Plus — версия Microsoft с усиленной настройкой для многошаговых математических и научных задач.
Rho-Math-7B-Interpreter — версия Rho-1 с пошаговым форматом математических рассуждений.
Rho-Math-1B-Interpreter — модель Microsoft для пошагового решения математических задач.
Rho-Math-7B — семимиллиардная версия математической модели Microsoft Rho-1.
Rho-Math-1B — математическая модель Microsoft, обученная эффективнее отбирать полезные фрагменты текста.