SAIR Open Math OS запущена в ранней версии. Платформа предоставляет веб-интерфейсы для ...
SAIR Open Math OS запущена в ранней версии. Платформа предоставляет веб-интерфейсы для работы с открытыми ИИ-моделями над математическими задачами. Сейчас на ней размещены DeepSeek V4.1 Flash, Kimi K3 и GLM 5.3 Flash. По оценке команды проекта, эти модели примерно на год отстают от передовых по возможностям. От них не стоит ожидать решения сложных задач с одной попытки. Среди более реалистичных применений команда называет формализацию умеренного объёма в Lean, краткое изложение математических рассуждений и обсуждение математических тем. Особенность платформы состоит в акценте на командных аккаунтах. Участники одной команды видят запросы друг друга. Разработчики предполагают, что такой формат может быть полезен для совместных проектов. Вычислительные ресурсы предоставлены проекту в качестве пожертвований. Команда начала выдавать бесплатные аккаунты заявителям из академических учреждений, но предупреждает, что распределение ресурсов может меняться в зависимости от спроса и будущих пожертвований. Параллельно проект собирает партнёров для дополнительного обучения существующей открытой модели с более глубокой специализацией на математике. Это следующий этап разработки, а пока сервис работает с перечисленными готовыми моделями. Наш канал в MAX https://max.ru/mathematic #Математика #ИскусственныйИнтеллект #Формализация #ОткрытыеМодели