Tech Meridian
← К СУЩНОСТЯМ
ТЕМА · ENTITY #2586
Хронология связанных событий, источники и контекст из новостной базы.
Позиционный документ на arXiv (2609.19203v1) утверждает, что современные AI-стэки фрагментированы, и предлагает Foundation Model Operating System (FMOS) — самoэволюционирующий слой, виртуализирующий взаимодействия с FM, организующий уровни памяти, выбор моделей, распределение ресурсов, верификацию и адаптивное применение политик, чтобы приложения видели «выделенные» надежные экземпляры FM.
Leanstral — открытый агент для работы с Lean 4, выпущенный как Leanstral-120B-A6B с весами под лицензией Apache 2.0, агентным режимом для Mistral vibe, бесплатным API, готовящимся техническим отчётом и новым набором оценок FLTEval. Модель использует высокоразреженную архитектуру (6B активных параметров), поддерживает MCP через vibe (оптимизирована под lean-lsp-mcp) и в бенчмарках на реалистичных репозиториях демонстрирует преимущества по эффективности и стоимости против ряда закрытых и открытых конкурентов.
Allow Google Analytics to measure visits? It stays off until you choose. You can change your choice at any time.