محققان به تازگی فریمورک جدیدی به نام FormalAnalyticGeo معرفی کردهاند که میتواند مسائل دشوار «هندسه تحلیلی» را به صورت خودکار تولید و حل کند! 🧠✨
مشکل اصلی مدلهای چندوجهی (Multimodal LLMs) تا به امروز، ضعف در درک دقیق نمودارها و هندسه بود، اما این سیستم جدید با استفاده از زبانهای رسمی (Formal Languages) و موتورهای رندر دقیق، دادههای آموزشی باکیفیتی تولید میکند.
ویژگیهای کلیدی این دستاورد:
✅ تولید خودکار ۷ هزار مسئله هندسه تحلیلی تأیید شده
✅ حذف نیاز به برچسبگذاری انسانی با استفاده از حلقه بازخورد خودکار
✅ دقت بسیار بالا در ترسیم نمودارهای هندسی و محاسبات
این پیشرفت میتواند مسیر آموزش مدلهای هوش مصنوعی برای درک بهتر استدلالهای ریاضی و نمودارهای فنی را هموارتر کند. 🚀
منبع: arXiv AI