Выпущена версия MathCode 0.2.0, стоимость API снижена на 90%

ME AI Сообщение: согласно мониторингу Beating, команда Math-AI выпустила AI-агент для математических формул и доказательств теорем MathCode 0.2.0, который сокращает стоимость API до 90% за счет оптимизации запросов с префиксным кэшированием и управления стратегиями. Новая версия оптимизирует стабильность структуры подсказок для повышения коэффициента попаданий в кэш подсказок, решая проблему высоких затрат при длинных доказательствах и многократном взаимодействии с крупными моделями. В сценариях доказательства теорем модели часто должны обращаться к большим библиотекам кода и аксиом. MathCode 0.2.0 внедряет механизм диагностики и управления политиками префиксного кэширования запросов (Prefix-cache request-shape diagnostics and policy controls). Система блокирует привязку начала подсказок для обеспечения стабильности структуры, добавляет многоточечное кэширование `MATHCODE_CACHE_MULTI_BREAKPOINT`, явные минимальные префиксные шлюзы и стратегию TTL с учетом простоя, максимизируя коэффициент попаданий в нативный кэш провайдера за счет выравнивания формы запросов на низком уровне и снижая счета за длинные сессии до десятой части. Новая версия также улучшает управление задачами и контроль глубины мышления. Для предотвращения превышения бюджета при длительных операциях система поддерживает установку лимита токенов через MATHCODE_GOAL_MAX_TOKEN_BUDGET и ограничивает вложенность команд с косой чертой для предотвращения бесконечных циклов. Кроме того, сессии доказательств позволяют динамически регулировать глубину мышления через --effort или /effort, предлагая уровни `low`, `medium`, `high`, `max`, а также возможность возврата к настройкам по умолчанию в любое время. В области ускорения компиляции и развертывания новая версия поддерживает постоянное выполнение компилятора Kimina Lean Server, разработанного Project Numina, в качестве дочернего процесса, а также маршрутизацию запросов проверки компиляции на интерфейс /verify. Кроме того, скрипт установки setup.sh был переработан: добавлены команды --status и --clean, поддерживающие проверку целостности релиза и автоматическое повторное использование среды Lean/Lake системы, снижая порог входа для развертывания. (Источник: BlockBeats)