باحثون يطرحون سير عمل متعدد الجلسات لوكلاء الأولمبياد
يجمع HOA بين المراجعة المستقلة وملاحظات المعرفة المنظمة والتحقق الرسمي.
فترة الحدث / البيانات: 2026-10-09
نُشر: · آخر تحديث:
قدّم باحثون HOA، وهو سير عمل مفتوح ينسق جلسات متعددة لوكلاء في مسائل الرياضيات والعلوم الصعبة. ويرسل الحلول المرشحة إلى مراجع مستقل، ويوفر المعرفة التخصصية الناقصة عبر موسوعة منظمة، ويفحص البراهين المصاغة بلغة Lean باستخدام مدقق موثوق.
أفاد الباحثون بأن HOA حل 672 مسألة من PutnamBench و251 مسألة من Lean-Eval. وتشمل التجارب أيضاً مجموعات المسائل الرسمية لأولمبياد الرياضيات والفيزياء والكيمياء والبرمجة لعام 2026؛ وتختلف طريقة التصحيح حسب المجال، فتستخدم مراجعة بشرية أو اختبارات برمجية أو حكماً من نموذج لغوي. تقتصر النتائج على هذه المهام وأساليب التقييم ولا تثبت قدرة عامة على الاكتشاف العلمي.
البيانات
المقياس
نتيجة PutnamBench في تقييم الورقة
| مسائل PutnamBench التي حلها HOA | 672 | نتيجة PutnamBench في تقييم الورقة |
المنهجية
القيم من تجارب المعيار التي حددتها الورقة؛ وليست قياسات ميدانية أو ضمانات أداء عامة.
آخر تحديث:
المقياس
نتيجة Lean-Eval في تقييم الورقة
| مسائل Lean-Eval التي حلها HOA | 251 | نتيجة Lean-Eval في تقييم الورقة |
المنهجية
القيم من تجارب المعيار التي حددتها الورقة؛ وليست قياسات ميدانية أو ضمانات أداء عامة.
آخر تحديث:
الموضوعات والأماكن
اقتراحات الموضوعات
- علوم وتكنولوجيامقترح
- Preserved editorial category/topic; broad candidate onlyarxiv.org ↗
المراجع الجغرافية
تُعرض المراجع الجغرافية الواردة في المصدر فقط. فتح الخريطة الخارجية اختياري. تستخدم خرائط الأخبار الاختيارية OpenStreetMap. يرسل فتح الخريطة عنوان IP وعنوان هذا الموقع إلى مزود الخرائط؛ وتظل بيانات الموقع مقروءة كنص دون تحميل الخريطة.
- الصين · دور المكان: تغطية · نوع المكان: بلد أو منطقة · دقة الموقع: إقليميالدليل
- Explicit preserved editorial country/region; no city or national centroid inferredarxiv.org ↗