تأكيد جائزة صن يوشين على نيل سوماني كأحدث فائز! نجح في حل المسألتين الرياضيتين JSP-000239 و JSP-000327

عملة كوين (120btc.CoM): في مساء 28 أكتوبر بتوقيت بكين، نشر الحساب الرسمي لجائزة صن يوشين على وسائل التواصل الاجتماعي تفاصيل أحدث الفائزين، مؤكدًا أن الباحث الكمي المعروف نيل سوماني قد حصل على هذه الجائزة، ليصبح المُعتمد الرسمي لحل المسألتين الصعبتين JSP-000239 و JSP-000327. وقد تم إدراجه رسميًا في قائمة الشرف لعام 2026 كحل للمسائل الرياضية، بالتوازي مع مُحقق التحقق الرسمي.

بصفته خريجًا من جامعة كاليفورنيا في بيركلي، وحاصلًا على درجات في الرياضيات وعلوم الحاسوب وإدارة الأعمال، شغل سوماني سابقًا منصب باحث كمي في صندوق التحوط الرائد Citadel، حيث تم اختيار إنجازاته الأكاديمية في مؤتمرات رائدة مثل USENIX Security وOOPSLA. في السابق، استخدم أداة إثبات تفاعلية رسمية تُدعى Lean لاكتشاف ثغرة في أداء خوارزمية الفرز الأساسية لـ CPython.

عند حل المسألة الأولى JSP-000327 - والتي تتعلق بالتحقيق فيما إذا كانت هناك معادلات محدودة بين منتجات معاملات مركزية مختلفة تحت قيود معينة - قام بربط الاستدلال الرياضي التقليدي بعمليات خوارزمية متقدمة. بعد إدخال الفرضية في نموذج GPT 5.2 Pro للحصول على أدلة أولية في علم التوافقيات، قام بالتحقق يدويًا من صحة الفرضية من خلال عمليات جبرية دقيقة. في الليلة التي تم فيها تقديم الحل إلى منتدى أكاديمي متخصص، حصل على تحقق مستقل جوهري من عالم الرياضيات دانييل لارسن، وبعد ذلك، أنتجت أداة الرياضيات أرسطو التي طورتها فريق Harmonic الشيفرة الرسمية المقابلة في Lean، مما حقق حلقة مغلقة كاملة من التخمين باللغة الطبيعية إلى إثبات قابل للقراءة بواسطة الآلة.

تشكيل فريق جامعي لحل المسائل

بعد النجاح في المعركة الأولى، وسع سوماني بحثه الفردي ليصبح مشروعًا صناعيًا للتعاون بين الإنسان والآلة. قام بتشكيل فريق متخصص من طلاب الجامعات المتميزين من جامعة كاليفورنيا في بيركلي، وجامعة نورث وسترن، وجامعة رايس، للانخراط بشكل كامل مع نماذج اللغة الكبيرة في فحص شامل لمكتبة المسائل المفتوحة لأردوش (Erdős).

في إطار هذا النظام المنهجي، نجح الفريق في حل المسألة الثانية JSP-000239 - والتي تتعلق بالتحقق مما إذا كان يمكن تحقيق تغطية من فئة غير محدودة بواسطة مجموعة فرعية محدودة على أساس كثافة القياس. بالنسبة للمسار المنطقي الذي تم تشغيله، تم تحويل الشيفرة الرسمية الأساسية إلى Lean بواسطة أداة أرسطو. والأكثر قيمة من الناحية المنهجية، قام سوماني بتوثيق ونشر مجموعة من "أطروحات حالات الفشل" التي تتعلق بالانحرافات المتكررة لنماذج الذكاء الاصطناعي عند حل المنطق الرياضي المعقد، بهدف مساعدة الأكاديميين في تحديد حدود الاختناقات في الاستدلال الرسمي. في كلمته عند استلام الجائزة، أعرب سوماني عن شكره لفريق صن يوشين على الدعم، وأكد أن تطور الذكاء الاصطناعي في مجال الاستدلال الرياضي خلال العام الماضي كان ملحوظًا، وأن الشيفرة الرسمية يمكن استخدامها ليس فقط لمراجعة النظريات الرياضية البحتة، بل أيضًا كأداة صناعية رئيسية لضمان صحة الأنظمة البرمجية العامة.

آلية توزيع الأموال على السلسلة

من الترشيح إلى الدخول الرسمي في قاعة الشرف، اتبعت عملية التقييم نظامًا صارمًا من التدقيق على السلسلة والمجتمع المفتوح. وفقًا لسجل الاقتراح رقم 5051 في مستودع مكافآت GitHub الرسمي:

• النقطة الأولى: تم تقديم الحلول المقترحة للمسألتين رسميًا في 30 سبتمبر ودخلت فترة مراجعة عامة;

• النقطة الثانية: بعد 14 يومًا من مراجعة الأقران في المجتمع المفتوح دون اعتراض، تم إدراجها رسميًا في قائمة الفائزين النهائية في 14 أكتوبر، كما أكد مؤسس المشروع صن يوشين في نفس اليوم أن المسألتين قد اجتازتا التحقق الرسمي بنجاح;

• النقطة الثالثة: في مساء 28 أكتوبر بتوقيت بكين، تم نشر مقابلة متعمقة مع الفائز رسميًا، كاشفًا عن تفاصيل حل المسألة.

فيما يتعلق بالمالية وآلية صرف الجوائز، وضعت الجائزة قواعد واضحة لتقسيم المسؤوليات. وفقًا للتفاصيل الرسمية، يتم تقسيم صندوق الجوائز لكل مسألة بدقة بنسبة 70% لمحلل الحل و30% لمترجم الشيفرة الرسمية Lean؛ إذا شغل نفس الباحث الوظيفتين بشكل مستقل، يمكنه الاستفادة من الجائزة بالكامل. تصل قيمة جائزة Pinnacle الأعلى إلى مليون دولار، بينما يتم تنفيذ المستويات الأخرى وفقًا لتصنيف الصعوبة، ويتم دفع جميع الجوائز عبر عملات مستقرة متوافقة رئيسية مثل USDT وUSDC. لمنع الاحتيال عبر الإنترنت ومخاطر تسرب الخصوصية، يجب على الفائزين تقديم معلومات الهوية وعناوين الدفع عبر قناة البريد الإلكتروني المشفرة الرسمية لإجراء التحقق غير المتصل بعد انتهاء فترة الإعلان، ويحظر نشر المفاتيح الخاصة أو العناوين على منتديات GitHub العامة.

يُقدَّم هذا المحتوى لأغراض معلوماتية عامة فقط، ولا يُشكل مشورة مالية أو استثمارية أو قانونية أو ضريبية. ولا ينبغي اعتبار أي فعاليات أو مكافآت أو عروض ترويجية عبر الإنترنت أو أي معلومات ذات صلة واردة فيه توصيةً أو طلبًا أو دعوةً لشراء الأصول المشفرة أو بيعها أو تداولها أو إجراء أي معاملات أخرى عليها. تتميز الأصول المشفرة بتقلبات سعرية مرتفعة وقد تؤدي إلى خسائر. وقد يختلف مدى توفر خدمات WEEX ومنتجاتها والفعاليات المرتبطة بها حسب المنطقة. وتقع على عاتقك مسؤولية التأكد من أن مشاركتك تتوافق مع القوانين واللوائح المحلية المعمول بها.