درجة ثقة المجتمعموثّق
أعلنت مكتب جاستن صن عن الفائزين الثلاثة بجائزة جاستن صن، وأثار ذلك اهتمام عالم الرياضيات. الفائزون هم الباحث المستقل ووتر فان دورن، وطالب الدكتوراه كوانيو تانغ، والباحث يانغيانغ لي من جامعة جنوب شرق، الذين تم تكريمهم لحلهم مسائل إردوش التي طال أمدها.
مسائل إردوش، لمن لا يعرفها، هي مجموعة واسعة من التحديات الرياضية المفتوحة التي تركها عالم الرياضيات المجري الأسطوري بول إردوش. بعضها ظل دون حل لعقود. تتراوح هذه المسائل من ألغاز نظرية الأعداد إلى ألغاز التوافقيات، وقد عمل المجتمع الرياضي على حلها ببطء على مر السنين. ما يميز الوضع الآن هو الأدوات المستخدمة. لم يقتصر فان دورن وتانغ ولي على تقديم إثباتات تقليدية، بل أدخلوا الذكاء الاصطناعي في المعادلة، وكانت النتائج كافية للحصول على الجوائز المؤكدة الأولى تحت جائزة جاستن صن.
ما الذي حله كل باحث بالفعل
فان دورن، عالم نظرية الأعداد الذي يعمل في البحث الرياضي منذ أيام دراسته الجامعية، تناول عدة مسائل إردوش مرة واحدة. عمل على أسئلة تتعلق بالأعداد الصحيحة المتتالية بعوامل أولية محدودة وما إذا كانت السلاسل القصيرة من الأعداد الصحيحة المتتالية يمكن أن تشمل جميع الأعداد الأولية ضمن نطاق معين. كما قام بالتحقق من الحلول باستخدام Lean، وهو برنامج مصمم خصيصًا للتحقق من الإثباتات الرياضية. هذا الجزء الأخير مهم — جائزة جاستن صن لا تريد فقط الإجابات، بل تريد إجابات يمكن التحقق منها.
تانغ، طالب الدكتوراه في جامعة العلوم والتكنولوجيا في الصين، يركز على نظرية الأعداد والتوافقيات والاكتشاف بمساعدة الذكاء الاصطناعي. حل مشكلة إردوش رقم 1044، التي تتعلق بتحديد حد أدنى للمناطق المعرفة بالمعادلات متعددة الحدود. ليست قراءة خفيفة بالتأكيد. كما تعاون تانغ مع لي لحل مشكلة رقم 1196، التي تتعلق بالمجموعات الموزونة على مجموعات معينة من الأعداد الصحيحة.
تعاون الباحثون الثلاثة أيضًا معًا في مشكلة إردوش رقم 650 — وهي مشكلة تتعلق بمطابقة الأعداد الصحيحة مع مضاعفات متميزة ضمن نطاق محدد. وهنا تصبح زاوية الذكاء الاصطناعي مثيرة للاهتمام.
دخول ChatGPT وأرسطو إلى غرفة الإثبات
أثناء العمل على مشكلة رقم 650، اعتمد الفريق على نظامين للذكاء الاصطناعي في مراحل مختلفة. تعامل ChatGPT مع العمل الاستراتيجي للإثبات في البداية. ثم جاء أرسطو، وهو نظام ذكاء اصطناعي منفصل، للقيام بالمهمة الأصعب في تحسين عملية التشكيل. هناك تقسيم واضح — الفكرة العامة أولاً، ثم العمل الدقيق. كان الحكم البشري موجودًا طوال العملية، لكن أدوات الذكاء الاصطناعي قامت بجهد حقيقي.
هذا النوع من التعاون بين البشر والذكاء الاصطناعي أصبح أكثر شيوعًا في الأبحاث عالية المستوى، وربما سيستمر في الانتشار. التحقق من الإثباتات الرياضية هو أحد المجالات التي يمكن أن يساعد فيها الذكاء الاصطناعي بشكل حقيقي ومنظم — ليس فقط في تلخيص النصوص أو توليد النصوص الجاهزة، بل في العمل من خلال سلاسل منطقية يجب أن تصمد أمام التدقيق. استخدام فان دورن لـ Lean للتحقق يقع في نفس المجال. يجب أن يكون الإثبات قابلاً للتحقق بواسطة الآلة. هذا معيار صعب.
يمكن للفائزين بالجائزة استلام جوائزهم إما في USDT على شبكة TRON أو USDC على إيثريوم. هذا ليس تفصيلًا تافهًا — إنه يقول شيئًا عن ماهية الجائزة ومن يقف وراءها.
الخطوة الأكبر لجاستن صن هنا
أسس جاستن صن، مؤسس TRON، الجائزة لدفع الرياضيات إلى الأمام ووضع الاكتشاف العلمي بمساعدة الذكاء الاصطناعي على أسس أكثر رسمية. المبادرة تقدر قوة وقابلية التحقق من الإثباتات على المكانة الأكاديمية التقليدية. باختصار، لا يهم أين درست أو ما إذا كان لديك منصب دائم. المهم هو ما إذا كان إثباتك يصمد.
هذا تغيير مهم عن كيفية عمل الاعتراف الأكاديمي عادةً. الجوائز التقليدية في الرياضيات تميل إلى التدفق عبر المؤسسات القائمة، والمجلات المرموقة، والشبكات المهنية القديمة. جائزة جاستن صن مفتوحة عمدًا — متاحة للجمهور، قابلة للتحقق، وليست محكومة بالسمعة الأكاديمية.
ما إذا كان هذا النموذج سينتشر بشكل أوسع غير واضح. ولكن في الوقت الحالي، حصل ثلاثة باحثين على الجوائز المؤكدة الأولى، والرياضيات وراء انتصاراتهم قابلة للتحقق من قبل أي شخص لديه البرنامج المناسب.
عمل فان دورن في التحقق باستخدام Lean هو على الأرجح أوضح مثال على ما تهدف الجائزة إلى مكافأته. Lean ليست أداة يعرفها معظم المراقبين العاديين، لكنها في الأوساط الرياضية تعتبر بنية تحتية جادة — تستخدم لبناء إثباتات يمكن للكمبيوتر التحقق منها سطرًا بسطر. هذا هو النوع من الدقة الذي يبدو أن الجائزة تريد مكافأته.
حل تانغ لمشكلة رقم 1044 وتعاونه مع لي في مشكلة رقم 1196 يكمل مجموعة من الانتصارات التي تمتد عبر نظرية الأعداد والتوافقيات. لا يزال طالب دكتوراه. لي في جامعة جنوب شرق في نانجينغ. فان دورن مستقل. ثلاث مراحل مهنية مختلفة، ثلاث مؤسسات مختلفة — أو لا مؤسسة على الإطلاق — وجائزة مشتركة واحدة.
الجائزة تُمنح بالعملات الرقمية. الرياضيات صعبة بالطريقة القديمة.
المحور: سعر USDC، الأخبار، والتحليل
الأسئلة الشائعة
من فاز بجائزة جاستن صن وما الذي حلوه؟
فاز ووتر فان دورن، كوانيو تانغ، ويانغيانغ لي بالجائزة لعملهم على مسائل إردوش بما في ذلك مشكلة رقم 650، مشكلة رقم 1044، ومشكلة رقم 1196، التي تغطي نظرية الأعداد والتوافقيات.
كيف يمكن للفائزين بجائزة جاستن صن استلام جائزتهم؟
Hub: USDC : السعر والأخبار والتحليل
يمكن للفائزين اختيار استلام جائزتهم إما في USDT على شبكة TRON أو USDC على إيثريوم.
