محققان سیستم جدیدی به نام «Danus» معرفی کردهاند که به عاملهای هوش مصنوعی (AI Agents) کمک میکند تا در حل مسائل دشوار ریاضی در سطح تحقیقاتی، بسیار دقیقتر و هماهنگتر عمل کنند.
💡 این سیستم چگونه کار میکند؟
«دانوس» از یک ساختار «گرافِ واقعیت» (Fact-Graph) به عنوان حافظه مشترک استفاده میکند. به این صورت که یک عامل اصلی (Main Agent) وظیفه برنامهریزی را بر عهده دارد و چندین عاملِ همکار، جستجو برای اثبات مسائل را بهصورت موازی انجام میدهند. در نهایت، تمام ادعاهای ریاضی قبل از ثبت در حافظه توسط یک سیستم تاییدکننده بررسی میشوند.
این نوآوری گام بزرگی برای خودکارسازی اثباتهای طولانی و پیچیده در رشتههایی مثل هندسه جبری و ترکیبیات است و تعامل انسان با هوش مصنوعی در تحقیقات علمی را سادهتر میکند.
منبع: arXiv AI