16 ستمبر کو، TRON کے بانی سن یوچین نے "سن یوچین ایوارڈ" کا اعلان کیا۔ یہ دنیا کا پہلا صفر اعتماد، غیر مرکزی اکیڈمک انعام مکینزم ہے جو "سوالوں کی فہرست" پر مبنی ہے، جس کا واحد انعام دینے کا معیار بنیادی سائنس میں بڑی کامیابی اور مشین فارمل ویریفکیشن ہے، جس کا ایک سوال کا سب سے زیادہ انعام 100 ڈالر تک ہو سکتا ہے۔ اس ایوارڈ کے قیام سے نوبل ایوارڈ کے 100 سال سے زائد عرصے تک ریاضی کے لیے انعام نہ دینے کا تاریخی خالی پڑاوا پُر کیا جاتا ہے، اور یہ AI دور میں سائنسی انعامات کے منطق اور حدود کو دوبارہ تعریف کرنے کی کوشش کرتا ہے تاکہ انسان اور آرٹیفیشل انٹیلی جنس مل کر بنیادی سائنسی تحقیق کو تیز کر سکیں۔
سُن یوچین نے پہلے "سن یوچین ایوارڈ" کے وصول کنندگان کی فہرست بھی جاری کی، جس میں 66 ریاضی کے مسائل کے حل اور فارملائزڈ ثبوت کو سراہا گیا۔ سب سے بڑا ایوارڈ اوپن اے آئی تحقیقی ٹیم کو 1 ملین امریکی ڈالر کے انعام کے ساتھ "تین بعدی نیویر–اسٹوکس مساوات کے وجود اور نرمی کے مسئلہ" کے حل اور فارملائزڈ ثبوت کے لیے دیا گیا۔ اوپن اے آئی کی طرف سے جاری معلومات کے مطابق، متعلقہ ثبوت اس کے اندر کے سسٹم نے تیار کیا، فارملائزیشن کام GPT-6 Astra نے کیا، اور اسے Lean کے ذریعے تصدیق کر لیا گیا ہے۔
یہ مسئلہ فلوئڈ کی حرکت کی وضاحت کرنے والے نیویئر–سٹوکس مساوات، جسے N–S مساوات کہا جاتا ہے، سے متعلق ہے۔ یہ مساوات 19ویں صدی میں فرانسیسی فزیسٹ کلوڈ–لوئی نیویئر، آئرش–برطانوی ریاضیدان جارج گیبریل سٹوکس اور دیگر نے ترقی دی، اور اب تک تقریباً دو سو سال کی عمر ہے۔ 2000 میں، کلے میتھمیٹکس انسٹیٹیوٹ نے "تین ابعادی نیویئر–سٹوکس مساوات کے وجود اور ہمواری کا مسئلہ" کو ملینیم سات بڑے مسائل میں شامل کیا اور اس کے لیے ایک ملین امریکی ڈالر کا انعام رکھا۔
اس انعام یافتہ کام میں سینڈوف کا خیال، ایرڈوش کا متفاوت مجموعہ اور مسئلہ، ڈینیٹز–گارگ–گومنز لاگت برقرار رکھنے کا خیال شامل ہیں۔ "سن یوچین انعام" کے اصولوں کے مطابق، اعلان شدہ فہرست میں شامل انعام یافتگان کو انعام حاصل کرنے کے لیے خود سے درخواست دینی ہوگی۔
سُن یوچین نے کہا کہ ریاضی تمام بنیادی علوم کی بنیادی زبان اور فریم ورک ہے۔ انسانی سمجھ کے دائرے کو حقیقی طور پر وسعت دینے والی چیزیں صرف منفرد تلاش نہیں ہیں، بلکہ وہ تصورات ہیں جنہیں مشین کے ذریعے سختی سے جانچے جانے اور پوری انسانیت کے ذریعے دوبارہ بنائے جانے والی شکل میں تبدیل کیا جاتا ہے۔ "سُن یوچین ایوارڈ" اسی مقصد کے لیے وجود میں آیا ہے، جو روایتی تجویز کرنا یا اہلیت کے معیارات پر منحصر نہیں ہے، نہ ہی چار سال بعد یا زندگی بھر کی کامیابی کے رُخ پر، بلکہ یہ انعام براہ راست ان غیر حل شدہ ریاضی کے مسائل اور مشین کے ذریعے جانچنے کے قابل فارمل ثبوت سے جُڑا ہوا ہے۔ کوئی بھی فرد، چاہے وہ پیشہ ورانہ محقق ہو، مستقل دلچسپی رکھنے والا، یا انسان اور AI کا تعاون کرنے والا فرد یا ٹیم، جو پہلے ترقی حاصل کر لے، اسے انعام دیا جائے گا۔
AI کے دور میں، ایک حدس کے حل کا دورہ کئی سالوں سے کچھ ماہ یا دنوں تک کم ہو رہا ہے۔ روایتی "زندگی بھر کی کامیابی" یا مقررہ دورے پر مبنی انعامات کا نظام اس تیز ہوتی سائنسی رفتار کے ساتھ مطابقت نہیں رکھتا۔ "سن یوچین ایوارڈ" کا خواب، AI کے دور کا نوبل انعام بننا ہے، جو نئے دور کی سائنسی تحقیق اور激励 کے گہرے تبدیلی کا جواب، زیادہ مرکزیت سے آزاد، زیادہ فارمل، اور زیادہ مشینی طریقے سے دیتا ہے۔ یہ مستقل طور پر ایک ریاضی کا مسئلہ اور فارمل کوڈ ریپوزٹری برقرار رکھے گا اور اسے علنا اپڈیٹ کرتا رہے گا؛ جب بھی مسائل کی فہرست جاری ہو جائے گی، وہ ہمیشہ کے لیے قفل ہو جائے گی، صرف شامل ہوتی رہے گی، نہ کم ہوگی، انعام صرف ادا کیا جائے گا، کبھی واپس نہیں کیا جائے گا، اور یہ ایک "قیمت والی تعمیر کی نقشہ" بن جائے گا۔
بیان کیا گیا ہے کہ "سن یوچین ایوارڈ" صرف پہلے مکمل کرنے والے کو دیا جائے گا؛ اگر کئی افراد نے مل کر مکمل کیا، تو ان کے اہمیت کے تناسب سے انعام تقسیم کیا جائے گا۔ مسئلہ حل کرنے والے کو کل انعام کا 70% اور فارمل ویریفکیشن مکمل کرنے والے کو 30% ملے گا؛ اگر کوئی ایک شخص دونوں کام انجام دے تو وہ مکمل انعام حاصل کرے گا۔ اگر مسابقت کو ایک آرٹیفیشل انٹیلی جنس سسٹم نے مکمل کر دیا ہو، تو بھی انعام دیا جائے گا، لیکن اس کے لیے متعلقہ قدرتی شخص، قانونی شخص یا ان کا لکھتی طور پر اقتدار یافتہ نمائندہ درخواست دینے والا اور قانونی وصول کنندہ ہوگا۔ انعام 1 جنوری، 2026 سے حاصل کردہ ریاضیاتی ترقیات پر لاگو ہوگا؛ اگر مسئلہ اس تاریخ سے پہلے ہل چکا تھا لیکن فارمل ویریفکیشن بعد میں مکمل ہوا، تو فارمل ویریفکیشن کرنے والے کو انعام دیا جائے گا۔ موجودہ مسائل کی فہرست میں پوانکیرے تصور کا فارمل ویریفکیشن، ریمان تصور، گولڈباخ تصور، اور فوت شدہ ریاضیدان، وولف ایوارڈ وصول کنندہ پال ایرڈوس کے زندگی میں پیش کردہ بہت سارے حل نہ ہونے والے مسائل شامل ہیں۔
سُن یوچین نے بتایا کہ انعام کے علاوہ، انعام یافتگان کو سرٹیفکیٹ اور تمغہ بھی ملے گا، جس کے سامنے کی طرف سُن یوچین کی تصویر اور "سُن یوچین ایوارڈ" انگریزی اور اردو میں ہے، اور پیچھے کی طرف انسانی کوششوں کو جہاں کی تلاش کو ظاہر کرنے والی نقوش ہیں، جبکہ کناروں پر لاطینی الفاظ "Quod probatur, solvitur" نقش ہیں، جس کا مطلب ہے "جس کا ثبوت دیا گیا، وہ حل ہو گیا"۔ تمغہ کا بنیادی مواد تانبا ہے، جس پر 6 گرام خالص سونا لگایا گیا ہے۔
"سُن یوچین ایوارڈ" تین اصولوں — کھلے ہونا، عطیہ دینا، اور کھلے سورس کے — پر مبنی ہے: تمام موزوں کنtributors کے لیے، قومیت، ادارے یا شناخت کے لحاظ سے کوئی پابندی نہیں، اور انسان اور AI کے درمیان فرق نہیں کیا جاتا؛ فنڈز صرف ایوارڈز اور کھلے کاموں کے لیے استعمال ہوتے ہیں، منافع کمانے کے مقصد سے نہیں؛ مسائل کی فہرست، تصدیق کے معیار، اور ثبوت کا مادہ تمام عام عوام کے لیے GitHub پر کھلا ہے، اور انعامات کی ادائیگی کے ریکارڈ بلاکچین پر محفوظ ہوتے ہیں، جو ہمیشہ قابل رجوع اور غیر قابل تبدیل ہوتے ہیں۔
سُن یوچین نے کہا کہ اب تک انسانی ریاضی کے ثبوت کو مشین قابل تصدیق فارمال ثبوت میں تبدیل کرنے کا کام، Lean جیسے فارمال کمیونٹیز کی خودبخود جوش و جذبہ پر منحصر ہے، جبکہ نظام مند مالی انگیزہ طویل عرصے سے کم ہے۔ "فارمال کمیونٹی میں جوش کی کمی نہیں، بلکہ قیمت لگی ہوئی تعمیر کی نقشہ کی کمی ہے۔" "سُن یوچین ایوارڈ" اس اہم مرحلے کے لیے پہلی بار ایک علنا، انعام والی فہرست فراہم کرتا ہے، جس کا مقصد اس صورتحال میں جڑواں تبدیلی لانا ہے۔
اس نے مزید کہا، "اپنے نام سے نامکردہ انعامات دنیا کے سب سے کم سیاسی چیزیں ہیں۔ اور اہم بات یہ ہے کہ یہ خود کو ایک جواب دیتا ہے — میرا دولت کا ماخذ ریاضی ہے۔ یہ ریاضی سے آئی، اور ریاضی میں واپس جائے گی۔" علیحدہ معلومات کے مطابق، پچھلے کچھ سالوں میں سن یوچین نے ٹیکنالوجی، ماحول، اور آفات کی بحالی جیسے شعبوں میں تقریباً 45 ملین امریکی ڈالر (تقریباً 3 ارب چینی یوان) کا احسان کیا ہے۔ اب سے، اس کا خیراتی توجہ مکمل طور پر "سن یوچین انعام" کی طرف منتقل ہو جائے گا، جو مستقل طور پر شفاف اور تصدیق شدہ طریقے سے بنیادی سائنس کے تیز رفتار اختراق کو فروغ دے گا۔
میں ریاضیدان نہیں ہوں، میں ایک مشاہدہ کرنے والا ہوں، میں ادائیگی کرتا ہوں۔ باقی باتیں ثابت کرنے پر چھوڑ دیں۔" بین یوچین کہتے ہیں۔ "بین یوچین ایوارڈ" کے رسمی طور پر قائم ہونے سے ایک نئی سائنسی انعام کا نظام شروع ہو گیا ہے جس کا مرکز مشین کی تصدیق، حرکت انسان اور مشین کا تعاون، اور مکانی طور پر انعام دینے کا نظام ہے۔