للتو قرأت “لماذا أنشئ جائزة جستن صن” بواسطة @Justin Sun孙宇晨 ، وأعتقد أن الجزء الأكثر إثارة للاهتمام ليس فقط أن جستن يطلق جائزة في الرياضيات.
بل هو الآلية الكامنة وراء ذلك.
يشرح جستن أن جزءًا كبيرًا من صناعة البلوك تشين بُني على الرياضيات، من التشفير بالمنحنيات الإهليلجية إلى دوال التجزئة. وبكلماته هو، تعيد الجائزة الفضل إلى المؤسسة التي جعلت الصناعة ممكنة.
لكن البنية هي ما يجعلها مختلفة.
يعترف كل تحدٍّ بدورين:
• المُثبت — الشخص الذي يحل المسألة
• المُحوِّل للصيغ الرسمية — الشخص الذي يحوّل البرهان إلى صيغة يمكن التحقق منها بواسطة الآلة
يمكن أن يكونا الشخص نفسه أو مساهمين مختلفين تمامًا. يمكن أن يشارك الإنسان أو الذكاء الاصطناعي أو كليهما.
الفكرة الأساسية بسيطة:
لا تثق. تحقّق.
وهذه المرة، لا يتعلق التحقق بالمال أو المعاملات.
بل يتعلق بالمعرفة.
لقد أعلن المشروع بالفعل عن مجموعة مشكلات جائزة الافتتاح رقم 66، مقسمة إلى فئات القمة، والمعلم، والتقدم، والمساهمة.
لكن النظام الأوسع أكبر بكثير.
يُدرج الموقع الرسمي حاليًا بنكًا للمشكلات يضم 1,022 مسألة رياضية، مع معلومات مثل حالة الحل، وحالة برهان Lean، والأهلية، وحالة المطالبة.
لذا فإن مشكلات الـ 66 هي مجموعة الجائزة الافتتاحية، بينما تشكل المشكلات الـ 1,022 قاعدة معرفة أوسع بكثير.
ما أجده مثيرًا للاهتمام على نحو خاص هو حالة:
“تم إثباتها، بانتظار التحويل إلى صيغة رسمية.”
قد تكون المسألة قد قُبلت بالفعل من المجتمع الرياضي، لكنها ما زالت بحاجة إلى شخص يحوّل ذلك البرهان إلى كود يمكن للآلة التحقق منه سطرًا بسطر.
وهذا يجعل عملية التحويل إلى صيغة رسمية بحد ذاتها مساهمة قيّمة.
إذا استمر هذا النظام في النمو، فقد يصبح أكثر من مجرد جائزة.
قد يتحول إلى خريطة عامة للمعرفة الرياضية:
ما حلّه البشر.
ما يمكن للآلات التحقق منه.
وما يزال مفتوحًا.
قدم لنا البلوك تشين نقودًا قابلة للتحقق.
وقد يدفعنا الذكاء الاصطناعي + الرياضيات الرسمية نحو معرفة قابلة للتحقق.
ولهذا أعتقد أن جائزة جستن صن أكثر إثارة للاهتمام بكثير مما يبدو للوهلة الأولى.
@TRON DAO #TRONGlobalFriends #TGF
بل هو الآلية الكامنة وراء ذلك.
يشرح جستن أن جزءًا كبيرًا من صناعة البلوك تشين بُني على الرياضيات، من التشفير بالمنحنيات الإهليلجية إلى دوال التجزئة. وبكلماته هو، تعيد الجائزة الفضل إلى المؤسسة التي جعلت الصناعة ممكنة.
لكن البنية هي ما يجعلها مختلفة.
يعترف كل تحدٍّ بدورين:
• المُثبت — الشخص الذي يحل المسألة
• المُحوِّل للصيغ الرسمية — الشخص الذي يحوّل البرهان إلى صيغة يمكن التحقق منها بواسطة الآلة
يمكن أن يكونا الشخص نفسه أو مساهمين مختلفين تمامًا. يمكن أن يشارك الإنسان أو الذكاء الاصطناعي أو كليهما.
الفكرة الأساسية بسيطة:
لا تثق. تحقّق.
وهذه المرة، لا يتعلق التحقق بالمال أو المعاملات.
بل يتعلق بالمعرفة.
لقد أعلن المشروع بالفعل عن مجموعة مشكلات جائزة الافتتاح رقم 66، مقسمة إلى فئات القمة، والمعلم، والتقدم، والمساهمة.
لكن النظام الأوسع أكبر بكثير.
يُدرج الموقع الرسمي حاليًا بنكًا للمشكلات يضم 1,022 مسألة رياضية، مع معلومات مثل حالة الحل، وحالة برهان Lean، والأهلية، وحالة المطالبة.
لذا فإن مشكلات الـ 66 هي مجموعة الجائزة الافتتاحية، بينما تشكل المشكلات الـ 1,022 قاعدة معرفة أوسع بكثير.
ما أجده مثيرًا للاهتمام على نحو خاص هو حالة:
“تم إثباتها، بانتظار التحويل إلى صيغة رسمية.”
قد تكون المسألة قد قُبلت بالفعل من المجتمع الرياضي، لكنها ما زالت بحاجة إلى شخص يحوّل ذلك البرهان إلى كود يمكن للآلة التحقق منه سطرًا بسطر.
وهذا يجعل عملية التحويل إلى صيغة رسمية بحد ذاتها مساهمة قيّمة.
إذا استمر هذا النظام في النمو، فقد يصبح أكثر من مجرد جائزة.
قد يتحول إلى خريطة عامة للمعرفة الرياضية:
ما حلّه البشر.
ما يمكن للآلات التحقق منه.
وما يزال مفتوحًا.
قدم لنا البلوك تشين نقودًا قابلة للتحقق.
وقد يدفعنا الذكاء الاصطناعي + الرياضيات الرسمية نحو معرفة قابلة للتحقق.
ولهذا أعتقد أن جائزة جستن صن أكثر إثارة للاهتمام بكثير مما يبدو للوهلة الأولى.
@TRON DAO #TRONGlobalFriends #TGF
