المسائل الستّون الفائزة الافتتاحية رقم 66

كشف @justinsuntron عن أول 66 مسألة فائزة بجائزة Justin Sun Prize، حيث تقدم مسائل فئة Pinnacle جوائز تصل إلى 1 مليون دولار.

لكن الجزء المثير للاهتمام ليس المكافأة فحسب.

بل هو النموذج الجديد وراء ذلك:

حلّ → صياغة رسمية → تحقق → مكافأة

1. المُبرهن يحصل على 70%
الشخص الذي يحلّ المسألة الرياضية.
2. الصياغي الرسمي يحصل على 30%
الشخص الذي يحوّل البرهان إلى صيغة يمكن التحقق منها آليًا عبر Lean.

إذا قام شخص واحد بالأمرين معًا، يمكنه الحصول على 100% من الجائزة.
ولا يهم ما إذا كان الحل صادرًا من إنسان، أو ذكاء اصطناعي، أو إنسان + ذكاء اصطناعي.

ما يهم هو ما إذا كان Lean قادرًا على التحقق رسميًا من البرهان.

وهذا يثير الاهتمام بشكل خاص في عصر الذكاء الاصطناعي.

أن يُنتج الذكاء الاصطناعي برهانًا يبدو صحيحًا هو شيء.

لكن التحقق من كل خطوة من ذلك البرهان بواسطة آلة هو شيء آخر.

القائمة الافتتاحية تتضمن بالفعل معادلة Navier–Stokes ضمن فئة Pinnacle، مع فريق OpenAI من جهة الحل، وOpenAI من جهة التحقق في Lean.

وهذا يُحيي الرؤية الأصلية لجائزة Justin Sun Prize:

الرياضيات × الذكاء الاصطناعي × التحقق الرسمي × البلوكشين

66 مسألة ليست سوى البداية.

السؤال الأكبر هو:

ماذا يحدث عندما تصبح الاختراقات الرياضية مهامًا مفتوحة ومُحفَّزة وقابلة للتحقق الآلي؟