ملخص · آخر 24 ساعة
- باحثون صينيون يحققون إنجازًا: وكيل الذكاء الاصطناعي مفتوح المصدر 'Hyra' يحل مسألة رياضية حيّرت AlphaEvolve وGPT وClaude
ورقة بحثية جديدة على arXiv تحسم مسألة طويلة الأمد في التوافقيات الجمعية، حيث اقترح الوكيل الذكي مفتوح المصدر 'Hyra' من Tencent، المبني على نموذج Hy3، البناء الأساسي للحل. على الرغم من محاولات AlphaEvolve من Google DeepMind وGPT وClaude، لم ينجح أي منها، وتم التحقق من حل Hyra رسميًا في مساعد الإثبات Lean. يمثل هذا الإنجاز علامة فارقة كأول نتيجة رياضية كبرى بالذكاء الاصطناعي من نموذج مفتوح المصدر، وقد أيد عالم الرياضيات Thomas Bloom النتيجة، بل وأدرج 'Hyra' كمؤلف مشارك.
المصدر: dnb66 · ملخص —
الأصلي