في 16 سبتمبر، أعلنت ترون TRON رسميًا عن إنشاء "جائزة سون يوتشين". وهي أول آلية أكاديمية مكافأة عالمية قائمة على "قائمة مسائل" وخالية من الثقة ولامركزية، حيث تُمنح المكافآت فقط بناءً على اختراقات كبيرة في العلوم الأساسية والتحقق الآلي التكويني، بقيمة جائزة فردية قصوى تصل إلى مليون دولار أمريكي. لا تملأ هذه الجائزة فقط الفراغ التاريخي الذي استمر أكثر من مائة عام منذ إنشاء جائزة نوبل بعدم وجود جائزة في الرياضيات، بل تحاول أيضًا إعادة تعريف منطق وحدود المكافآت العلمية في عصر الذكاء الاصطناعي، ودفع تقدم البحث العلمي الأساسي من خلال التعاون بين البشر والذكاء الاصطناعي.
كما كشف سون يوتشين عن قائمة الفائزين الأوائل بجائزة "سون يوتشين"، والتي تُكرّم الإنجازات في حل 66 مسألة رياضية وإثباتها بشكل رسمي. وتم منح الجائزة العليا لفريق البحث في OpenAI بمبلغ مليون دولار أمريكي، تقديرًا لإسهاماتهم في تقديم حل وإثبات رسمي لمشكلة "الوجود والانسيابية لمعادلات نافير-ستوكس الثلاثية الأبعاد". ووفقًا للمعلومات التي نشرتها OpenAI، فقد تم إنتاج الإثبات من قبل نظامها الداخلي، وأكمل العمل التصييغي GPT-6 Astra، وقد تم التحقق منه عبر Lean.
تتعلق هذه المسألة بمعادلات نافير-ستوكس، التي تصف حركة السوائل، وتُعرف اختصارًا بمعادلات N–S. تم تطوير هذه المعادلات على يد علماء مثل الفيزيائي الفرنسي كلويد-لويس نافير والرياضي الإيرلندي-البريطاني جورج غابرييل ستوكس خلال القرن التاسع عشر، وهي تعود إلى ما يقارب قرنين من الزمن. في عام 2000، صنف معهد كلاي للرياضيات "مسألة وجود وانسيابية معادلات نافير-ستوكس في ثلاثة أبعاد" كإحدى مشكلات الألفية السبع، وخصص مكافأة قدرها مليون دولار أمريكي لها.
تشمل نتائج الجائزة هذه أيضًا حدسية سيندوف، ومشكلة مجموعات فرعية متميزة لإيردوس، وحدسية دينيتس-جارغ-غومانز للحفاظ على التكلفة. ووفقًا لقواعد جائزة سون يوتشين، يجب على الفائزين المدرجين في القائمة المعلنة التقدم بطلب لاستلام الجائزة.
يقول سون يوتشين: "الرياضيات هي اللغة والإطار الأساسي لجميع العلوم الأساسية. إن ما يوسع حقًا حدود المعرفة البشرية ليس مجرد البحث المنعزل، بل تحويل الرؤى إلى نتائج مُصاغة يمكن التحقق منها بدقة بواسطة الآلات ويمكن للإنسانية جمعاء تكرارها. تم إنشاء "جائزة سون يوتشين" لهذا الغرض بالضبط؛ فهي لا تضع عوائق تقليدية قائمة على الترشيحات أو المؤهلات، ولا تعتمد على إيقاع كل أربع سنوات أو الإنجازات مدى الحياة، بل تربط المكافأة مباشرةً بالمسائل الرياضية التي لم تُحل بعد، وبالأدلة المُصاغة القابلة للتحقق بواسطة الآلات. أي مساهم، سواء كان باحثًا محترفًا، أو هاويًا مستقلًا، أو فردًا أو فريقًا يتعاون بين الإنسان والذكاء الاصطناعي، يحصل على المكافأة بمجرد تحقيقه أول اختراق."
في عصر الذكاء الاصطناعي، يُختصر دورة حل فرضية من سنوات إلى أشهر أو حتى أيام. لقد أصبحت أنظمة المكافآت التقليدية القائمة على "الإنجازات مدى الحياة" أو فترات ثابتة غير قادرة على مجاراة وتيرة العلم المتسارعة. إن رؤية "جائزة سون يوتشين" هي أن تصبح "جائزة نوبل في عصر الذكاء الاصطناعي"، وذلك من خلال الاستجابة للتحول الجذري في البحث العلمي والحوافز في العصر الجديد بطريقة أكثر لامركزية، وأكثر رسمية، وأكثر آلية. ستستمر الجائزة في صيانة وتحديث علني لمستودع رياضي ورموز مُصاغة، حيث يتم تأمين قائمة المسائل فور نشرها، ولا يُضاف إليها سوى مسائل جديدة ولا تُزال أي منها، وتُدفع المكافآت فقط ولا تُسترد، لتصبح خريطة بناء "ذات سعر مُحدد".
يُشار إلى أن جائزة "سون يوتشين" ستُمنح فقط لأول من يكمل المهمة؛ وإذا قام عدة أشخاص بالإنجاز المشترك، فسيتم توزيع الجائزة وفقًا لنسب المساهمة. سيحصل حلّال المسألة على 70% من مكافأة الجائزة، بينما سيحصل من يكمل التحقق الرسمي على 30%؛ وإذا أكمل شخص واحد كلاً من الحل والتحقق الرسمي، فسيحصل على المكافأة الكاملة. حتى إذا تم إنجاز المكافأة بواسطة نظام ذكاء اصطناعي، فستُمنح الجائزة، ولكن يجب أن يكون الشخص الطبيعي أو الشخص الاعتباري ذي الصلة، أو ممثله المعتمد كتابيًا، هو الجهة المقدمة للطلب والمستلم القانوني للمكافأة. تغطي الجائزة التقدم الرياضي المحقق اعتبارًا من 1 يناير 2026؛ وإذا تم حل المسألة قبل هذا التاريخ ولكن تم إكمال التحقق الرسمي بعده، فسيحصل من أكمل التحقق الرسمي على المكافأة. وتشمل قائمة المسائل الحالية التحقق الرسمي لفرضية بوانكاريه، وفرضية ريمان، وفرضية غولدهباخ، بالإضافة إلى عدد كبير من المسائل غير المحلولة التي طرحها عالم الرياضيات الراحل وحاصل جائزة وولف، بول إردوش، أثناء حياته.
كشف سون يوتشين أن الفائزين سيحصلون، بالإضافة إلى الجوائز النقدية، على شهادات وميداليات، حيث تظهر الوجه الأمامي للميدالية صورة سون يوتشين وعبارة "جائزة سون يوتشين" باللغتين الإنجليزية والصينية، بينما يظهر الظهر نقوشاً تعبر عن استكشاف البشر للفضاء، مع نقش كلمة لاتينية "Quod probatur, solvitur" على الحافة، والتي تعني "ما تم إثباته، تم حله". مادة الميدالية الرئيسية هي النحاس، ومغطاة بطبقة من الذهب الخالص بوزن 6 جرامات.
تلتزم جائزة سون يوتشين بثلاثة مبادئ أساسية: الانفتاح، والخيرية، والانفتاح المفتوح المصدر: مفتوحة لجميع المساهمين المؤهلين دون قيود جنسية أو مؤسسية أو هوية، ولا تميز بين البشر والذكاء الاصطناعي؛ تُستخدم الأموال حصريًا لمنح الجوائز ودعم الأعمال المفتوحة، دون هدف ربحي؛ قائمة المشكلات، ومعايير التأكيد، ومواد الإثبات والتحقق، جميعها مفتوحة للجمهور عبر GitHub، وتسجل سجلات صرف الجوائز على السلسلة لتكون قابلة للتتبع إلى الأبد وغير قابلة للتغيير.
أشار سون يوتشين إلى أن تحويل البراهين الرياضية البشرية إلى براهين رسمية قابلة للتحقق من قبل الآلات لا يزال يعتمد بشكل رئيسي على الحماس التلقائي من مجتمعات الترسيم مثل Lean، مع غياب حافز اقتصادي منهجي على المدى الطويل. "الأشخاص الذين يعملون في الترسيم لا يفتقرون أبدًا إلى الحماس، بل يفتقرون إلى خريطة بناء مُحدَّدة الأسعار." يقدم جائزة "سون يوتشين" لأول مرة قائمة علنية ومُكافأة لهذا العنصر الحاسم، بهدف تغيير هذا الوضع جذريًا.
وأضاف أنه "الجوائز المسمّاة بأسماء الأشخاص هي أكثر الأمور غير السياسية على وجه الأرض. والأهم من ذلك، أنها تمنح نفسك إجابةً—ثروتي لها جذورها في الرياضيات. إنها تأتي من الرياضيات وتعود إلى الرياضيات." وفقًا للمعلومات المنشورة، فقد تبرّع سون يوتشين في السنوات الأخيرة بمبلغ إجمالي قدره حوالي 45 مليون دولار أمريكي (ما يعادل حوالي 300 مليون يوان صيني) في مجالات مثل التكنولوجيا والبيئة والإنقاذ في حالات الكوارث. ومن الآن فصاعدًا، ستتحول أولوياته الخيرية بالكامل إلى "جائزة سون يوتشين"، حيث سيستمر في دفع التقدم السريع في العلوم الأساسية بطريقة مفتوحة وقابلة للتحقق.
أنا لست رياضيًا، أنا مراقب، وأنا أدفع. الباقي، أتركه للإثبات." قال سون يوتشين. وقد أطلق الإنشاء الرسمي لـ"جائزة سون يوتشين" نموذجًا جديدًا للحوافز العلمية يعتمد على التحقق الآلي كأساس، والتعاون بين الإنسان والآلة كمحرك، والجوائز اللامركزية كآلية.