Nanalo si Neel Somani sa dalawang hamon sa matematika ng Sun Yuchen Prize
Kinumpirma si Neel Somani bilang pinakabagong nagwagi ng Sun Yuchen Prize matapos niyang lutasin ang dalawang bukas na problemang pangmatematika, ang JSP-000239 at JSP-000327. Itinampok ng opisyal na account ng parangal ang paggamit niya ng GPT-5.2 Pro upang saliksikin ang isang problema, at ang pagtulong ng isang pangkat ng mga undergraduate researcher mula sa ilang unibersidad upang maghanap ng solusyon sa isa pa. Pormal na bineripika ang dalawang solusyon gamit ang Lean, habang sinuportahan naman ng sistemang Aristotle ang proseso ng pormalisasyon.
Sumailalim sa 14 na araw na pampublikong pagsusuri ang mga solusyon noong Setyembre 30 at isinama ang mga ito sa listahan ng mga nagwagi noong Oktubre 14. Magkahiwalay ang gantimpala para sa paglutas ng problema at para sa pormalisasyon ng patunay nito; hindi isinasaad sa artikulo ang partikular na halaga ng premyo ni Somani. Kinikilala ng Sun Yuchen Prize ang mga solusyong matematikal na mabeberipika ng makina, at umaabot sa $1 milyon ang pinakamataas nitong premyo.
Neutral
Walang malinaw na direktang epekto ang anunsyo sa mga presyo ng cryptocurrency o sa katatagan ng merkado. Tungkol ito sa dalawang parangal sa matematika at sa paggamit ng AI at pormal na beripikasyon, hindi sa paggamit ng mga token, aktibidad sa palitan, regulasyon, o pagbabago sa isang blockchain network. Bagama’t maaaring bayaran ang premyo sa USDT o USDC, walang binanggit na tiyak na halaga para sa mga parangal ni Somani sa artikulo, kaya walang batayan para asahang magkakaroon ng malaking pagbabago sa demand para sa mga stablecoin.
Sa maikling panahon, maaaring mapansin ng mga trader ang balita bilang bahagi ng mas malawak na interes sa AI, ngunit malabong maapektuhan nito ang malalaking crypto asset kung walang kaugnay na paglulunsad ng produkto, pag-unlad sa pagpopondo, o nasusukat na aktibidad on-chain. Karaniwang may temang pangkalahatan ang mga katulad na anunsyo tungkol sa pananaliksik na tinutulungan ng AI o mga programa ng parangal, sa halip na maging maaasahang mitsa ng paggalaw sa trading. Sa mas mahabang panahon, maaaring makatulong ang matematikang mabeberipika ng makina at mga AI tool sa software at beripikasyong kriptograpiko, ngunit walang tinutukoy ang ulat na direktang pagpapatupad o epekto sa kita para sa anumang token. Kaya ang pinakanaaangkop na klasipikasyon ng merkado ay neutral.