ژنو، سوئیس — ۵ اکتبر ۲۰۲۶ — دفتر جاستین سان امروز آخرین برندگان جایزه جاستین سان را اعلام کرد: پژوهشگر مستقل ووتر فان دورن، دانشجوی دکتری ریاضیات کوانیو تانگ، و پژوهشگر ریاضیات یانیانگ لی از دانشگاه جنوب شرقی در نانجینگ. آن‌ها برای مشارکت در شش مسئله اردوش شناخته شدند.
ووتر فان دورن یک نظریه‌پرداز اعداد مستقل است که پژوهش ریاضیات را به عنوان دانشجوی کارشناسی در سال ۲۰۱۰ آغاز کرد و پس از ترک دانشگاه با مدرک کارشناسی ارشد به همکاری و انتشار ادامه داد. کوانیو تانگ (汤泉宇) دانشجوی دکتری ریاضیات در دانشگاه علم و فناوری چین است که پژوهش‌هایش نظریه اعداد، ترکیبیات، و کشف ریاضی به کمک هوش مصنوعی را در بر می‌گیرد.
مسائل اردوش پرسش‌های ریاضی هستند که توسط ریاضیدان مجارستانی پاول اردوش درباره اعداد، الگوها، و دیگر ساختارهای ریاضی مطرح یا رایج شده‌اند. آن‌ها اغلب ساده بیان می‌شوند اما سخت حل می‌شوند، و به شکل‌دهی پژوهش در نظریه اعداد و ترکیبیات کمک کرده‌اند، و برخی برای دهه‌ها باز مانده‌اند. فهرست اردوش، که توسط توماس بلوم، ریاضیدان و پژوهشگر دانشگاهی انجمن سلطنتی در دانشگاه منچستر، گردآوری و نگهداری می‌شود، شامل بیش از ۱۲۰۰ مسئله است.
فان دورن و تانگ با یانیانگ لی از دانشکده ریاضیات دانشگاه جنوب شرقی در نانجینگ کار کردند تا مسئله اردوش شماره ۶۵۰ را حل کنند، و دقیقاً تعیین کردند که چند عدد صحیح می‌توانند همیشه به مضارب متمایز در یک بازه مشخص تطبیق داده شوند. فان دورن همچنین اثبات‌های قابل بررسی با کامپیوتر در Lean، نرم‌افزاری برای تأیید استدلال ریاضی، برای شماره ۳۶۹، درباره اعداد صحیح متوالی با عوامل اول محدود؛ شماره ۴۵۷، درباره اینکه آیا یک دنباله کوتاه از اعداد صحیح متوالی می‌تواند به‌طور جمعی شامل هر عدد اول در یک بازه معین باشد؛ و شماره ۴۶۹، درباره اینکه آیا معکوس‌های یک کلاس ویژه از اعداد که به صورت مجموع مقسوم‌علیه‌هایشان بیان می‌شوند به یک مجموع متناهی می‌رسند، تولید کرد. تانگ به‌طور جداگانه شماره ۱۰۴۴ را حل کرد، و یک حد پایین تیز برای طول‌های مرزی نواحی تعریف‌شده توسط چندجمله‌ای‌ها تعیین کرد، و همراه با لی به حل شماره ۱۱۹۶ توسط یک تیم گسترده‌تر کمک کرد، که مجموع‌های وزن‌دار روی مجموعه‌هایی از اعداد صحیح که هیچ عضوی بر دیگری بخش‌پذیر نیست را کران‌دار می‌کند.
کار آن‌ها روی شماره ۶۵۰ یک مثال عینی از این ارائه می‌دهد که چگونه قضاوت انسانی و هوش مصنوعی می‌توانند یکدیگر را تکمیل کنند. ChatGPT به توسعه استراتژی اثبات کمک کرد، در حالی که Aristotle، یک سیستم هوش مصنوعی برای استدلال ریاضی، یک شکاف را در طول رسمی‌سازی Lean ترمیم کرد. پژوهشگران سپس استدلال را ساده کردند و اثبات‌ها و شرح نهایی را نوشتند.
تانگ گفت: «این تجربه به من آموخت که چگونه بازخورد عمومی می‌تواند یک پرسش پژوهشی را تیز کند، و چگونه کشف به کمک هوش مصنوعی می‌تواند قضاوت ریاضی، همکاری و تأیید دقیق را ترکیب کند.»
این‌ها اولین جوایز تأییدشده این برنامه هستند، که هم کشف ریاضی و هم کار لازم برای قابل بررسی مستقل کردن اثبات‌ها را به رسمیت می‌شناسند. اطلاعات درباره جایزه جاستین سان، فهرست مسائل آن، و مشارکت‌های دریافت‌کنندگان از طریق مخزن عمومی GitHub این برنامه در دسترس است. جوایز یا به صورت USDT روی TRON (TRC-20) یا USDC روی Ethereum (ERC-20)، بر اساس انتخاب دریافت‌کننده، پرداخت خواهند شد. برای اطلاعات بیشتر، لطفاً به www.hejustinsun.com/prize مراجعه کنید.
درباره دفتر جاستین سان
دفتر جاستین سان از ابتکارات جهانی تجاری، بشردوستانه، و عمومی جاستین سان در فناوری، بلاکچین، هوش مصنوعی، پژوهش علمی، سرمایه‌گذاری، هنر، و اکتشاف فضایی پشتیبانی می‌کند.
جاستین سان سفیر و نماینده دائم پیشین گرنادا در سازمان تجارت جهانی و بنیان‌گذار TRON است. TRON بلاکچین پیشرو برای انقلاب استیبل‌کوین است، و از زمان آغاز به کار خود بیش از ۱۳ تریلیون دلار حجم پردازش کرده است. در بازارهای نوظهور جهان، مردم برای دسترسی به سیستم مالی جهانی به USDT روی TRON تکیه می‌کنند.
سان، که پرورده بنیان‌گذار علی‌بابا جک ما است، به‌طور بین‌المللی برای کارش در صنعت دارایی دیجیتال شناخته شده است، از جمله یک نمایه جلد فوربس در آوریل ۲۰۲۵ و حضورهای متعدد در فهرست ۳۰ زیر ۳۰ فوربس. در اوت ۲۰۲۵، او با مأموریت NS-34 بلو اوریجین پرواز کرد و هفتصد و دوازدهمین فرد در تاریخ شد که به فضا سفر کرده است. علایق گسترده‌تر او شامل فناوری، سرمایه‌گذاری، بشردوستی، هنر، بازی، و اکتشاف فضایی است. تماس دفتر جاستین سان: info@hejustinsun.com درباره جایزه جاستین سان جایزه جاستین سان یک ابتکار دانشگاهی است که توسط جاستین سان برای پشتیبانی از پیشرفت‌ها در ریاضیات، تأیید رسمی، و کشف علمی به کمک هوش مصنوعی بنیان‌گذاری شده است. این جایزه غیرمتمرکز است و بر این اصل بنا شده که کار ریاضی باید بر اساس قدرت، دقت، و قابلیت تأیید خود اثبات قضاوت شود، نه بر اساس اعتبار یا شهرت ارائه‌دهندگان آن. جاستین سان این جایزه را به نام خود به عنوان یک تعهد بلندمدت برای بازگرداندن ثروت ایجادشده از طریق ریاضیات و فناوری به خود ریاضیات تأسیس کرد. میراث آن قرار است توسط مجموعه کاری که به رسمیت می‌شناسد و برندگانش که اکتشافاتشان آزمون زمان را تحمل می‌کند تعریف شود. این جایزه چالش‌های ریاضی به‌روشنی تعریف‌شده را به اثبات قابل تأیید با ماشین متصل می‌کند. اصول راهنمای آن باز بودن، سود عمومی، و دسترسی متن‌باز است. برای اطلاعات بیشتر به https://www.hejustinsun.com/prize مراجعه کنید. تماس: thejustinsunprize@hejustinsun.com
پرسش‌های متداول
پرسش‌های متداول دور جدید جایزه جاستین سان برای همکاری انسان و هوش مصنوعی روی مسائل اردوش
پ۱ جایزه جاستین سان چیست
این جایزه‌ای است که توسط کارآفرین رمزارز جاستین سان تأمین مالی می‌شود و برای حل مسائل ریاضی، به‌ویژه مسائل مرتبط با مسائل معروف اردوش، به مردم پرداخت می‌کند
پ۲ مسائل اردوش چیستند
آن‌ها مجموعه بزرگی از پرسش‌های ریاضی باز هستند که توسط ریاضیدان افسانه‌ای مجارستانی پاول اردوش مطرح یا رایج شده‌اند بسیاری از آن‌ها ساده بیان می‌شوند اما حلشان بسیار دشوار است
پ۳ چه چیز جدیدی درباره این دور جایزه وجود دارد
این دور به‌طور خاص راه‌حل‌هایی را پاداش می‌دهد که در آن‌ها یک انسان و یک هوش مصنوعی با هم کار کرده‌اندبرای مثال فردی که از یک مدل هوش مصنوعی مانند ChatGPT یا یک دستیار اثبات برای شکستن یک مسئله استفاده کرده است
پ۴ آیا برای بردن باید از هوش مصنوعی استفاده کنم
برای این دور بله این جایزه هدفش همکاری انسان و هوش مصنوعی است بنابراین یک راه‌حل کاملاً انسانی یا یک راه‌حل کاملاً تولیدشده توسط هوش مصنوعی ممکن است واجد شرایط نباشد
پ۵ چه چیزی همکاری انسان و هوش مصنوعی محسوب می‌شود
هر ترتیبی که در آن یک فرد و یک سیستم هوش مصنوعی هر کدام به‌طور معناداری مشارکت کنندمثلاً هوش مصنوعی مراحل اثبات را پیشنهاد دهد و انسان آن‌ها را تأیید اصلاح و پالایش کند
پ۶ چه کسی می‌تواند شرکت کند
عموماً هرکسی دانشجو سرگرمی‌جو یا ریاضیدان حرفه‌ای برای محدودیت‌های سن اقامت یا واجد شرایط بودن قوانین رسمی را بررسی کنید
پ۷ مبلغ جایزه چقدر است
مبالغ جایزه بر اساس دور و دشواری مسئله متفاوت بوده است برای ارقام دقیق اعلامیه رسمی را بررسی کنید
پ۸ کدام مسائل واجد شرایط هستند
معمولاً مسائل از پایگاه‌های داده مسائل اردوش یا یک فهرست مشخص که همراه با جایزه منتشر می‌شود هر مسئله باز واجد شرایط نیست
پ۹ چگونه یک راه‌حل ارسال کنم
معمولاً از طریق یک فرم ارسال رسمی یا ایمیلی که در اعلامیه جایزه ذکر شده است همراه با اثبات خود و توضیحی از اینکه هوش مصنوعی چگونه استفاده شده است
پ۱۰ آیا هوش مصنوعی باید یک ابزار مشخص باشد
نه بیشتر دورها هر ابزار هوش مصنوعی را مجاز می‌دانندمدل‌های زبانی بزرگ اثبات‌گرهای قضیه یا سیستم‌های سفارشیبه شرطی که آنچه استفاده کرده‌اید را مستند کنید
پ۱۱ آیا باید نقش هوش مصنوعی را توضیح دهم
بله برگزارکنندگان معمولاً توضیح روشنی از اینکه هوش مصنوعی چه کاری انجام داده در مقابل کاری که شما انجام داده‌اید می‌خواهند تا همکاری شفاف باشد
پ۱۲ اگر پاسخ هوش مصنوعی اشتباه باشد چه می‌شود
این به عهده شماست انسان مسئول بررسی هر مرحله است ناتمام