المواضيع الرائجة
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Ye Zhang
إجراء أبحاث حول العملات الرقمية والنظام والأجهزة | النطق الصيني المجزأ @yezhang_cn
أعتقد أن التعلم الواقعي مع مكافآت قابلة للتحقق سيصبح أكثر أهمية في دفع نماذج اللغة الكبيرة نحو "لحظة ألفا زيرو" الخاصة بها. من المحتمل أن يبدأ بالبرمجة، ثم يمتد إلى الرياضيات والفيزياء ومجالات أخرى حيث يمكن للنماذج الاستكشاف الذاتي، واكتشاف حلول خارج التوزيع قد لا يتخيلها البشر أبدا، والتحقق منها باستخدام إشارة مكافأة مطلقة (0/1).
هذا يذكرني أيضا @elonmusk حديثي عن مستقبل يمكن فيه توليد البرامج مباشرة كثنائيات، دون المرور بعملية التجميع التقليدية. قد يكون ذلك ممكنا فعلا إذا كانت نماذج اللغة الكبيرة قادرة على توليد كود ثنائي ثم تنفيذه مباشرة مقابل مكافأة قابلة للتحقق.
8 مارس، 14:07
تيرينس تاو: التحقق الرسمي يكسر حاجز الثقة في الرياضيات
التحقق الرسمي يحول التعاونات الرياضية — مما يتيح مساهمات مجهولة، وبراهين تم التحقق منها آليا، ونقاشا علميا أكثر دقة بشكل جذري.
300
الأفضل
المُتصدِّرة
التطبيقات المفضلة