เปิดตัว 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 ที่รับรู้ถึงช่วงเวลาว่าง โดยการจัดแนวรูปร่างคำขอระดับล่างให้สอดคล้องกันเพื่อเพิ่มอัตราการแคชแบบดั้งเดิมของผู้ให้บริการ ทำให้ค่าใช้จ่ายของเซสชันยาวลดลงเหลือหนึ่งในสิบ รุ่นใหม่นี้ยังเสริมการจัดการงานและการควบคุมระดับความลึกของการคิด เพื่อป้องกันค่าใช้จ่ายเกินงบประมาณในระหว่างการดำเนินงานระยะยาว ระบบรองรับการตั้งค่าขีดจำกัดงบประมาณ Token ผ่าน MATHCODE_GOAL_MAX_TOKEN_BUDGET และจำกัดจำนวนคำสั่งที่ซ้อนกันด้วยเครื่องหมาย slash เพื่อป้องกันวงวนไม่สิ้นสุด นอกจากนี้ เซสชันการพิสูจน์ยังสามารถปรับระดับความลึกของการคิดแบบไดนามิกผ่าน --effort หรือ /effort โดยมีระดับต่างๆ เช่น `low` `medium` `high` `max` และสามารถย้อนกลับไปยังการตั้งค่าเริ่มต้นได้ทุกเมื่อ ในด้านการเร่งความเร็วในการคอมไพล์และการปรับใช้ รุ่นใหม่นี้รองรับการเชื่อมต่อคอมไพเลอร์ Kimina Lean Server ที่พัฒนาโดย Project Numina เพื่อทำงานเป็นกระบวนการย่อยแบบคงที่ และส่งคำขอตรวจสอบการคอมไพล์ไปยังอินเทอร์เฟซ /verify ในขณะเดียวกัน สคริปต์การติดตั้ง setup.sh ได้รับการปรับปรุงใหม่ โดยเพิ่มคำสั่งใหม่เช่น --status และ --clean รองรับการตรวจสอบ checksum การปล่อยและการยืนยันอัตโนมัติพร้อมใช้งานสภาพแวดล้อม Lean/Lake ของระบบ เพื่อลดอุปสรรคในการปรับใช้ (ที่มา: BlockBeats)