شون قَت للتو على موقع X نشر تغريدة...
لماذا أنشئ جائزة صن يو تشين
أولا
اخترع نوبل الديناميت. كانت معظم ثروته طوال حياته مصدرها هذا الشيء.
يُقال إنه في عام 1888، أرسلت إحدى الصحف الفرنسية نعيًا بالخطأ بعنوان: "تاجر الموت مات". قرأ نوبل نعيه، وبعد بضع سنوات كتب وصية.
واليوم لا يطلق عليه أحد تاجر الموت.
"نوبل" تحوّل إلى اسم محايد، مثل "فولت" و"واط"—بدون مشاعر، مجرد وحدة قياس. أعطى أمواله إلى "أولئك الذين قدّموا أعظم مساهمة للبشرية"، فعادت الأموال إلى أيدي البشر، وعاد اسمه أيضًا إلى الحياد؛ لا عبر الدعاوى القضائية، بل عبر قائمة الفائزين التي استمرت أكثر من مئة عام.
أحكي هذه القصة لأنني أفهمه. أعرف من أين تأتي الأموال، وأعرف إلى أين يمكن أن تذهب.
ثانيا
جذور ثروتي هي الرياضيات.
هذه الصناعة—سلسلة البلوك تشين—بُنيت إجمالًا على مقولات وتوقعات أمنية وافتراضات تشفير تدعمها أبحاث طويلة: صعوبة حل اللوغاريتمات المنفصلة على المنحنيات البيضاوية، دوال التجزئة غير القابلة للعكس، وصعوبة تفكيك الأعداد الكبيرة. في عام 1985، فكّر رياضيان—كل على حدة—أن بإمكانهما استخدام المنحنيات البيضاوية في التشفير: أحدهما في الجامعة، والآخر في شركة IBM، دون أن يعرف أحدهما الآخر. في ذلك العام لم يرَ أحد أن الأمر مفيد.
ما كتباه على السبورة تحول لاحقًا إلى سوق بمئات المليارات من الدولارات تريليونات الدولارات، وتحول إلى شيء لم يسبق له مثيل: يستطيع شخص ما التحكم الكامل في ثروته دون حاجة إلى إذن من أي أحد. وحتى هم أنفسهم لم يحصلوا على سنت واحد.
هذا النوع من الحرية، أحد أكثر الهبات الرياضية التي لم تُقدَّر قدرها للبشرية. لقد أخذت من هذه الهبة الكثير. وإنشاء هذه الجائزة هو، أولًا، تسديد دين.
ثالثا
لا توجد جائزة نوبل للرياضيات. كانت هذه سهوًا منذ أكثر من مئة عام—قد يكون لأسباب شخصية، وقد يكون فقط لأنه لم يخطر ببالهم.
لاحقًا ظهرت جائزة فيلدز، مرة كل أربع سنوات، للفائزين دون سن الأربعين؛ وظهرت جائزة آبل، مرة كل سنة، لتكريم الإنجازات طوال العمر. كلها جيدة، لكن إيقاعها هو إيقاع العصر السابق.
في المجتمع الرياضي، كان هناك في الواقع نوع آخر من الجوائز. كان إردوس يضع ثمناً للمشكلات طوال حياته: من 25 دولارًا إلى 10,000 دولار. من يحلها، يصدر له شيكًا. كثيرون علّقوا الشيكات في الجدار، لكن لم تُصرف أبدًا طوال حياتهم. توفي إردوس عام 1996، ومن بعد وفاته بدأت قيمة تلك الشيكات تُفتح أقل فأقل.
أما الرياضيات فهي الآن تدخل عصرًا مختلفًا. لا يستطيع الذكاء الاصطناعي إجراء التجارب، لكنه يستطيع الاستدلال. قد يكون من الصعب على الذكاء الاصطناعي أن يصنع لعلماء الفيزياء مصادمًا، لكنه يستطيع أن يجرّب عشرة آلاف طريق للرياضيين. اليوم قد يستغرق حل حدسٍ من طرحه حتى إيجاده أشهراً قليلة، وربما أيامًا.
جائزة تُمنح كل أربع سنوات، أمام مثل هذا السرعة، تشبه ساعة تُقرع كل أربع سنوات، معلّقة في عصر يقيس الوقت بالأيام.
رابعا
لذلك قواعد جائزة صن يو تشين بسيطة جدًا.
الجائزة تتبع المسألة، لا تتبع الأشخاص. لا تنتظر السنة، ولا تنتظر الترشيحات، ولا تنتظر العمر.
لكل مسألة عمودان للتوقيع: أحدهما يسجل المُبرهن، والآخر يسجل من يقوم بصياغة البرهان بشكل شكلي؛ أي الشخص الذي ينقل البرهان إلى الآلة. يمكن أن يكون العمودان لشخص واحد، ويمكن أن يفصل بينهما نصف كوكب ولا يعرفان بعضهما. يمكن للإنسان، ويمكن للذكاء الاصطناعي، ويمكن للمرء باستخدام الذكاء الاصطناعي—ولا يهمني أي كائن يكون في أي عمود.
اسم واحد يمكن أن يظهر مرة بعد مرة، سواء في هذا العمود أو ذاك.
لا توجد سوى آلية تحفيز واحدة للأموال: تقوم الآلة بمراجعة البرهان من السطر الأول إلى السطر الأخير، خطوة لا تنقص ولا تزيد. بعد اجتيازه، تكون القوائم في العمودين هي أصحاب الجائزة لهذه المسألة.
هذا المعيار لم أبتكره أنا. علّق شولزه أهم نظرية لديه، وطلب نقلها إلى الآلة لتُتحقق؛ ونظرية فيرما، في هذه اللحظة، يجري نقلها سطرًا سطرًا.
قبل أن تتحقق الآلة، لا يكون برهان البشر قد أُنجز عبثًا. اعترف المجتمع الرياضي به، ثم يُعلّق الاسم أولًا: تُحفظ الأموال دون تحريك سنت واحد، وتكتب خانة الحالة: "تم إثباته، بانتظار الصياغة الشكلية".
أموال عمود حل المسألة لا تُدفع إلا عندما تُنشر ويُحلّ الأمر فعليًا. أمّا إذا كانت المسألة قد حُلّت وقت النشر، فيُثبت اسم المُبرهن كما هو، ولا تُدفع الأموال إلا لمن ينقلها إلى الآلة.
تسجل هذه الجائزة ما يحدث بعد إنشائها، ولا تكمل التاريخ الرياضي بمنح جوائز متأخرة.
التقسيم واضح: الأسماء تخص المجتمع الرياضي، والأموال تخص الآلة، ولا يَطّلع الممول على أي شيء من الجهتين. يبقى على الإنسان حكم واحد فقط: التأكد من أن المسألة التي يتم كتابتها في الآلة هي—تلك المسألة.
وبقي شيء أخير أقرر أنا بشأنه: قائمة المسائل. أي مسألة تُدرج، وما هو سعرها، ومن يوقّع—أنا من يقرر.
شيكات إردوس، كانت أيضًا أسعارها يكتبها بنفسه؛ ولا نحزم هذا الباب بالاستثناء. لكن بمجرد أن تُعلّق المسألة على الرف، يتقفل كل شيء: المسائل تُزاد ولا تُنقص، الأموال تُصرف ولا تُسترد—بما فيها أنا—لا يملك أحد تغيير ذلك. إن كُتبت مسألة خطأ، تُدفع كما هي، ثم تُعاد معلقتها من جديد.
ذوقي كله مصروف على هذه النقطة الواحدة. باستثناء التسعير، التحقق ودفع الأموال وتسجيل الأسماء—لا أملك فيها أي صوت.
النتيجة تقول كلمتها.
خامسا
في هذه المجموعة من القواعد، أكثر ما أحبّه هو كلمة "انتظار".
بعد أن تُحل مسألة ويعترف بها المجتمع الرياضي، لا تتحرك الأموال فورًا. يُعلّق اسم المُبرهن أولًا، ويظل عمود الصياغة الشكلية فارغًا، وتكتب خانة الحالة: "تم إثباته، بانتظار الصياغة الشكلية".
من ينقل هذا البرهان إلى الآلة، ثم تتحقق الآلة، عندها تملأ الخانة الفارغة بالاسم، وفي تلك اللحظة نفسها تنطلق رحلة ملكية المال.
في الجوائز الأخرى، يكون الانتظار تأخيرًا، أو إجراءً، أو شرًا لا بد منه. أما هنا، فالانتظار بحد ذاته قائمة.
شيكات إردوس علّقها كثيرون في الجدار، وظلت معلّقة طوال حياتهم دون صرف. الأموال المعلّقة تنظر إلى الوراء—تذكار؛ الأموال المعلّقة على السلسلة تنظر إلى الأمام—نداء للتجمع. الخانة الفارغة كأنها تقول للعالم كله: هنا توجد حياة، ولها قيمة.
وهكذا تنبت قائمة المسائل شيئًا آخر في الوقت نفسه: خريطة عامة، تُظهر كل ما سبق أن أقرّته البشرية ولم تُقرّه الآلة بعد. هذه الخريطة لا توجد اليوم. إنها مبعثرة على شكل شظايا في أماكن قليلة، ولم تتجمع يومًا في وحدة واحدة، ولم تحمل أبدًا أي ثمن.
لا يفتقر المختصون بالصِّياغة الشكلية إلى الحماس، بل يفتقرون إلى مخطط بناء يحمل أسعارًا. من يذهب لملء ذلك الفراغ، هو من يحصل على المال.
من الآن فصاعدًا، إن نقل البرهان الطويل إلى الآلة—سيبقى الحماس من جهتهم، أما الفاتورة فتعتمد عليّ.
لماذا أنشئ جائزة صن يو تشين
أولا
اخترع نوبل الديناميت. كانت معظم ثروته طوال حياته مصدرها هذا الشيء.
يُقال إنه في عام 1888، أرسلت إحدى الصحف الفرنسية نعيًا بالخطأ بعنوان: "تاجر الموت مات". قرأ نوبل نعيه، وبعد بضع سنوات كتب وصية.
واليوم لا يطلق عليه أحد تاجر الموت.
"نوبل" تحوّل إلى اسم محايد، مثل "فولت" و"واط"—بدون مشاعر، مجرد وحدة قياس. أعطى أمواله إلى "أولئك الذين قدّموا أعظم مساهمة للبشرية"، فعادت الأموال إلى أيدي البشر، وعاد اسمه أيضًا إلى الحياد؛ لا عبر الدعاوى القضائية، بل عبر قائمة الفائزين التي استمرت أكثر من مئة عام.
أحكي هذه القصة لأنني أفهمه. أعرف من أين تأتي الأموال، وأعرف إلى أين يمكن أن تذهب.
ثانيا
جذور ثروتي هي الرياضيات.
هذه الصناعة—سلسلة البلوك تشين—بُنيت إجمالًا على مقولات وتوقعات أمنية وافتراضات تشفير تدعمها أبحاث طويلة: صعوبة حل اللوغاريتمات المنفصلة على المنحنيات البيضاوية، دوال التجزئة غير القابلة للعكس، وصعوبة تفكيك الأعداد الكبيرة. في عام 1985، فكّر رياضيان—كل على حدة—أن بإمكانهما استخدام المنحنيات البيضاوية في التشفير: أحدهما في الجامعة، والآخر في شركة IBM، دون أن يعرف أحدهما الآخر. في ذلك العام لم يرَ أحد أن الأمر مفيد.
ما كتباه على السبورة تحول لاحقًا إلى سوق بمئات المليارات من الدولارات تريليونات الدولارات، وتحول إلى شيء لم يسبق له مثيل: يستطيع شخص ما التحكم الكامل في ثروته دون حاجة إلى إذن من أي أحد. وحتى هم أنفسهم لم يحصلوا على سنت واحد.
هذا النوع من الحرية، أحد أكثر الهبات الرياضية التي لم تُقدَّر قدرها للبشرية. لقد أخذت من هذه الهبة الكثير. وإنشاء هذه الجائزة هو، أولًا، تسديد دين.
ثالثا
لا توجد جائزة نوبل للرياضيات. كانت هذه سهوًا منذ أكثر من مئة عام—قد يكون لأسباب شخصية، وقد يكون فقط لأنه لم يخطر ببالهم.
لاحقًا ظهرت جائزة فيلدز، مرة كل أربع سنوات، للفائزين دون سن الأربعين؛ وظهرت جائزة آبل، مرة كل سنة، لتكريم الإنجازات طوال العمر. كلها جيدة، لكن إيقاعها هو إيقاع العصر السابق.
في المجتمع الرياضي، كان هناك في الواقع نوع آخر من الجوائز. كان إردوس يضع ثمناً للمشكلات طوال حياته: من 25 دولارًا إلى 10,000 دولار. من يحلها، يصدر له شيكًا. كثيرون علّقوا الشيكات في الجدار، لكن لم تُصرف أبدًا طوال حياتهم. توفي إردوس عام 1996، ومن بعد وفاته بدأت قيمة تلك الشيكات تُفتح أقل فأقل.
أما الرياضيات فهي الآن تدخل عصرًا مختلفًا. لا يستطيع الذكاء الاصطناعي إجراء التجارب، لكنه يستطيع الاستدلال. قد يكون من الصعب على الذكاء الاصطناعي أن يصنع لعلماء الفيزياء مصادمًا، لكنه يستطيع أن يجرّب عشرة آلاف طريق للرياضيين. اليوم قد يستغرق حل حدسٍ من طرحه حتى إيجاده أشهراً قليلة، وربما أيامًا.
جائزة تُمنح كل أربع سنوات، أمام مثل هذا السرعة، تشبه ساعة تُقرع كل أربع سنوات، معلّقة في عصر يقيس الوقت بالأيام.
رابعا
لذلك قواعد جائزة صن يو تشين بسيطة جدًا.
الجائزة تتبع المسألة، لا تتبع الأشخاص. لا تنتظر السنة، ولا تنتظر الترشيحات، ولا تنتظر العمر.
لكل مسألة عمودان للتوقيع: أحدهما يسجل المُبرهن، والآخر يسجل من يقوم بصياغة البرهان بشكل شكلي؛ أي الشخص الذي ينقل البرهان إلى الآلة. يمكن أن يكون العمودان لشخص واحد، ويمكن أن يفصل بينهما نصف كوكب ولا يعرفان بعضهما. يمكن للإنسان، ويمكن للذكاء الاصطناعي، ويمكن للمرء باستخدام الذكاء الاصطناعي—ولا يهمني أي كائن يكون في أي عمود.
اسم واحد يمكن أن يظهر مرة بعد مرة، سواء في هذا العمود أو ذاك.
لا توجد سوى آلية تحفيز واحدة للأموال: تقوم الآلة بمراجعة البرهان من السطر الأول إلى السطر الأخير، خطوة لا تنقص ولا تزيد. بعد اجتيازه، تكون القوائم في العمودين هي أصحاب الجائزة لهذه المسألة.
هذا المعيار لم أبتكره أنا. علّق شولزه أهم نظرية لديه، وطلب نقلها إلى الآلة لتُتحقق؛ ونظرية فيرما، في هذه اللحظة، يجري نقلها سطرًا سطرًا.
قبل أن تتحقق الآلة، لا يكون برهان البشر قد أُنجز عبثًا. اعترف المجتمع الرياضي به، ثم يُعلّق الاسم أولًا: تُحفظ الأموال دون تحريك سنت واحد، وتكتب خانة الحالة: "تم إثباته، بانتظار الصياغة الشكلية".
أموال عمود حل المسألة لا تُدفع إلا عندما تُنشر ويُحلّ الأمر فعليًا. أمّا إذا كانت المسألة قد حُلّت وقت النشر، فيُثبت اسم المُبرهن كما هو، ولا تُدفع الأموال إلا لمن ينقلها إلى الآلة.
تسجل هذه الجائزة ما يحدث بعد إنشائها، ولا تكمل التاريخ الرياضي بمنح جوائز متأخرة.
التقسيم واضح: الأسماء تخص المجتمع الرياضي، والأموال تخص الآلة، ولا يَطّلع الممول على أي شيء من الجهتين. يبقى على الإنسان حكم واحد فقط: التأكد من أن المسألة التي يتم كتابتها في الآلة هي—تلك المسألة.
وبقي شيء أخير أقرر أنا بشأنه: قائمة المسائل. أي مسألة تُدرج، وما هو سعرها، ومن يوقّع—أنا من يقرر.
شيكات إردوس، كانت أيضًا أسعارها يكتبها بنفسه؛ ولا نحزم هذا الباب بالاستثناء. لكن بمجرد أن تُعلّق المسألة على الرف، يتقفل كل شيء: المسائل تُزاد ولا تُنقص، الأموال تُصرف ولا تُسترد—بما فيها أنا—لا يملك أحد تغيير ذلك. إن كُتبت مسألة خطأ، تُدفع كما هي، ثم تُعاد معلقتها من جديد.
ذوقي كله مصروف على هذه النقطة الواحدة. باستثناء التسعير، التحقق ودفع الأموال وتسجيل الأسماء—لا أملك فيها أي صوت.
النتيجة تقول كلمتها.
خامسا
في هذه المجموعة من القواعد، أكثر ما أحبّه هو كلمة "انتظار".
بعد أن تُحل مسألة ويعترف بها المجتمع الرياضي، لا تتحرك الأموال فورًا. يُعلّق اسم المُبرهن أولًا، ويظل عمود الصياغة الشكلية فارغًا، وتكتب خانة الحالة: "تم إثباته، بانتظار الصياغة الشكلية".
من ينقل هذا البرهان إلى الآلة، ثم تتحقق الآلة، عندها تملأ الخانة الفارغة بالاسم، وفي تلك اللحظة نفسها تنطلق رحلة ملكية المال.
في الجوائز الأخرى، يكون الانتظار تأخيرًا، أو إجراءً، أو شرًا لا بد منه. أما هنا، فالانتظار بحد ذاته قائمة.
شيكات إردوس علّقها كثيرون في الجدار، وظلت معلّقة طوال حياتهم دون صرف. الأموال المعلّقة تنظر إلى الوراء—تذكار؛ الأموال المعلّقة على السلسلة تنظر إلى الأمام—نداء للتجمع. الخانة الفارغة كأنها تقول للعالم كله: هنا توجد حياة، ولها قيمة.
وهكذا تنبت قائمة المسائل شيئًا آخر في الوقت نفسه: خريطة عامة، تُظهر كل ما سبق أن أقرّته البشرية ولم تُقرّه الآلة بعد. هذه الخريطة لا توجد اليوم. إنها مبعثرة على شكل شظايا في أماكن قليلة، ولم تتجمع يومًا في وحدة واحدة، ولم تحمل أبدًا أي ثمن.
لا يفتقر المختصون بالصِّياغة الشكلية إلى الحماس، بل يفتقرون إلى مخطط بناء يحمل أسعارًا. من يذهب لملء ذلك الفراغ، هو من يحصل على المال.
من الآن فصاعدًا، إن نقل البرهان الطويل إلى الآلة—سيبقى الحماس من جهتهم، أما الفاتورة فتعتمد عليّ.
