تا به حال فکر کردید چرا عوامل هوش مصنوعی در اثبات قضایای پیچیده ریاضی گاهی کُند هستند یا هزینههای سنگینی دارند؟ محققان با ارائه مدل جدیدی به نام AoA (Agent over AST)، این مشکل را حل کردهاند.
تفاوت این مدل در این است که به جای پردازش متنهای طولانی و کدنویسی خطبهخط (که باعث اتلاف توکن و انرژی میشود)، مستقیماً با «درخت نحو انتزاعی» (AST) کار میکند.
✅ نتایج درخشان:
🔹 کاهش ۴ برابری هزینههای API
🔹 کاهش مصرف توکن تا حدود ۷ برابر
🔹 افزایش سرعت انجام کار تا ۲ برابر
این یعنی هوش مصنوعی حالا میتواند با دقت و هوشمندی بسیار بیشتری در دنیای ریاضیات و تایید برنامهها (Formal Verification) پیشروی کند. 🧠✨
نویسی
منبع: arXiv AI