پژوهشگران OmniGeo را معرفی کرده‌اند؛ یک حل‌گر هوش مصنوعی که مسائل هندسهٔ مسطحه، تحلیلی و فضایی را حل می‌کند. این سامانه راهنمایی عصبی را با استدلال نمادین در یک وضعیت مشترک ترکیب می‌کند و در هر گام، امکان پیشنهاد ساختارهای هندسی و به‌کارگیری قواعد دقیق را دارد. مقالهٔ معرفی OmniGeo در 6 اکتبر 2026 در arXiv منتشر شد.
OmniGeo چقدر خوب عمل می‌کند؟
OmniGeo در ترکیب با Claude Sonnet 4.6، در بنچمارک FormalGeo7K به دقت 94.2%، در Conic10K به 88.5% و در SolidFGeo به 89.8% رسید؛ میانگین کلان این نتایج 90.8% بود. نویسندگان همچنین گزارش می‌دهند که OmniGeo از مجموعهٔ IMO‑AG‑30، شامل مسائل هندسه‌ای در سبک المپیاد بین‌المللی ریاضی، 21 مسئله از 30 مسئله را حل کرد.
چرا مهم است
برای دانش‌آموزان و معلمان، ابزاری واحد که انواع مختلف مسائل هندسه را حل کند، راهی فراهم می‌آورد تا بدون جابه‌جایی بین برنامه‌ها پاسخ‌ها را بررسی و ساختارهای هندسی را وارسی کنند. امتیازهای بالای بنچمارک نشان می‌دهد که سامانه می‌تواند مسائل متداول کتاب‌های درسی را با اطمینان حل کند؛ بااین‌حال، عملکرد آن در برابر مسائل کاملاً جدید یا تعریف‌نشده هنوز آزمایش نشده است.
