جنيف، سويسرا — 5 أكتوبر 2026 — أعلن مكتب جاستن صن اليوم عن أحدث الفائزين بجائزة جاستن صن: الباحث المستقل ووتر فان دورن، وطالب الدكتوراه في الرياضيات كوانيو تانغ، والباحث في الرياضيات يانيانغ لي من جامعة جنوب شرق نانجينغ، تقديراً لمساهماتهم التي شملت ستة من مشاكل إردوس.
محتوى برعاية
هذا بيان صحفي مدفوع مُقدَّم من TRON DAO. التصريحات والادعاءات والبيانات والمعلومات الأخرى الواردة فيه قدَّمها المُعلِن ولم تتحقق منها Bitcoin.com News بشكل مستقل. لا تؤيد Bitcoin.com News هذا المحتوى ولا تضمن دقته أو اكتماله أو موثوقيته. ينبغي على القراء إجراء أبحاثهم الخاصة قبل اتخاذ أي إجراء بناءً على المعلومات المعروضة.
الجولة الجديدة من جائزة «جاستن صن» تكرّم التعاون بين البشر والذكاء الاصطناعي في حل مشكلات إردوس
مشاركة
Press release
ووتر فان دورن هو باحث مستقل في نظرية الأعداد، بدأ أبحاثه في مجال الرياضيات عندما كان طالبًا جامعيًا في عام 2010، وواصل التعاون ونشر الأبحاث بعد تركه المجال الأكاديمي عقب حصوله على درجة الماجستير. كوانيو تانغ (汤泉宇) هو طالب دكتوراه في الرياضيات بجامعة العلوم والتكنولوجيا الصينية، وتشمل أبحاثه نظرية الأعداد وعلم التوافيق والاكتشافات الرياضية المدعومة بالذكاء الاصطناعي.
مشاكل إردوس هي أسئلة رياضية طرحها أو شاعها عالم الرياضيات المجري بول إردوس حول الأعداد والأنماط والهياكل الرياضية الأخرى. وغالبًا ما تكون هذه المسائل بسيطة في صياغتها ولكن صعبة الحل، وقد ساهمت في تشكيل مسار البحث في نظرية الأعداد وعلم التوافيق، حيث ظلت بعضها دون حل لعقود. ويضم كتالوج إردوس، الذي قام بتجميعه وصيانته توماس بلوم، عالم رياضيات وزميل أبحاث جامعي في الجمعية الملكية بجامعة مانشستر، أكثر من 1200 مسألة.
عمل فان دورن وتانغ مع يانيانغ لي، من كلية الرياضيات بجامعة جنوب شرق في نانجينغ، لحل مشكلة إردوس رقم 650، وتحديد العدد الدقيق للأعداد الصحيحة التي يمكن دائمًا مطابقتها مع مضاعفات مختلفة ضمن فترة زمنية محددة. كما قدم فان دورن برهانات قابلة للتحقق حاسوبياً باستخدام برنامج «لين» (Lean)، وهو برنامج مخصص للتحقق من الاستدلال الرياضي، للمشكلة رقم 369، المتعلقة بالأعداد الصحيحة المتتالية ذات العوامل الأولية المقيدة؛ والمشكلة رقم 457، المتعلقة بما إذا كان يمكن لسلسلة قصيرة من الأعداد الصحيحة المتتالية أن تحتوي مجتمعةً على كل الأعداد الأولية في نطاق معين؛ والمشكلة رقم 469، المتعلقة بما إذا كانت مقلوبات فئة خاصة من الأعداد التي يمكن التعبير عنها كمجموع مقسماتها تساوي مجموعًا محدودًا.
أما تانغ، فقد حلّ بشكل منفصل المسألة رقم 1044، حيث حدد حدًا أدنى دقيقًا لأطوال حدود المناطق المحددة بواسطة كثيرات الحدود، وساهم جنبًا إلى جنب مع لي في حل فريق أوسع نطاقًا للمسألة رقم 1196، التي تحدد حدود المجاميع المرجحة لمجموعات من الأعداد الصحيحة التي لا يقسم فيها أي عنصر آخر.
يقدم عملهما في المسألة رقم 650 مثالاً ملموساً على كيفية تكامل الحكم البشري والذكاء الاصطناعي. ساعد ChatGPT في تطوير استراتيجية الإثبات، بينما قام «أرسطو»، وهو نظام ذكاء اصطناعي مخصص للاستدلال الرياضي، بسد ثغرة أثناء عملية الصياغة المنهجية باستخدام نهج «لين». ثم قام الباحثان بتبسيط الحجة وكتابة البراهين النهائية والشرح.
قال تانغ: «علّمتني هذه التجربة كيف يمكن للتعليقات العامة أن تزيد من دقة السؤال البحثي، وكيف يمكن للاكتشاف المدعوم بالذكاء الاصطناعي أن يجمع بين الحكم الرياضي والتعاون والتحقق الدقيق».
هذه هي الجوائز الأولى المؤكدة للبرنامج، والتي تقدّر كلًّا من الاكتشاف الرياضي والعمل اللازم لجعل البراهين قابلة للتحقق بشكل مستقل. تتوفر معلومات حول جائزة جاستن صن، وقائمة المشكلات الخاصة بها، ومساهمات الفائزين من خلال مستودع GitHub العام الخاص بالبرنامج.
سيتم دفع الجوائز إما بعملة USDT على شبكة TRON (TRC-20) أو بعملة USDC على شبكة Ethereum (ERC-20) بناءً على اختيار الفائز. لمزيد من المعلومات، يرجى زيارة www.hejustinsun.com/prize.
نبذة عن مكتب جاستن صن
يدعم مكتب جاستن صن مبادرات جاستن صن العالمية في مجالات الأعمال والخيرية والشؤون العامة، والتي تشمل التكنولوجيا، وبلوك تشين، والذكاء الاصطناعي، والبحث العلمي، والاستثمار، والفن، واستكشاف الفضاء.
جاستن صن هو سفير غرينادا والممثل الدائم السابق لدى منظمة التجارة العالمية، ومؤسس TRON. TRON هي سلسلة الكتل الرائدة في ثورة العملات المستقرة، حيث عالجت حجم معاملات تجاوز 13 تريليون دولار منذ إنشائها. في الأسواق الناشئة حول العالم، يعتمد الناس على USDT على شبكة TRON للوصول إلى النظام المالي العالمي.
صن، الذي يُعتبر تلميذًا لمؤسس «أليبابا» جاك ما، حظي بتقدير دولي لعمله في قطاع الأصول الرقمية، بما في ذلك ظهوره على غلاف مجلة «فوربس» في أبريل 2025 وظهوره عدة مرات في قائمة «فوربس 30 تحت 30». في أغسطس 2025، سافر على متن بعثة NS-34 التابعة لشركة «بلو أوريجين»، ليصبح بذلك الشخص رقم 712 في التاريخ الذي يسافر إلى الفضاء. وتشمل اهتماماته الأوسع نطاقًا التكنولوجيا، والاستثمار، والأعمال الخيرية، والفن، والألعاب، واستكشاف الفضاء.
جهة الاتصال بمكتب جاستن صن:
نبذة عن جائزة جاستن صن
جائزة جاستن صن هي مبادرة أكاديمية أسسها جاستن صن لدعم التقدم في مجالات الرياضيات والتحقق المنهجي والاكتشافات العلمية المدعومة بالذكاء الاصطناعي. الجائزة لا مركزية وتستند إلى مبدأ أن الأعمال الرياضية يجب أن تُقيَّم بناءً على قوة ودقة وقابلية التحقق من البرهان نفسه، وليس بناءً على مكانة أو سمعة مقدميها.
أنشأ جاستن صن الجائزة باسمه كالتزام طويل الأمد بإعادة الثروة التي تم توليدها من خلال الرياضيات والتكنولوجيا إلى الرياضيات نفسها. ويُقصد أن يُحدد إرثها من خلال مجموعة الأعمال التي تكرّمها والفائزين الذين تصمد اكتشافاتهم أمام اختبار الزمن. تربط الجائزة التحديات الرياضية المحددة بوضوح بالبراهين القابلة للتحقق الآلي. وتتمثل مبادئها التوجيهية في الانفتاح، والمنفعة العامة، والوصول المفتوح المصدر.
تفضل بزيارة https://www.hejustinsun.com/prize لمزيد من المعلومات.
جهة الاتصال:
thejustinsunprize@hejustinsun.com
_________________________________________________________________________
لا تتحمل Bitcoin.com أي مسؤولية أو التزام، ولن تكون مسؤولة، سواء بشكل مباشر أو غير مباشر، عن أي خسارة أو ضرر أو مطالبة أو تكلفة أو نفقة من أي نوع، سواء كانت فعلية أو مزعومة أو تبعية، تنشأ عن أو تتعلق باستخدام أو الاعتماد على أي محتوى أو سلع أو خدمات مشار إليها في هذه المقالة. أي اعتماد على هذه المعلومات يكون على مسؤولية القارئ وحده.
تمت ترجمة هذه المقالة من الإنجليزية باستخدام الذكاء الاصطناعي. النسخة الإنجليزية الأصلية هي المصدر الموثوق؛ وقد تحتوي الترجمات الآلية على أخطاء، لا سيما في المصطلحات القانونية والتنظيمية.
