Випущено MathCode 0.2.0, витрати на API зменшено на 90%
KuCoinFlash
Поділитися
Короткий зміст
MathCode 0.2.0 вже доступний, зменшуючи витрати на API на 90% для проектів з AI та крипто-новинами. Оновлення покращує частоту спрацьовування кешу за допомогою діагностики префікс-кешу та контролю політик. Додано мульти-точкове кешування, динамічне регулювання зусиль та покращене управління завданнями. Підтримано ліміти токен-бюджету з інтеграцією до Kimina Lean Server для швидшого розгортання. Нові токени можуть скористатися цим підвищенням ефективності.
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)
Відмова від відповідальності: Інформація на цій сторінці може бути отримана від третіх осіб і не обов'язково відображає погляди або думки KuCoin. Цей контент надається лише для загального інформування, без будь-яких запевнень або гарантій, а також не може розглядатися як фінансова або інвестиційна порада. KuCoin не несе відповідальності за будь-які помилки або упущення, а також за будь-які результати, отримані в результаті використання цієї інформації.
Інвестиції в цифрові активи можуть бути ризикованими. Будь ласка, ретельно оцініть ризики продукту та свою толерантність до ризику, виходячи з ваших власних фінансових обставин. Для отримання додаткової інформації, будь ласка, зверніться до наших Умов використання та Розкриття інформації про ризики.
KuCoinFlash
Короткий зміст