أوبن إيه آي تقول إن نموذج ذكاء اصطناعي سري حل مئات المسائل الرياضية في طلب واحد - الرياضيون يريدون إثباتات

نشرت أوبن إيه آي 722 مخطوطة رياضية على غيت هاب يوم الثلاثاء، جميعها تم إنتاجها بواسطة نموذج داخلي لم تصدره الشركة. قال متحدث باسم أوبن إيه آي إن كل شيء تقريبًا جاء من طلب واحد تم تسليمه لوكيل ذكاء اصطناعي واحد، على الرغم من أن بعض المسائل قد تتطلب محاولات متعددة.

إنها ادعاء جريء واختراق محتمل كبير في مجال الرياضيات. لكن ليس الجميع معجبًا، أو يشتري الضجة. Myriad: إلى أي مدى سترتفع Nvidia؟ انقر لتقديم توقعك.

"حتى يتم إصدار النموذج ويمكن للناس تكرار نتائجهم، أعتقد أنه يجب عليك التعامل مع أي ادعاءات حول حل المسائل بواسطة وكيل واحد على أنها غير مؤكدة،" قال أندرو ساذرلاند، رياضي في معهد ماساتشوستس للتكنولوجيا، لمجلة Scientific American. "يجب أن نطلب إثباتات،" أضاف.

تم تجميع الأوراق في 372 "عائلة" من النتائج ذات الصلة، ويمكن أن تجمع العائلة بين نظرية رئيسية مع حجج مصاحبة، أو عواقب أو براهين بديلة. وهذا يجعل 722 عدد المخطوطات، وليس عدد المسائل المحلولة. تقول أوبن إيه آي إنها طرحت حوالي 4000 مسألة على النموذج واحتفظت بالمخرجات التي اعتبرتها مهمة بما يكفي للنشر.

استخدمت النتيجة المتوسطة ما يعادل حوالي ثلاث ساعات من حسابات ChatGPT Pro، وفقًا لأوبن إيه آي. كان ادعاء Navier-Stokes الشهر الماضي يبدو مختلفًا تمامًا، مع 10000 وكيل منسق يعملون لمدة 88 ساعة.

أصدرت أوبن إيه آي ملخصات مختصرة للتفكير لـ 10 من النتائج. ومع ذلك، فإن 162 فقط من 722 ورقة تأتي مع نتيجة رئيسية تم التحقق منها بواسطة الكمبيوتر، وفقًا لفهرس التشكيل في المستودع. وهذا يمثل حوالي 22% من المجموعة، مترجم إلى Lean، وهو برنامج يتحقق من كل خطوة منطقية بشكل ميكانيكي.

تقول أوبن إيه آي نفسها إن جميع المخطوطات ليست لديها تشكيلات Lean وأن "بعض النتائج غير المهيكلة قد تحتوي على مشكلات." بعبارة أخرى، الكثير مما نشرته قد يكون خاطئًا.

تؤكد فحص Lean العابر فقط أن البرهان يتبع من البيان كما هو مكتوب في Lean. لا يظهر أن البيان يتطابق مع المشكلة الأصلية، أو أن النتيجة جديدة أو مهمة، وهو الجزء الذي يجب على الرياضيين الآن الحكم عليه.

وهنا يرفع الباحثون حواجبهم.

كنت أحاول قراءة برهان أوبن إيه آي الذي يقول إن عدد الألوان في المستوى هو >= 6. لكن الرياضيات غير قابلة للتصديق تمامًا؟

بطريقة ما، وجد النموذج أن أي تلوين K <= "قابل للقياس بشكل ضعيف"، والذي يبدو أنه جاء من العدم

1/2 pic.twitter.com/W13ScT3nel

--- ديمتري ريبين (@DmitryRybin1) 7 أكتوبر 2026

مستودع openai/math لديه مشاكل مغلقة ولم يقبل أبداً طلب سحب. هذا مخيب للآمال. إذا نشرت 722 مخطوطة وطلبت تشكيلات Lean، تحتاج إلى مكان ليتمكن الناس من إرسالها.

أنا أعمل على تشكيل برهان تخمين ساكسل الخاص بأوبن إيه آي في Lean 4 ضد...

--- كيث أدلر (@keithadler) 7 أكتوبر 2026

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

ومع ذلك، فإن آخرين، مثل البروفيسور أبهيسك سها، متحمسون جدًا. "إنه يوم كبير جدًا للرياضيات،" كتب، لكنه أشار إلى أن معظم المسائل تقع في فئات "التقدم الاستثنائي ضمن برنامج قائم" من "الاختراقات المفاجئة."

هذا يعني أن معظم المسائل في المجموعة مثيرة للاهتمام، ولكن ليست مستحيلة أو مغيرة للعبة مثل مسائل الألفية. هذا المكان محجوز لمشكلة واحدة فقط من 722: فرضية كوازي-ريمان.

بعض الأفكار الإضافية حول 372 نتيجة تم إصدارها من قبل أوبن إيه آي اليوم، عبر 722 مخطوطة.

إذا كنت سأصنف النظريات التي يثبتها الرياضيون وينشرونها وفقًا لطبيعتها الرائدة، سأقوم (بشكل تقريبي جدًا) بتقسيمها إلى أربع فئات:

A) غير رائدة... https://t.co/BA10SxBlx7

--- أبهيسك سها (@ObhishekSaha) 7 أكتوبر 2026

كما أن الإصدار لا يفي بما أوصت به مجموعة استشارية في معهد الدراسات المتقدمة في 29 سبتمبر: اسم النموذج، الطلبات، سلسلة ملخصة من الأفكار، الوقت المستغرق وتكلفة الحساب لكل نتيجة. نشرت أوبن إيه آي أرقام حسابية متوسطة و10 ملخصات تفكير ولكن لا طلبات، وتقول إنها لا تزال تعمل على إصدار النموذج بشكل مسؤول.

دانيال ليت، رياضي في جامعة تورونتو، اتخذ وجهة نظر معاكسة، مجادلًا بأنه لا يوجد سبب لطلب الشركة الحفاظ على إجابات هذه الأسئلة الرياضية سرية.

اتخذت شركة أنثروبيك مسارًا مختلفًا مع برهان نظرية فيرما الأخيرة الذي تم التحقق منه بواسطة Lean الشهر الماضي، حيث نشرت جميع 13 مليون سطر علنًا على غيت هاب. هذا البرهان شكل نظرية نشرها أندرو ويلز في عام 1995، بدلاً من الادعاء بنتائج جديدة.

تقول أوبن إيه آي إنها ستضيف تشكيلات Lean عند الحصول عليها؛ في الوقت الحالي، تحتوي 162 من 722 مخطوطة على واحدة.

يُقدَّم هذا المحتوى لأغراض معلوماتية عامة فقط، ولا يُشكل مشورة مالية أو استثمارية أو قانونية أو ضريبية. ولا ينبغي اعتبار أي فعاليات أو مكافآت أو عروض ترويجية عبر الإنترنت أو أي معلومات ذات صلة واردة فيه توصيةً أو طلبًا أو دعوةً لشراء الأصول المشفرة أو بيعها أو تداولها أو إجراء أي معاملات أخرى عليها. تتميز الأصول المشفرة بتقلبات سعرية مرتفعة وقد تؤدي إلى خسائر. وقد يختلف مدى توفر خدمات WEEX ومنتجاتها والفعاليات المرتبطة بها حسب المنطقة. وتقع على عاتقك مسؤولية التأكد من أن مشاركتك تتوافق مع القوانين واللوائح المحلية المعمول بها.