MathCode 0.2.0 ay nalabas, nabawasan ang mga gastos sa API ng 90%

ME AI mensahe, ayon sa pagmamasid ng Beating, ang tim ng Math-AI ay naglabas ng AI agent na MathCode 0.2.0 para sa matematikal na porma at patunay ng teorema, na nagbaba ng gastos sa API ng hanggang 90% sa pamamagitan ng pagpapabuti ng mga kahilingan sa prefix cache at pagkontrol ng istratehiya. Ang bagong bersyon ay nag-optimize ng estabilidad ng istruktura ng prompt upang mapataas ang rate ng paghahanap sa cache, lalo na para sa malalaking modelo sa mahabang patunay at maraming pag-uusap. Sa mga sitwasyon ng pagpapatunay ng teorema, kailangan ng modelo na madalas na basahin ang malalaking codebase at library ng aksiyoma. Ang MathCode 0.2.0 ay naglalaman ng mekanismo na Prefix-cache request-shape diagnostics and policy controls. Ang sistema ay nag-iisip sa pagkakakilanlan ng unang bahagi ng prompt upang mapanatili ang estabilidad, at nagdagdag ng maraming breakpoint cache `MATHCODE_CACHE_MULTI_BREAKPOINT`, eksplisitong minimal prefix gateway, at idle-aware TTL strategy, na nagpapakita ng pagkakasundo sa ilalim na anyo ng kahilingan upang maksimisahin ang native cache hit rate ng Provider, at bawasan ang taksil sa mahabang sesyon sa isang porsyento. Ang bagong bersyon ay nagpapalakas din ng pagpapamahala sa gawain at kontrol sa depth ng pag-iisip. Upang maiwasan ang sobrang gastusin sa mahabang pagpapatakbo, ang sistema ay sumusuporta sa pagtatakda ng limitasyon sa token budget gamit ang MATHCODE_GOAL_MAX_TOKEN_BUDGET, at naglalagay ng limitasyon sa bilang ng embedded slash command upang maiwasan ang walang hanggang loop. Bukod dito, ang sesyon ng patunay ay sumusuporta sa dinamikong pagbabago sa depth ng pag-iisip gamit ang --effort o /effort, na nag-aalok ng mga antas tulad ng `low`, `medium`, `high`, at `max`, at maaaring bumalik sa default configuration kahit kailan. Sa aspeto ng pagpapabilis sa compilation at deployment, ang bagong bersyon ay sumusuporta sa paggamit ng Kimina Lean Server, na isinulat ni Project Numina, bilang isang mananatiling sub-process, at nagruroute sa mga kahilingan sa pagsusuri sa /verify interface. Samantala, ang setup.sh script ay naging rebisyon, at nagdagdag ng mga utos tulad ng --status at --clean, na sumusuporta sa release checksum verification at awtomatikong paggamit muli ng system Lean/Lake environment, upang bawasan ang hadlang sa deployment. (Pinagkunan: BlockBeats)