جنيف، سويسرا — 5 أكتوبر 2026 — أعلن مكتب جاستن صن اليوم عن أحدث الفائزين بجائزة جاستن صن: الباحث المستقل ووتر فان دورن، وطالب الدكتوراه في الرياضيات تشيوانيو تانغ، والباحث في الرياضيات يانيانغ لي من جامعة جنوب شرق في نانجينغ، تقديرًا لإسهاماتهم في ست مسائل لإردوش.

ووТر فان دورن منظّر أعداد مستقل بدأ البحث في الرياضيات في المرحلة الجامعية عام 2010، وواصل التعاون ونشر الأبحاث بعد مغادرته الأوساط الأكاديمية إثر حصوله على درجة الماجستير. تشيوانيو تانغ (汤泉宇) طالب دكتوراه في الرياضيات بجامعة العلوم والتكنولوجيا الصينية، وتشمل أبحاثه نظرية الأعداد والتوافقيات والاكتشاف الرياضي بمساعدة الذكاء الاصطناعي.

مسائل إردوش هي أسئلة رياضية طرحها عالم الرياضيات المجري بول إردوش أو ساهم في نشرها، وتتعلق بالأعداد والأنماط وغيرها من البنى الرياضية. وغالبًا ما يسهل التعبير عنها، لكن يصعب حلها؛ وقد أسهمت في تشكيل الأبحاث في نظرية الأعداد والتوافقيات، ولا يزال بعضها مفتوحًا منذ عقود. يضم فهرس إردوش، الذي جمعه ويشرف عليه توماس بلوم، عالم الرياضيات وزميل الجمعية الملكية للأبحاث الجامعية في جامعة مانشستر، أكثر من 1200 مسألة. 

عمل فان دورن وتانغ مع يانيانغ لي، من كلية الرياضيات بجامعة الجنوب الشرقي في نانجينغ، لحل مسألة إردوش #650، محددين بدقة عدد الأعداد الصحيحة التي يمكن دائمًا مطابقتها مع مضاعفات متميزة ضمن فترة محددة. كما أنجز فان دورن براهين قابلة للتحقق حاسوبيًا باستخدام Lean، وهو برنامج للتحقق من الاستدلال الرياضي، للمسألة #369 المتعلقة بأعداد صحيحة متتالية ذات عوامل أولية مقيّدة؛ والمسألة #457، حول إمكان أن تحتوي مجموعة قصيرة من الأعداد الصحيحة المتتالية مجتمعةً على كل عدد أولي ضمن نطاق معين؛ والمسألة #469، حول ما إذا كان مجموع مقلوبات فئة خاصة من الأعداد التي يمكن التعبير عنها كمجاميع لقواسمها محدودًا.

حلّ تانغ المسألة #1044 بصورة مستقلة، واضعًا حدًا أدنى محكمًا لأطوال حدود المناطق المحددة بواسطة كثيرات الحدود. كما ساهم، إلى جانب لي، في حل فريق أوسع للمسألة #1196، التي تضع حدًا للمجاميع الموزونة على مجموعات من الأعداد الصحيحة لا يقسم فيها أي عنصر عنصرًا آخر.

يقدم عملهما على المسألة #650 مثالًا ملموسًا على كيفية تكامل الحكم البشري والذكاء الاصطناعي. ساعد ChatGPT في تطوير استراتيجية البرهان، بينما عالج أرسطو، وهو نظام ذكاء اصطناعي للاستدلال الرياضي، ثغرةً أثناء الصياغة الرسمية باستخدام Lean. ثم بسّط الباحثون الحجة وكتبوا البراهين النهائية وشرحها.

قال تانغ: «علّمتني هذه التجربة كيف يمكن للملاحظات العامة أن تصقل سؤالًا بحثيًا، وكيف يمكن للاكتشاف بمساعدة الذكاء الاصطناعي أن يجمع بين الحكم الرياضي والتعاون والتحقق الدقيق».

هذه هي أولى الجوائز المؤكدة للبرنامج، وهي تكرّم الاكتشافات الرياضية والعمل اللازم لجعل البراهين قابلة للتحقق بصورة مستقلة. تتوفر معلومات عن جائزة جاستن صن وفهرس مسائلها ومساهمات الفائزين من خلال مستودع GitHub العام للبرنامج.

ستُدفع الجوائز إما بعملة USDT على شبكة TRON (TRC-20) أو بعملة USDC على شبكة Ethereum (ERC-20)، وفقًا لاختيار المستفيد. لمزيد من المعلومات، يُرجى زيارة www.hejustinsun.com/prize. 

نبذة عن مكتب جاستن صن

يدعم مكتب جاستن صن مبادرات جاستن صن العالمية في مجالات الأعمال والعمل الخيري والشأن العام، عبر قطاعات التكنولوجيا والبلوك تشين والذكاء الاصطناعي والبحث العلمي والاستثمار والفن واستكشاف الفضاء. 

جاستن صن هو سفير غرينادا وممثلها الدائم السابق لدى منظمة التجارة العالمية، ومؤسس TRON. وتُعد TRON أبرز شبكة بلوك تشين في ثورة العملات المستقرة، إذ عالجت معاملات تجاوزت قيمتها 13 تريليون دولار منذ تأسيسها. ويعتمد الناس في الأسواق الناشئة حول العالم على USDT عبر TRON للوصول إلى النظام المالي العالمي.

بصفته أحد تلامذة جاك ما، مؤسس علي بابا، حظي صن بتقدير دولي لأعماله في قطاع الأصول الرقمية، بما في ذلك ظهوره على غلاف فوربس في أبريل 2025 ووروده عدة مرات في قائمة فوربس لأبرز 30 شخصية دون سن الثلاثين. وفي أغسطس 2025، سافر على متن مهمة NS-34 التابعة لشركة بلو أوريجين، ليصبح الشخص رقم 712 في التاريخ الذي يسافر إلى الفضاء. وتشمل اهتماماته الأوسع التكنولوجيا والاستثمار والعمل الخيري والفن والألعاب واستكشاف الفضاء.

نبذة عن جائزة جاستن صن 

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

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