نموذج DeepSeek Prover V2: الذكاء الاصطناعي يتحدى علماء الرياضيات!

كشفت شركة DeepSeek الصينية عن نموذجها DeepSeek Prover V2 الجديد، الذي لا يعتبر نموذج استدلال عاديًا ولا نموذجًا عامًا مثل ChatGPT ، بل هو أداة مُتخصصة في الإثبات الرسمي للنظريات الرياضية باستخدام مساعد الإثبات Lean 4.
اقرأ أيضًا:
ما هو DeepSeek Prover V2 ؟
هو نموذج ذكاء اصطناعي مُصمّم خصيصًا لمُساعدة الباحثين والرياضيين في كتابة وتحليل البراهين الرياضية بدقة 100⁒، باستخدام لغة Lean 4، وهي إحدى أهم لغات البرهان الرسمي (Formal Proof) في الأوساط الأكاديمية.
بخلاف النماذج اللغوية العامة، لا يُقدم هذا النموذج إجابات تقريبية، بل براهين رياضية مُدققّة يمكن التحقق منها خطوة بخطوة. وهذا يجعله أداة قوية في مجالات مثل:
الرياضيات البحتة والتطبيقية.
علوم الحاسوب النظرية.
المنطق الرياضي.
التعليم العالي والبحث الأكاديمي.
ما الذي يُميز DeepSeek-Prover-V2؟
توليد براهين رياضية دقيقة: يمكنه حل مسائل مُتنوعة، من الجبر والهندسة إلى نظريات التفاضل والتكامل المُتقدمة، ويقدّم البراهين بطريقة مُنظمة وقابلة للتحقق باستخدام Lean 4.
اكتشاف الأخطاء في البراهين الحالية: إذا كان هناك خطأ في برهان مكتوب (سواءً من باحث أو نموذج آخر)، يمكن لـ DeepSeek Prover V2 تحديد موضعه واقتراح تصحيحات.
أداة تعليمية متقدمة: يساعد الطلاب في فهم البراهين المُعقدّة من خلال شرح كل خطوة مع توليد كود Lean 4 المُقابل.
دعم البحث العلمي: يمكنه مساعدة العلماء في استكشاف فرضيات جديدة وتجربة طرق إثبات مُختلفة بشكل آلي.
ما الجديد في الإصدار الثاني؟
على الرغم من أنّ DeepSeek لم تعلن عن تغييرات كبيرة في بنية النموذج (ما زال بحجم 67.1 مليار معلمة "parameters")، إلا أنّ التحسينات تركزت على:
دقة أعلى في توليد البراهين.
تحسين التوافق مع مكتبات Lean 4.
سرعة أكبر في مُعالجة المسائل المُعقدّة.
حاليًا، النموذج مُتاح للتنزيل عبر Hugging Face ، لكنه ليس نموذجًا جاهزًا للاستخدام المُباشر مثل ChatGPT، بل يحتاج إلى خبرة في Lean 4 أو الإثبات الرسمي للاستفادة الكاملة منه.
لماذا يُعد هذا الإعلان مُهمًا؟
خلال الأسبوع الماضي، لاحظ المُتابعون في مجتمع الذكاء الاصطناعي والرياضيات تفاعلًا كبيرًا مع هذا الإصدار، حيث يُعتبر خطوة مهمة نحو أتمتة الإثباتات الرياضية، وهي مجال يشهد تطورًا سريعًا بفضل نماذج مثل Gemini من جوجل و GPT-4o من OpenAI.
يبدو أن DeepSeek تسير في اتجاه التخصص بدلًا من المُنافسة في النماذج العامة، وهذا قد يمنحها مكانة فريدة في أبحاث الذكاء الاصطناعي التطبيقي.
DeepSeek Prover V2 ليس نموذج دردشة عاديًا، بل هو عالم رياضيات آلي يمكنه إثبات النظريات واكتشاف الأخطاء ومُساعدة الباحثين في تحقيق استنتاجات دقيقة. بينما لا يزال أمامه طريق طويل ليصبح سهل الاستخدام للجميع، إلا أنه يُمثل تقدمًا كبيرًا نحو دمج الذكاء الاصطناعي في الأبحاث الرياضية الرسمية.

جرب ميزات الذكاء الاصطناعي لدينا

اكتشف ما يمكن أن يفعله Daily8 AI من أجلك:

التعلم مع الذكاء الاصطناعيالتحقق من الحقائقتحويل النص إلى كلامملخص الذكاء الاصطناعي

أخبار ذات صلة

البوابة

منذ 2 أيام

• البوابة

خطوة مصرية على الطريق الصحيح للاستفادة من إمكانيات الذكاء الاصطناعي

اهتم المجلس الوطني للذكاء الاصطناعي فى مصر، في وثيقته الأولي والثانية، باستعراض المبادرات التى يستهدفها من 2025 – 2030 من أجل الارتقاء بمجال الذكاء الاصطناعي فى مصر، من بينها إنشاء هيئة لتنظيم البيانات وتدشين قانون الذكاء الاصطناعي ودعم الشركات الناشئة وزيادة الخبراء العاملين فى هذا المجال فى مصر ودعمهم. ومنذ ستة أيام، حدث أمر مهم فى مستقبل الذكاء الاصطناعي فى مصر بإصدار الرئيس عبد الفتاح السيسي تعليمات وتوجيهات مهمة فى الاجتماع الذي عقد الأربعاء الماضي 14 مايو بحضور الدكتور مصطفي مدبولي رئيس مجلس الوزراء والدكتور خالد عبد الغفار نائب رئيس الوزراء للتنمية البشرية ووزير الصحة بضرورة الاستفادة من إمكانيات الذكاء الاصطناعي فى تطوير منظومة الصحة ودراسة إمكانية تدريسه كمادة إلزامية . وهذه الخطوة الرئاسية مهمة للغاية من أجل الاستفادة من هذا المجال الخطير والحيوي الذي أصبح جزءاً أساسياً من تحركات دول العالم فى كافة المجالات.. ومن هنا نقترح الآتى: • ضرورة تدريس مادة الذكاء الاصطناعي لطلاب التعليم الأساسي بالمدارس الحكومية والخاصة والانترناشونال باعتبارها مادة إلزامية وتكون مادة نظرية وعملية وتدرس بشكل غير تقليدي حتي ننشئ جيلاً لديه الثقافة والقدرة ويمتلك الأدوات لمواجهة المستقبل . • تشكيل هيئة مستقلة تشرف على وضع منهج دراسة الذكاء الاصطناعي فى المدارس والجامعات يعتمد على أحدث التقنيات الحديثة ويتم تطوير هذا المنهج سنوياً . • ضرورة تدشين حوار مجتمعي حول دور الذكاء الاصطناعي فى صنع المستقبل فى مصر وإصدار توصيات يشارك فيها الخبراء بكافة المجالات ويتم دراستها وتنفيذها. • إنشاء إدارات مستقلة للذكاء الاصطناعي فى الوزارات والشركات والهيئات الحكومية تهدف لتحويل الأعمال الإدارية والفنية لشكل تقني مستقبلاً باستخدام الذكاء الاصطناعي. • الاستفادة من كليات الذكاء الاصطناعي بالجامعات المصرية بوضع رؤية لتعليم الذكاء الاصطناعي كمادة أساسية بكل الكليات النظرية والعملية للاستفادة من تقنيات الذكاء الاصطناعي فى مجالاتهم. • ضرورة وضع برامج الذكاء الاصطناعي كتدريب أساسي فى جميع البرامج التدريبية فى الشركات الحكومية . • إنشاء قسم خاص بالذكاء الاصطناعي فى المكتبات العامة بالمحافظات ومكتبات الكليات يستفاد منها الطلاب والباحثين. وفى هذا الإطار، من المهم أن يشتمل المنهج الدراسى على شرح بسيط للفرق بين الذكاء الاصطناعي ونظام الذكاء الاصطناعي وتناول أمثلة مبسطة يفهمها الجميع حتي يتمكن اي شخص أثناء تعامله مع اي برنامج يدعم ادوات الذكاء الاصطناعي الفارق بينهما. وتشرح وثيقة مكتب دبي الذكي هذا الفرق بين الذكاء الاصطناعي ونظام الذكاء الاصطناعي بمثال بسيط هو "إذا استخدمت منشأة أوهيئة ربوتات الدردشة التى تتيح لجمهورها طرح الأسئلة الروتينية وحجز المواعيد مثلا وأي معاملات مالية ثانوية، وترد ربوتات الدردشة على استفسارات العملاء عن طريق أجابات مكتوبه مسبقاً فهذا هو ذكاء اصطناعي".. أما "إذا كانت ربوتات الدرشة أصبحت قادرة على معالجة الاستفسارات ذاتياً وتحليل النتائج والرد بشكل مبتكر وغير تقليدي معد له مسبقاً فهنا نكون أمام نظام ذكاء اصطناعي" . ويوضح هذا التعريف رغم بساطته أننا فى حاجة للمزيد من نشر ثقافة الذكاء الاصطناعي وتعريفه فى بلادنا العربية فى ظل اعتقاد الكثير أن الذكاء الاصطناعي هو برنامج شات جي بي تي "ChatGPT" أو القيادة الذاتية للسيارات وتركيب الفيديوهات على اصوات المغنين!. وبعد.. إن أهتمام الدولة المصرية بالذكاء الاصطناعي بإنشاء المجلس الوطني للذكاء الاصطناعي بقرار رئيس مجلس الوزراء رقم 2889 فى نوفمبر لسنة 2019، والأن في مايو 2025 بتعليمات الرئيس بالتأكيد على الاهتمام بالذكاء الاصطناعي بتدريسه كمادة دراسية والاستفاده منه فى المنظومات الصحية هو شئ يؤكد أننا نسير فى الاتجاه الصحيح، ولكن الأهم فى هذه المرحلة متابعة التنفيذ حتي نستطيع مواكب العالم من حولنا. * حاصل على دكتوراه فى حوكمة الذكاء الاصطناعي

العين الإخبارية

منذ 2 أيام

• العين الإخبارية

الذكاء الاصطناعي يتحدث عن نفسه.. روبوتات الدردشة تنافق قادتها

يُظهر تحليل لستة من أبرز روبوتات الدردشة القائمة على الذكاء الاصطناعي OpenAI، وAnthropic، وxAI، وMeta، وGoogle، وكذلكDeepSeek اختلافات دقيقةً في كيفية إشارتهم إلى قادة الشركات المطورة لهم. مثلا، سام ألتمان رئيس شركة OpenAI، قد يكون عبقري أو خائن، وذلك حسب نموذج الذكاء الاصطناعي الذي تسأل عنه. وطرحت صحيفة "فايننشيال تايمز" على روبوتات الدردشة سلسلةً من الأسئلة حول رؤساء الذكاء الاصطناعي، طالبةً منهم وصف أساليب قيادتهم المختلفة ونقاط ضعفهم. وتُساعد النتائج في الكشف عن كيفية تغلغل التحيزات المحتملة للعاملين في شركات الذكاء الاصطناعي في تطوير نماذجهم، كما تُسلّط الضوء على التوترات المُتصاعدة بين كبار رواد صناعة التكنولوجيا. وتُظهر الإجابات أيضًا كيف يُمكن أن يُؤثّر الاستخدام المُتزايد من قِبَل ملايين الأشخاص كمصدرٍ رئيسيٍّ للمعلومات على التصور العام لصناعة الذكاء الاصطناعي. وأظهرت روبوتات الدردشة ميلًا إلى تقديم إجاباتٍ مُتملقة عن مُطوريها، بينما تكون أكثر استعدادًا لانتقاد منافسيها بوضوح. مع ذلك، كان هناك قبول عام لعبقرية الشخصيات العامة الرائدة في ثورة الذكاء الاصطناعي التوليدي. ويصف موقع ChatGPT ألتمان بأنه "قائد استراتيجي وطموح يجمع بين التفاؤل التقني وغرائز العمل الثاقبة". في المقابل، قال روبوت الدردشة الذكي "كلود" من شركة Anthropic إن "أسلوب قيادة ألتمان اتسم بقرارات مثيرة للجدل تُعطي الأولوية للنمو والتأثير على حساب روح OpenAI الأصلية غير الربحية". وقد وجه داريو أمودي، الرئيس التنفيذي والمؤسس المشارك لشركة Anthropic، انتقادات مماثلة لألتمان بعد مغادرته OpenAI عام 2021. وقال نموذج الذكاء الاصطناعي الخاص بشركة ميتا،Meta Llama، إن مارك زوكربيرغ، الرئيس التنفيذي للشركة، كان "ثوريًا"، بينما كان منافسوه يميلون إلى وصفه بأنه "صاحب رؤية ولكنه مثير للجدل"، و"يركز على المنتج". ووصف روبوت الدردشة الذكي Grok، الذي طورته شركة xAI التابعة لإيلون ماسك، قائدها بأنه "جريء" و"صاحب رؤية"، بينما وصفه نموذج الذكاء الاصطناعي "كلود" بأنه "مثير للانقسام" و"متقلب المزاج". وعندما سُئلت عن أبرز نقاط ضعف رؤساء الذكاء الاصطناعي - ودُعيت إلى "الصدق" - كانت روبوتات الدردشة حاسمة بشأن عيوب القادة المنافسين، بينما كانت أكثر تحفظا في الإجابة عند الحديث عن عيوب رؤساء الشركات المطورة لها. وذكر ChatGPT التابعة لشركة OpenAI أن أبرز نقاط ضعف ماسك هي "سلوكه المتهور وغير المنتظم، الذي غالبًا ما يُقوّض المصداقية، ويُنفّر الشركاء، ويُشتت الانتباه عن الأهداف طويلة المدى التي يدّعي أنه يُعطيها الأولوية". وعندما سُئل سؤال مماثل عن ألتمان، قال ChatGPT إن هناك "تصورًا متزايدًا بأنه يُعطي الأولوية للسيطرة والهيمنة على السوق على حساب الشفافية". وتأسست OpenAI كمختبر أبحاث غير ربحي عام ٢٠١٥ على يد ألتمان وماسك وتسعة آخرين، قبل أن يغادر ماسك إثر خلاف مع ألتمان. وتُساعد إجابات روبوتات الدردشة أيضًا في الكشف عن محدودية قاعدة بيانات النماذج التي تُشغّلها. ووصف روبوت الدردشة التابع لمجموعة DeepSeek الصينية، مؤسسها ليانغ وينفنغ، بأنه "قائد غير تقليدي يُعطي الأولوية للإبداع والشغف ووجهات النظر المتنوعة على الخبرة التقليدية". في المقابل، لم يكن منافسوها الأمريكيون، مثل كلود ولاما وجيميني التابعة لغوغل، على دراية بمن هو وينفنغ. وقد يعود ذلك إلى توقف الشركات التي تقف وراء هذه الروبوتات عن جمع بيانات التدريب أواخر العام الماضي، قبل أن تكتسب DeepSeek شعبية عالمية في أوائل عام 2025. وتتنبأ نماذج لغة الذكاء الاصطناعي بالكلمة التالية المحتملة في الجملة بناءً على بيانات التدريب الخاصة بها. وتتمتع أحدث روبوتات الدردشة بالذكاء الاصطناعي أيضًا بالقدرة على تصفح الإنترنت بشكل أعمق للحصول على المزيد من المصادر. لكنها تعتمد أيضًا على مصادر مناسبة باللغة الإنجليزية لإنتاج الإجابات، إذا لم تظهر المعلومات في بيانات التدريب الخاصة بها، فلن يكون لدى النموذج ما يعمل عليه. aXA6IDkyLjExMi4xMzkuMTIyIA== جزيرة ام اند امز ES

عرب هاردوير

منذ 3 أيام

• عرب هاردوير

رؤية سام ألتمان لمُستقبل ChatGPT: مساعد ذكاء اصطناعي يعرف كل شيء عنك!

طرح سام ألتمان -الرئيس التنفيذي لشركة OpenAI - رؤيةً طموحة لمُستقبل ChatGPT خلال فعالية استضافتها شركة Sequoia لرأس المال الاستثماري. وأكّد أن الهدف النهائي هو تطوير نموذج ذكاء اصطناعي قادر على توثيق وتذكر كل تفاصيل حياة المُستخدم، ليصبح مساعدًا شخصيًا شاملاً يعرف كل شيء عنك! اقرأ أيضًا: نموذج ذكاء اصطناعي يعيش معك طوال حياتك عند سؤاله عن كيفية جعل ChatGPT أكثر تخصيصًا، أوضح ألتمان أنّ النموذج المثالي سيكون "نموذج تفكير صغير جدًا يحتوي على تريليون رمز سياقي تُوظّف فيه حياتك بأكملها". هذا يعني أن الذكاء الاصطناعي سيتذكّر كل دردشة، وكل كتاب قُرئ، وكل بريد إلكتروني، وكل بياناتك من مصادر مُختلفة، كما سيكون قادرًا على ربط هذه المعلومات لخدمتك بشكل أفضل، سواء على المُستوى الشخصي أو المهني. وأشار إلى أنّ الشباب -خاصةً طلاب الجامعات- يستخدمون ChatGPT بالفعل كنظام تشغيل لحياتهم، حيث يرفعون ملفاتهم ويربطون مصادر البيانات لطرح أسئلة مُعقدّة. بل إن بعضهم لا يتخذ قرارات حياتية دون استشارة الذكاء الاصطناعي، وهذا يجعله أكثر من مُجرّد أداة بحث. إمكانيات مُذهلة... ومخاطر مُحتملة تخيّل أن يكون لديك مُساعد ذكاء اصطناعي يُنظّم حياتك بالكامل: يُذكرك بمواعيد الصيانة، يُخطّط لرحلاتك، ويطلب هدايا الأصدقاء تلقائيًا. لكن هذا المُستقبل المُشرق يأتي مع تحديات كبيرة، أهمها: إلى أي مدى يمكننا الوثوق بشركة تكنولوجية تعرف كل أسرارنا؟ فقد شهدنا في الماضي كيف انخرطت عمالقة التكنولوجيا في مُمارسات مشبوهة، مثل احتكار جوجل للسوق أو تحيُّز بعض روبوتات الدردشة لأجندات سياسية. حتى ChatGPT نفسه واجه انتقادات عندما بدأ في تمجيد بعض المُستخدمين بطريقة مُبالغ فيها، الذي اضطر فريق OpenAI إلى تعديله سريعًا. هل نثق بالذكاء الاصطناعي ليكون رفيق حياتنا؟ رغم الفوائد الكبيرة لوجود مساعد ذكاء اصطناعي شامل، إلا أنّ التاريخ يُظهر أن الشركات التكنولوجية لا تتصرّف دائمًا بمسؤولية. فهل نريد أن نعطي هذه الشركات حق الوصول إلى أدق تفاصيل حياتنا؟ الواقع أنّ الذكاء الاصطناعي قد يُحسّن حياتنا بطرق غير مسبوقة، لكنه أيضًا مُعرّض للاستغلال إذا لم تُوضع ضوابط صارمة. والسؤال الأهم الآن هو: كيف يُمكننا تحقيق التوازن بين الراحة التي يُقدمها الذكاء الاصطناعي وحماية خصوصيتنا وأمننا؟ المُستقبل سيكشف الإجابة، لكن علينا أن نكون مُستعدين للتحديات التي ستأتي معه.