محققان به تازگی روی ترکیب هوش مصنوعی با سیستمهای جبر کامپیوتری (CAS) مثل «SageMath» تمرکز کردهاند تا دقت ایجنتهای هوشمند را در مسائل ریاضیاتی افزایش دهند. نتایج پژوهش اخیر نشان میدهد که اتصال LLMها به این ابزارهای محاسباتی، عملکرد مدلها را بهطور چشمگیری (تا ۲۷ درصد در برخی موارد) بهبود بخشیده است.
این یعنی هوش مصنوعی در حال حرکت به سمتی است که به جای حدس زدن پاسخها، با استدلال و ابزارهای تاییدپذیر، مسائل پیچیده ریاضی را دقیقتر حل کند. این دستاورد میتواند مسیر را برای کشف فرضیات جدید علمی هموارتر کند. 🚀
منبع: arXiv AI