Neel Somani Sun Yuchen сыйлығының екі математикалық сайысында жеңіске жетті
Neel Somani JSP-000239 және JSP-000327 атты ашық математикалық екі мәселені шешкеннен кейін Sun Yuchen сыйлығының ең соңғы иегері ретінде расталды. Сыйлықтың ресми аккаунты оның бір мәселені зерттеу үшін GPT-5.2 Pro қолданғанын, ал екінші мәселенің шешімін іздеуге бірнеше университеттің бакалавриат студенттерінен құралған зерттеушілер тобы атсалысқанын атап өтті. Екі шешім де Lean көмегімен формалды түрде тексерілді, ал формализация үдерісіне Aristotle жүйесі қолдау көрсетті.
Шешімдер 30 қыркүйекте 14 күндік ашық тексеруге жіберіліп, 14 қазанда жеңімпаздар тізіміне қосылды. Сыйлықта мәселені шешу мен оның дәлелін формализациялау үшін берілетін марапаттар бөлек қарастырылған; мақалада Somani алған нақты сомалар көрсетілмеген. Sun Yuchen сыйлығы машина арқылы тексеруге болатын математикалық шешімдерді мойындайды, ал бас жүлдесі 1 миллион долларды құрайды.
Neutral
Бұл хабарландырудың криптовалюта бағаларына немесе нарық тұрақтылығына айқын тікелей әсері жоқ. Ол токендердің қолданылуы, биржалардағы сауда белсенділігі, реттеу немесе блокчейн желісіндегі өзгерістер туралы емес, екі математикалық сыйлық пен жасанды интеллект пен формалды верификацияны қолдану туралы. Сыйлық USDT не USDC түрінде төленуі мүмкін болғанымен, мақалада Somani сыйлықтарының нақты мөлшері көрсетілмеген, сондықтан стейблкоиндерге сұраныс елеулі өзгереді деп күтуге негіз жоқ.
Қысқа мерзімде трейдерлер бұл жаңалықты жасанды интеллектке деген жалпы қызығушылық аясында ескеруі мүмкін, бірақ оған қатысты өнімнің іске қосылуы, қаржыландырудағы ілгерілеу немесе тізбектегі өлшенетін белсенділік болмаса, оның негізгі криптоактивтерге ықпал етуі екіталай. Жасанды интеллект көмегімен жүргізілетін зерттеулер немесе сыйлық бағдарламалары туралы осыған ұқсас хабарландырулар, әдетте, саудаға сенімді түрткі болғаннан гөрі тақырыптық сипатта болады. Ұзақ мерзімде машина тексере алатын математика мен жасанды интеллект құралдары бағдарламалық жасақтама мен криптографиялық верификацияның дамуына үлес қосуы мүмкін, алайда бұл материалда қандай да бір токеннің тікелей қолданысқа енгізілуі немесе кірісіне әсері көрсетілмеген. Сондықтан нарық үшін ең орынды баға — бейтарап.