يعتمد GPT-5.6 من OpenAI على 64 وكيلًا لإثبات تخمين رياضي مدته 50 عامًا في أقل من ساعة واحدة

2026-07-11 01:29:22

وفقاً لـ OneMillion_AI، قامت GPT-5.6 Sol Ultra التابعة لـ OpenAI بنشر 64 من الوكلاء الفرعيين لتقديم برهان رسمي لمعضلة تخمين تغطية الازدواج الدوري (Cycle Double Cover Conjecture)، وهي مسألة رياضية طُرحت قبل نحو 50 عاماً، وذلك في أقل من ساعة واحدة. نشرت OpenAI النص الكامل للبرهان بالكامل، كما أطلقت نسخة مفتوحة المصدر بصيغة Lean مُحكَمة شكلياً. وقد اجتاز الكود التحقق عبر نواة Lean. ومع ذلك، يبقى هذا هو الناتج المنشور من OpenAI فقط؛ إذ لم تُكمل الأوساط الرياضية بعدُ مراجعة مستقلة على مستوى الأقران، لذلك لا يُعدّ البرهان بعدُ معترفاً به رسمياً باعتباره حلاً قاطعاً.

عرض المصدر

إخلاء المسؤولية: قد تكون المعلومات الواردة في هذه الصفحة مستمدة من مصادر خارجية وهي للمرجعية فقط. لا تمثل هذه المعلومات آراء أو وجهات نظر Gate ولا تشكل أي نصيحة مالية أو استثمارية أو قانونية. ينطوي تداول الأصول الافتراضية على مخاطر عالية. يرجى عدم الاعتماد حصرياً على المعلومات الواردة في هذه الصفحة عند اتخاذ القرارات. لمزيد من التفاصيل، يرجى الرجوع على إخلاء المسؤولية.

أخبار ذات صلة

منذ 6 س

تدّعي شركة Apple أنها ستقاضي شركة OpenAI بشأن سرقة أسرار تجارية في 10 يوليو، مع ادعاء تورط مسؤول تنفيذي سابق

منذ 22 س

B.AI يدمج حزمة نماذج OpenAI GPT-5.6 ضمن شبكة التطبيقات عبر واجهة برمجة التطبيقات

07-10 06:31

تطلق OpenAI سلسلة GPT-5.6 بثلاثة نماذج؛ سول تحسن الكفاءة بنسبة 54%، وتيرا تخفض الأسعار إلى النصف

07-10 04:55

تطلق OpenAI خدمة ChatGPT للعمل على التطبيقات والملفات في 10 يوليو

07-10 00:04

أوبن إيه آي تعلن عن الإطلاق الكامل لسلسلة نماذج GPT-5.6 ووكيل عمل ChatGPT في 10 يوليو

تحليل متعمق