I
اخترع ألفريد نوبل الديناميت، وهو ما جلب له معظم ثروته.
تقول الأسطورة أنه في عام 1888، نشرت صحيفة فرنسية عن طريق الخطأ نعيه بعنوان: "موت تاجر الموت". قرأ نوبل نعيه الخاص، وبعد بضع سنوات، صاغ وصيته.
اليوم، لا أحد يسميه تاجر الموت.
أصبح مصطلح "نوبل" محايدًا، تمامًا مثل "فولت" أو "واط"—مجردًا من المشاعر، مجرد وحدة قياس. لقد ترك ثروته لأولئك الذين "منحوا البشرية أعظم فائدة". عادت ثروته إلى الإنسانية، واستعاد اسمه حياديته—ليس من خلال تبرير الذات، بل من خلال قائمة الحائزين على الجائزة التي تمتد لقرن كامل.
أشارك هذه القصة لأنني أفهمه. أعرف من أين تأتي الثروة وإلى أين يمكن أن تذهب.
II
بنيت ثروتي على الرياضيات.
تعتمد صناعة البلوكشين بأكملها على عدد قليل من اللبنات الأساسية التشفيرية المدروسة جيدًا والفرضيات الرياضية: صعوبة حل اللوغاريتمات المتقطعة على المنحنيات الإهليلجية، وعدم قابلية دوال التجزئة للعكس، واستحالة تحليل الأعداد الكبيرة إلى عواملها الأولية. في عام 1985، توصل عالم رياضيات بشكل مستقل إلى فكرة استخدام المنحنيات الإهليلجية للتشفير—أحدهما في جامعة، والآخر في شركة IBM، دون أي علم بوجود الآخر. في ذلك الوقت، لم يرَ أحد أي استخدام عملي لها. ما رسموه على السبورات تطور لاحقًا إلى سوق بقيمة تريليون دولار، مانحًا الأفراد شيئًا غير مسبوق: سيادة مالية حقيقية وغير مسموح بها (Permissionless). ومع ذلك، لم يجنِ هذان العالمان سنتًا واحدًا من الثورة التي مكنا منها.
هذه الحرية هي واحدة من أكثر الهدايا التي قدمتها الرياضيات للبشرية والتي تم التقليل من شأنها بشكل عميق. لقد أخذت الكثير من هذه الهدية. إنشاء هذه الجائزة هو، قبل كل شيء، طريقتي لإرجاع الجميل لهذا الأساس نفسه.
III
لا توجد جائزة نوبل في الرياضيات. يعود هذا الإغفال إلى أكثر من قرن—ربما بسبب أسباب شخصية، أو ربما كان مجرد سهو.
جاءت لاحقًا ميدالية فيلدز، التي تُمنح كل أربع سنوات لعلماء رياضيات تحت سن الأربعين، وجائزة أبيل، التي تُمنح سنويًا تقديرًا للإنجازات مدى الحياة. كلاهما استثنائي، لكن وتيرتهما تنتمي إلى عصر مضى.
ومع ذلك، كان للمجتمع الرياضي تقاليده الخاصة. قضى بول إردوس حياته في وضع مكافآت على مسائل رياضية غير محلولة، مقدمًا مبالغ تتراوح بين 25 و10,000 دولار. أي شخص يحل مسألة يحصل على شيك منه. قام الكثيرون بتأطير هذه الشيكات على جدرانهم، ولم يصرفوها أبدًا أثناء حياتهم. توفي إردوس في عام 1996، ومنذ ذلك الحين، أصبحت مثل هذه المكافآت نادرة.
تدخل الرياضيات الآن حقبة جديدة تمامًا. لا يمكن للذكاء الاصطناعي إجراء تجارب فيزيائية، لكنه يتفوق في الاستدلال المنطقي. قد يواجه صعوبة في بناء مسرع جسيمات للفيزيائيين، لكنه يستطيع استكشاف عشرة آلاف مسار لعالم رياضيات. اليوم، يمكن أن يكون الوقت بين اقتراح فرضية وإثباتها مسألة أشهر، أو حتى أيام. في مواجهة هذه السرعة غير المسبوقة، فإن جائزة تُمنح كل أربع سنوات تشبه جرسًا بطيئًا يدق في عالم يتغير يومًا بعد يوم.
IV
بسبب هذا، فإن تصميم جائزة جاستن صن بسيط بشكل استثنائي.
تكافئ الجائزة الحل، وليس الشخص. لا حفلات سنوية، ولا ترشيحات بيروقراطية، ولا قيود عمرية.
تعترف كل تحدٍ بمساهمَين متميزين: المثبت (Prover) والمُصاغ (Formalizer)—الشخص الذي يترجم البرهان إلى تنسيق قابل للتحقق آليًا. يمكن أن يتولى نفس الشخص هذين الدورين، أو يمكن أن يتولاهما غريبان يفصل بينهما نصف الكرة الأرضية. إنسان، ذكاء اصطناعي، أو مزيج من كليهما—يهمني فقط النتيجة، وليس ما إذا كان المساهم إنسانًا أو آلة. يمكن أن يظهر نفس الاسم مرارًا وتكرارًا، في أي خانة يتم اكتسابها فيها.
الدفع له محفز واحد فقط: يجب على الآلة التحقق من البرهان من السطر الأول إلى الأخير، دون خطأ واحد. بمجرد اجتياز التحقق، فإن أولئك المدرجين في العمودين هما مالكا الجائزة لهذه المشكلة.
لم أبتكر هذا المعيار—قام بيتر شولتز بنشر نظريته البارزة عبر الإنترنت، داعيًا المجتمع إلى صياغتها للتحقق الآلي؛ حاليًا، يتم ترجمة آخر نظرية لفيرما إلى كود، سطرًا بسطر، بينما نتحدث.
لكن الإنجاز البشري يُعترف به منذ وقت طويل قبل أن تكمل الآلة عملها. بمجرد قبول المجتمع الرياضي لبرهان، يتم الاعتراف رسميًا باسم المثبت. تبقى الأموال مقفلة، ويتم تحديث الحالة إلى: "تم إثباتها، بانتظار الصياغة".
تنطبق مكافأة حل المشكلات فقط على التحديات التي يتم حلها بعد إضافتها إلى السجل الرسمي. إذا كانت المشكلة محلولة بالفعل عند إدراجها، فلا يزال اسم المثبت مسجلاً، لكن الجائزة تذهب بالكامل لمن يقوم بصياغتها للآلة. توثق هذه الجائزة التاريخ كما يتكشف؛ فهي لا تمنح جوائز بأثر رجعي لأعمال تم إنجازها بالفعل.
حدود واضحة ومحددة بدقة: الفضل يعود للمجتمع الرياضي، والجائزة تعود للآلة، ويحافظ الممول على استقلال صارم عن كليهما. الحكم البشري مخصص لشيء واحد فقط: التأكد من أن المشكلة المشفرة في الآلة هي المشكلة الصحيحة فعلاً.
سلطتي تبدأ وتنتهي بشيء واحد: القائمة. أي التحديات يتم إضافتها، وما هي المكافآت التي تحملها—هذا قرار حصري لي. كتب إردوس المبالغ بنفسه على شيكاته، ولا أرى سببًا لكسر تلك التقاليد. ولكن بمجرد إدراج مكافأة، يتم تثبيتها: يمكن إضافة مشاكل فقط، ولا يمكن إزالتها أبدًا؛ يمكن دفع الأموال فقط، ولا يمكن سحبها من قبل الممول.
لا أحد، بما في ذلك أنا، يمكنه العبث بهذا. إذا تمت صياغة التحدي بشكل غير صحيح، يتم دفع المكافأة بغض النظر، وسيتم إعادة إدراج النسخة المصححة.
تركيزي الشخصي منصب بالكامل على هذه المهمة الواحدة. بخلاف تسعير المكافآت، ليس لدي صوت في التحقق، أو الدفع، أو نسب الأسماء.
النتائج تتحدث عن نفسها.
V
الجانب الأكثر إقناعًا في هذه القواعد هو "الانتظار".
بعد حل مشكلة وقبولها من قبل المجتمع الرياضي، لا تُمنح الجائزة فورًا. يوضع اسم المثبت أولاً، ويبقى عمود الصياغة فارغًا، وتقرأ الحالة: "تم إثباتها، بانتظار الصياغة". بمجرد أن يقوم شخص ما بصياغة ذلك البرهان وتقوم الآلة بالتحقق منه، يتم إدخال اسمه في العمود الفارغ، وتبدأ عملية تأسيس ملكية الجائزة في تلك اللحظة.
في الجوائز الأخرى، الانتظار هو وقت ميت—عملية بيروقراطية، شر لا بد منه. هنا، الانتظار نفسه هو مخزون مفتوح من المهام التي يجب إنجازها.
قام الكثيرون بتأطير شيكات إردوس على جدرانهم ولم يصرفوها أبدًا. الشيك غير المصروف هو نصب تذكاري للماضي، بينما الجائزة المقفلة على سلسلة الكتل (On-chain) هي محفز للمستقبل. الخانة الفارغة تعلن فعليًا للعالم: مهمة تاريخية تنتظر، وتحمل مكافأة.
من هذه القائمة للمشاكل ينمو شيء أكبر بكثير: خريطة عامة، ترسم كل ما قبلته البشرية ولم تتحقق منه الآلات بعد. مثل هذه الخريطة لا توجد اليوم. توجد فقط في أجزاء متفرقة، منتشرة عبر منصات مختلفة—غير موحدة أبدًا، وبالتأكيد بدون علامات أسعار.
أولئك الذين يعملون على الصياغة لم يعانوا أبدًا من نقص الشغف؛ ما ينقصهم هو مخطط واضح مع مكافآت محددة. تذهب المكافأة لمن يكمل المهمة. اعتبارًا من هذا اليوم، يبقى شغف تغذية البراهين الطويلة للآلات لهم، لكن الدعم المالي مسؤوليتي.
VI
أريد أيضًا أن أتحدث عن الفلسفة الإرشادية. هنا تختلف الجائزة حقًا عن نوبل.
كان نوبل مخترعًا. آمن طوال حياته بأن الشيء يجب أن يكون مفيدًا—أنه يجب أن يتجذر في الواقع، ويُبنى، ويُباع، ويغير طريقة عيش الناس. كانت هذه فلسفته الإرشادية، وهي محفورة في الجوائز التي تحمل اسمه: الفيزياء، والكيمياء، والطب، والأدب، والسلام. كل واحدة منها تكافئ العمل الذي له تأثير ملموس وحقيقي في العالم. لأكثر من قرن، كرمت نوبل أولئك الذين يبنون على أرض صلبة.
فلسفتي الإرشادية مختلفة، ولا أرى سببًا لإخفاء أصولها. لقد قرأت مقال داريو أمودي Machines of Loving Grace وأشارك الرؤية التي يرسمها: أمة من العباقرة تعيش داخل مركز بيانات.
أشارك هذه الرؤية لأنني أعمل نحو الهدف النهائي نفسه. منذ البداية، كانت البلوكشين مجالًا مبنيًا بالكامل في التجريد—لا مصانع، ولا مناجم، ولا أراضي، فقط توافق وآراء ورياضيات. عملي في الذكاء الاصطناعي هو ببساطة طريقة أخرى لتوسيع هذا المجال. أؤمن بأنه في هذا القرن، ستوجد نسبة كبيرة من أهم هياكل البشرية في المجالات الرقمية، والاستدلال النقي هو الأساس الوحيد الذي يمكن بناء مثل هذا المجال عليه. في عام 1940، كتب جي. إتش. هاردي في A Mathematician’s Apology أنه سعيد لأن نظرية الأعداد لن يكون لها أي استخدام عملي أبدًا. بعد ثمانين عامًا، نظرية الأعداد هي أساس صناعتنا.
اختار نوبل وأنا اتجاهات مختلفة. كافأ هو التطبيقات الملموسة في العالم الحقيقي؛ أنا أكافئ النظري البحت—الهياكل المجردة المبنية بدقة منطقية لا تشوبها شائبة. لا يوجد نهج أفضل من الآخر؛ إنها تعكس عصريْن ونموذجين مختلفين. أريد نقل هذه الرؤية لمملكة مجردة يقودها المنطق، عامًا بعد عام، من خلال جائزة.
VII
في خريف عام 2007، التحق ثلاثة طلاب بجامعة بكين في العام نفسه. وصل أحدهم من شينزن، حاملًا ميدالية ذهبية في الأولمبياد، ودخل كلية العلوم الرياضية. جاء آخر من قويلين، بدأ في علوم الأرض والفضاء، ثم انتقل إلى الرياضيات. الثالث كان من هويتشو ودرس التاريخ.
بعد تسعة عشر عامًا، شارك اثنان منهم المسرح في فيلادلفيا. حصل وانغ هونغ ودنغ يو على ميداليات فيلدز لعام 2026.
قرأ الثالث الأخبار مؤخرًا أثناء تصفحه الإنترنت من مقصورة طائرة خاصة. وضع الهاتف جانباً. لم تكن فكرته الأولى الفخر. كانت هذه: جيلنا قد بلغ سن الرشد. حان الوقت لنقدم مساهمتنا الخاصة.
مساهمتهم هي إثبات النظريات. مساهمتي هي ضمان مكافأتهم عليها.
VIII
على مر السنين، توزعت جهود الخير الخاصة بي عبر مبادرات مختلفة. في المستقبل، سأركز كل اهتمامي على هذه الجائزة—لأنها تمثل مساهمتي المحتملة الأكثر أهمية للبشرية.
حاليًا، هي جائزة في الرياضيات.
IX
نقطة أخيرة حول سبب حمل هذه الجائزة لاسمي: هناك سببان رئيسيان.
أولاً، الجائزة المسماة على اسم شخص هي واحدة من الأشياء القليلة التي تتجاوز السياسة المؤسسية. نوبل، فيلدز، أبيل، تورينغ، وولف—أكثر الجوائز دوامًا في الرياضيات والعلوم تسمى تقريبًا جميعها على أسماء أفراد. الدول تتغير، المؤسسات تعيد تسمية نفسها، الشركات تختفي. بمجرد أن يكون الاسم على جائزة، يبقى هناك. لا أحد يعيد كتابته.
ثانيًا، أنا مدين لنفسي بذلك. عمري ستة وثلاثون عامًا. الثروة التي جمعتها بالفعل تتجاوز ما أحتاجه. الثروة بلا هدف تولد نزاعات الميراث وتنحدر إلى مجرد سجلات دور المزادات. طالما أنني سليم العقل وقادر، أريد توجيه هذه الثروة بنفسي: جاءت من الرياضيات، وستعود إلى الرياضيات.
بخصوص أي تدقيق عام يحيط بي، دع قائمة الفائزين تتحدث عن نفسها. لا أتوقع من أحد أن يأخذ كلامي على محمل الجد اليوم.
جائزة جاستن صن مبنية لتتحمل اختبار الزمن.
X
ختامًا، لا تتطلب هذه الجائزة ثقة بين الناس. التحقق رياضي. الآلة تجيب فقط للمنطق. تم تحويل مجموعة الجوائز الأولية بالفعل إلى سلسلة الكتل. العنوان عام، ويمكن لأي شخص رؤية الرصيد. أحتفظ فقط بحق إضافة المزيد من الأموال.
سيتم نشر كل برهان فائز، بحيث يمكن لأي شخص فحصه بنفسه. لا حاجة للثقة—لا فيّ ولا في أي لجنة. ستبقى كل مدفوعات على السلسلة—عامة، غير قابلة للتغيير، وقابلة للتحقق بعد مائة عام من الآن. بمجرد تأسيس البرهان، فهو يقف للأبد. آمل أن يعكس المكافأة المقدمة للمثبت تلك الديمومة الأبدية نفسها.
أنا لست عالم رياضيات. أنا مجرد مراقب ومحسن. الباقي متروك للبراهين.
جاستن صن
لمزيد من المعلومات حول جائزة جاستن صن، يرجى زيارة القنوات الرسمية التالية:
إكس (X): x.com/JustinSunPrize
الموقع الرسمي: hejustinsun.com/prize
GitHub: github.com/TheJustinSunPrize
