جنيف، سويسرا — 5 أكتوبر 2026 — أعلن مكتب جاستن صن اليوم عن الفائزين الأحدث بجائزة جاستن صن: الباحث المستقل فوتر فان دورن، وطالب الدكتوراه في الرياضيات تشيوانيو تانغ، والباحث في الرياضيات يانيانغ لي من جامعة جنوب شرق في نانجينغ. وقد تم تكريمهم لمساهماتهم في ست مسائل من مسائل إردوش.
فوتر فان دورن هو عالم نظرية أعداد مستقل بدأ البحث في الرياضيات كطالب جامعي في عام 2010 وواصل التعاون والنشر بعد تركه الأوساط الأكاديمية حاملاً درجة الماجستير. تشيوانيو تانغ (汤泉宇) هو طالب دكتوراه في الرياضيات في جامعة العلوم والتكنولوجيا في الصين، ويغطي بحثه نظرية الأعداد والتوافقيات والاكتشاف الرياضي بمساعدة الذكاء الاصطناعي.
مسائل إردوش هي أسئلة رياضية طرحها أو شاعها عالم الرياضيات الهنغاري بول إردوش حول الأعداد والأنماط وبنى رياضية أخرى. غالباً ما يكون التعبير عنها بسيطاً لكن حلها صعب، وقد ساعدت في تشكيل البحث في نظرية الأعداد والتوافقيات، مع بقاء بعضها مفتوحاً لعقود. يحتوي فهرس إردوش، الذي جمعه ويصونه توماس بلوم، وهو عالم رياضيات وزمالة جامعية في الجمعية الملكية بجامعة مانشستر، على أكثر من 1,200 مسألة.
عمل فان دورن وتانغ مع يانيانغ لي من كلية الرياضيات بجامعة جنوب شرق في نانجينغ لحل مسألة إردوش رقم 650، وتحديد بالضبط كم عدد الأعداد الصحيحة التي يمكن دائماً مطابقتها بمضاعفات مميزة ضمن فترة محددة. كما أنتج فان دورن براهين قابلة للتحقق حاسوبياً في Lean، وهو برنامج للتحقق من الاستدلال الرياضي، للمسائل رقم 369، المتعلقة بالأعداد الصحيحة المتتالية ذات العوامل الأولية المقيدة؛ ورقم 457، حول ما إذا كانت سلسلة قصيرة من الأعداد الصحيحة المتتالية يمكن أن تحتوي مجتمعة على كل عدد أولي في نطاق معين؛ ورقم 469، حول ما إذا كانت مقلوبات فئة خاصة من الأعداد القابلة للتعبير كمجموع لقواسمها تجمع إلى مجموع منتهٍ. وحل تانغ بشكل منفصل المسألة رقم 1044، مثبتاً حداً أدنى حاداً لأطوال الحدود لمناطق معرفة بكثيرات الحدود، وساهم إلى جانب لي في حل فريق أوسع للمسألة رقم 1196، بوضع حد للمجموعات الموزونة على مجموعات من الأعداد الصحيحة التي لا يقسم فيها أي عضو عضواً آخر.
يقدم عملهم على المسألة رقم 650 مثالاً ملموساً على كيف يمكن للحكم البشري والذكاء الاصطناعي أن يكملا بعضهما بعضاً. ساعد ChatGPT في تطوير استراتيجية البرهان، بينما أصلح Aristotle، وهو نظام ذكاء اصطناعي للاستدلال الرياضي، ثغرة أثناء الصياغة الرسمية في Lean. ثم بسط الباحثون الحجة وكتبوا البراهين والعرض النهائيين.
قال تانغ: "علمتني هذه التجربة كيف يمكن للتغذية الراجعة العامة أن تشحذ سؤالاً بحثياً، وكيف يمكن للاكتشاف بمساعدة الذكاء الاصطناعي أن يجمع بين الحكم الرياضي والتعاون والتحقق الصارم."
هذه هي أول جوائز مؤكدة للبرنامج، وتكريم لكل من الاكتشاف الرياضي والعمل اللازم لجعل البراهين قابلة للتحقق بشكل مستقل. تتوفر معلومات حول جائزة جاستن صن وفهرس مسائلها ومساهمات الحاصلين عليها عبر مستودع GitHub العام للبرنامج. ستُدفع الجوائز إما بعملة USDT على TRON (TRC-20) أو USDC على Ethereum (ERC-20)، بناءً على اختيار الحاصل على الجائزة. لمزيد من المعلومات، يرجى زيارة www.hejustinsun.com/prize.
حول مكتب جاستن صن
يدعم مكتب جاستن صن أعمال جاستن صن التجارية العالمية والخيرية والعامة عبر التكنولوجيا والبلوكشين والذكاء الاصطناعي والبحث العلمي والاستثمار والفن واستكشاف الفضاء.
جاستن صن هو السفير والممثل الدائم السابق لغرينادا لدى منظمة التجارة العالمية ومؤسس TRON. TRON هي البلوكشين الرائد لثورة العملات المستقرة، وقد عالجت أكثر من 13 تريليون دولار من الحجم منذ إنشائها. في الأسواق الناشئة في العالم، يعتمد الناس على USDT على TRON للوصول إلى النظام المالي العالمي.
صن، وهو من protegés مؤسس علي بابا جاك ما، حظي بتقدير دولي لعملته في صناعة الأصول الرقمية، بما في ذلك ملف غلاف في فوربس في أبريل 2025 وظهور متعدد في قائمة فوربس 30 تحت 30. في أغسطس 2025، طار على مهمة NS-34 من Blue Origin، ليصبح الشخص رقم 712 في التاريخ الذي يسافر إلى الفضاء. تشمل اهتماماته الأوسع التكنولوجيا والاستثمار والعمل الخيري والفن والألعاب واستكشاف الفضاء. مكتب جاستن صن للتواصل: info@hejustinsun.com حول جائزة جاستن صن جائزة جاستن صن هي مبادرة أكاديمية أسسها جاستن صن لدعم التقدم في الرياضيات والتحقق الرسمي والاكتشاف العلمي بمساعدة الذكاء الاصطناعي. الجائزة لامركزية ومبنية على مبدأ أن العمل الرياضي يجب أن يُحكم عليه بقوة البرهان نفسه وصرامته وقابليته للتحقق، لا بمكانة أو سمعة من يقدمه. أسس جاستن صن الجائزة باسمه الخاص كالتزام طويل الأمد بإعادة الثروة التي أنشأتها الرياضيات والتكنولوجيا إلى الرياضيات نفسها. من المفترض أن يُعرَّف إرثها بمجموعة الأعمال التي تكرمها والفائزين الذين تصمد اكتشافاتهم أمام اختبار الزمن. تربط الجائزة التحديات الرياضية المحددة بوضوح بالبرهان القابل للتحقق آلياً. مبادئها التوجيهية هي الانفتاح والمنفعة العامة والوصول مفتوح المصدر. قم بزيارة https://www.hejustinsun.com/prize لمزيد من المعلومات. للتواصل: thejustinsunprize@hejustinsun.com
الأسئلة الشائعة
الأسئلة الشائعة الجولة الجديدة من جائزة جاستن صن للتعاون بين الإنسان والذكاء الاصطناعي على مسائل إردوش
س1 ما هي جائزة جاستن صن
إنها جائزة ممولة من رائد الأعمال في العملات المشفرة جاستن صن تدفع للأشخاص مقابل حل مسائل رياضية، خاصة تلك المرتبطة بمسائل إردوش الشهيرة
س2 ما هي مسائل إردوش
إنها مجموعة كبيرة من الأسئلة الرياضية المفتوحة التي طرحها أو شاعها عالم الرياضيات الهنغاري الأسطوري بول إردوش. كثير منها بسيط التعبير لكن صعب الحل جداً
س3 ما الجديد في هذه الجولة من الجائزة
هذه الجولة تكافئ تحديداً الحلول التي عمل فيها إنسان وذكاء اصطناعي معاً — على سبيل المثال شخص يستخدم نموذج ذكاء اصطناعي مثل ChatGPT أو مساعد برهان لحل مسألة
س4 هل يجب أن أستخدم الذكاء الاصطناعي للفوز
لهذه الجولة، نعم. الجائزة موجهة للتعاون بين الإنسان والذكاء الاصطناعي، لذا قد لا يكون الحل البشري البحت أو الحل المولد بالذكاء الاصطناعي البحت مؤهلاً
س5 ما الذي يُعد تعاوناً بين الإنسان والذكاء الاصطناعي
أي ترتيب يساهم فيه شخص ونظام ذكاء اصطناعي بشكل ذي معنى — مثلاً يقترح الذكاء الاصطناعي خطوات البرهان ويتحقق الإنسان منها ويصححها ويحسّنها
س6 من يمكنه المشاركة
عموماً أي شخص — طلاب أو هواة أو رياضيون محترفون. راجع القواعد الرسمية لقيود العمر أو الإقامة أو الأهلية
س7 كم تبلغ الجائزة
تفاوتت مبالغ الجوائز حسب الجولة وصعوبة المسألة. راجع الإعلان الرسمي للأرقام الدقيقة
س8 ما المسائل المؤهلة
عادةً مسائل من قواعد بيانات مسائل إردوش أو قائمة محددة تُنشر مع الجائزة. ليست كل مسألة مفتوحة مؤهلة
س9 كيف أقدم حلاً
عادةً عبر نموذج تقديم رسمي أو بريد إلكتروني مذكور في إعلان الجائزة، مع برهانك ووصف لكيفية استخدام الذكاء الاصطناعي
س10 هل يجب أن يكون الذكاء الاصطناعي أداة محددة
لا، معظم الجولات تسمح بأي أداة ذكاء اصطناعي — نماذج لغوية كبيرة أو مثبتات نظريات أو أنظمة مخصصة — طالما توثق ما استخدمته
س11 هل أحتاج إلى شرح دور الذكاء الاصطناعي
نعم. عادةً يريد المنظمون سرداً واضحاً لما فعله الذكاء الاصطناعي مقابل ما فعلته أنت، حتى يكون التعاون شفافاً
س12 ماذا لو كانت إجابة الذكاء الاصطناعي خاطئة
هذه مسؤوليتك. الإنسان مسؤول عن التحقق من كل خطوة. Un