المواضيع الرائجة
#
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.
مشاكل إردوس هي مثال واضح على النماذج التي تتجاوز عتبة. فكرة أن الذكاء الاصطناعي يمكنه حل واحد، ناهيك عن العديد منها، بمفرده كانت مجنونة قبل عام (كان O1 جديدا تماما)، والآن لدينا عدة مشاكل إردوس حلها GPT-5.2 Pro خلال الأسابيع القليلة الماضية.

منذ 12 ساعةً
لقد حللت مشكلة إردوس ثانية (#281) باستخدام GPT 5.2 Pro فقط - لم أجد أي حلول سابقة.
يصف تيرينس تاو ذلك بأنه "ربما أكثر الحالات وضوحا" لحل الذكاء الاصطناعي لمشكلة مفتوحة:

للتوضيح: GPT-5.2 Pro لا يحل هذه المشاكل بشكل تلقائي، بل يتم تحفيزها من قبل شخص، وغالبا ما يكرر باستخدام Lean.
66
الأفضل
المُتصدِّرة
التطبيقات المفضلة
