دانشمندان در مقالهای جدید بررسی کردند که چرا مدلهای زبانی بزرگ (LLM) فعلی، علیرغم موفقیتهای بزرگ، هنوز برای حل مسائل پژوهشی و اثبات قضایای جدید ریاضی محدودیت دارند. این مقاله با پیشنهاد گذار از «حلکنندههای مسئله» به «عوامل پژوهشگر» (Research Agents)، نقشهی راهی برای ترکیب استدلال منطقی دقیق با هوش مصنوعی ترسیم کرده است.
آیا هوش مصنوعی بالاخره میتواند مانند یک ریاضیدان خلاق در مرزهای دانش قدم بگذارد؟ این مقاله یک دیدگاه استراتژیک برای آینده AI4Math است.
منبع: arXiv NLP
