প্রথম ৬৬টি পুরস্কার সমস্যা @justinsuntron জাস্টিন সুন পুরস্কারের প্রথম ৬৬টি পুরস্কার সমস্যা প্রকাশ করেছেন, যেখানে পিনাকল সমস্যাগুলির পুরস্কার পর্যন্ত $1M পর্যন্ত হতে পারে। কিন্তু আকর্ষণীয় বিষয়টি শুধু পুরস্কারই নয়। এটির পিছনে নতুন মডেল: সমাধান করুন → ফরমালাইজ করুন → যাচাই করুন → পুরস্কার দিন 1. প্রুভারকে 70% গাণিতিক সমস্যাটি সমাধানকারী ব্যক্তি। 2. ফরমালাইজারকে 30% লিয়ানের মাধ্যমে প্রমাণটিকে একটি মেশিন-যাচাইযোগ্য ফরম্যাটে রুপান্তর করেন। যদি একজন ব্যক্তি উভয়টি করেন, তবে তিনি 100% পুরস্কার পাবেন। এবং সমাধানটি মানব, AI, অথবা মানব + AI-এর দ্বারা আসলেও কোনও পার্থক্য হয় না। যা গুরুত্বপূর্ণ, তা হলো—লিয়ান কি প্রমাণটিকে ফরমালভাবে যাচাই করতে পারে। এটি AI যুগে বিশেষভাবে আকর্ষণীয়। একটি AI-এর দ্বারা তৈরি একটি প্রমাণ, যা সঠিকভাবে দেখতে, একটি বিষয়। কিন্তু, একটি মেশিনের দ্বারা সেই প্রমাণের প্রতিটি ধাপের যাচাইকরণ, অন্যটি। প্রথমবারের মতো তালিকায় Pinnacle-এর শ্রেণিতে Navier–Stokes-এর সমস্যা অন্তর্ভুক্ত, OpenAI Team-এর সমাধানের দিকে, OpenAI-এর Lean-এর যাচাইকরণে। এটি Justin Sun Prize-এর original vision-কেইজীবনে আনছে: গণিত × AI × Formal Verification × Blockchain 66টি সমস্যা শুধুইশুরু। বড়্‌প্রশ্নটি: যখনগণিতেরবিপ্লবগুলিকেখোলা,প্রলোভনমূলকএবংমেশিন-যাচাইযোগ্যকাজহিসেবেপরিণতকরাহবে,তখনকীহবে?