الإجاباتمنشور14 المصادر
722 مخطوطة رياضية من OpenAI: ما الذي يتحقق منه Lean، وما الذي لا يحسمه؟
في 6 أكتوبر، نشرت OpenAI 722 مخطوطة موزعة على 372 مجموعة من النتائج المترابطة، وقالت إن العمل يتضمن حلولًا أو تقدمًا في مسائل رياضية مفتوحة عديدة. يستطيع Lean التحقق من برهان صيغ رسميًا، لكنه لا يثبت وحده أن النتيجة جديدة أو مهمة، أو أن صياغتها تطابق المسألة المقصودة.
نشر بواسطةتم التحرير باستخدام GPT-6 Lunaتم إنشاء الصور باستخدام GPT Image 2
إجابة البحث
الوجبات السريعة الرئيسية
- في 6 أكتوبر، نشرت OpenAI 722 مخطوطة موزعة على 372 مجموعة من النتائج المترابطة، وقالت إن العمل يتضمن حلولًا أو تقدمًا في مسائل رياضية مفتوحة عديدة.
- يستطيع Lean التحقق من برهان صيغ رسميًا، لكنه لا يثبت وحده أن النتيجة جديدة أو مهمة، أو أن صياغتها تطابق المسألة المقصودة.
- تعيد مطالبة OpenAI السابقة بشأن مسألة نافير–ستوكس طرح أسئلة عن إسهام الباحثين وشفافية طريقة العمل؛ ويبقى فحص كل نتيجة على حدة ضروريًا.
موجّه الذكاء الاصطناعي
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI release on Oct. 6 from its unreleased frontier model—including the number and range of mathematical manuscripts, their claim. Article summary: On October 6, OpenAI published **722 mathematical manuscripts in 372 related result families** from an unreleased internal frontier model. It presents them as results across many areas of mathematics, including work on l. Topic tags: general, general web, academic, news, user generated. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks
نشرت OpenAI في 6 أكتوبر 2026 722 مخطوطة رياضية موزعة على 372 مجموعة من النتائج المترابطة، وقالت إن العمل أُنتج بواسطة نموذج داخلي متقدم لم يُطرح للجمهور. وتصف التغطيات المجموعة بأنها تتناول مئات المسائل المفتوحة، مع حلول أو تقدم كبير في عدد منها. لكن ليس لكل المخطوطات برهان مصاغ في Lean، ولا يكفي إعلان النتائج وحده لإثبات أن كل واحدة منها أصيلة أو مهمة أو صحيحة الصياغة. 4
17
تتيح المواد المنشورة للباحثين فرصة فحص العمل، لكن تقييمه يحتاج إلى أكثر من عدّ المخطوطات أو معرفة أيها خضع للتحقق الآلي. وتجعل مطالبة الشركة السابقة بشأن مسألة نافير–ستوكس، إلى جانب الأسئلة عن مصادر النتائج وطريقة إنتاجها، المراجعة المستقلة خطوة أساسية.
ماذا نشرت OpenAI، وماذا تقول عن النتائج؟
يشير الرقمان إلى أمرين مختلفين: هناك 722 مخطوطة جُمعت ضمن 372 مجموعة من النتائج المترابطة. ولا يعني ذلك وجود مخطوطة واحدة لكل نتيجة، أو أن عدد المجموعات يساوي عدد المسائل المفتوحة. وصفت تقارير المجموعة بأنها تتضمن حلولًا أو تقدمًا ملموسًا في مئات المسائل الرياضية المفتوحة. وكانت OpenAI قد قالت قبل نشرها إن نموذجها الداخلي حل أكثر من 100 مسألة مفتوحة طويلة الأمد؛ وهذا يظل توصيفًا من الشركة لعمل النموذج، لا إحصاءً لاكتشافات أكدها باحثون مستقلون. 5
وتتضمن الإصدارات المصاحبة للمجموعة، بحسب التقارير، مخطوطات ومواد داعمة للبرهان ومكتبة Lean وفهرسًا للصيغ الرسمية المتاحة، إضافة إلى ملخصات موجزة لاستدلال النموذج في 10 نتائج. تساعد هذه المواد على فحص بعض العمل، لكنها لا توثق المسار الكامل لحل كل مسألة. 17
ما الذي يستطيع Lean التحقق منه؟
لا تتضمن المخطوطات الـ722 كلها صيغًا رسمية في Lean. وتشير التغطيات إلى أن نحو نصف النتائج خضع للتحقق الرسمي باستخدامه، مع اختلاف طريقة وصف مدى توافر الصيغ بين تقرير وآخر. 17
Lean أداة لمساعدة البرهان: إذا صيغت المسألة والبرهان داخل النظام، يستطيع التحقق من أن البرهان الرسمي يتبع من الفرضيات الرسمية. وهذا فحص مهم للمنطق كما كُتب وصيغ داخل النظام، لكنه لا يقرر بمفرده ما إذا كانت الصياغة تطابق المسألة الرياضية المقصودة، أو ما إذا كانت النتيجة جديدة، أو ما أهميتها.
لذلك من المفيد التمييز بين برهان رسمي تحقّق منه الحاسوب وبين التقييم العلمي الأوسع للمخطوطة. فالأول يعزز الثقة في الحجة التي صيغت رسميًا، أما الثاني فيتطلب من علماء الرياضيات دراسة التعريفات والسياق والأعمال السابقة وأهمية النتيجة.
لماذا تعود مسألة نافير–ستوكس إلى النقاش؟
في سبتمبر، قالت OpenAI إن نظامًا داخليًا أنتج حلًا لمسألة وجود حلول ناعمة لمعادلات نافير–ستوكس، ونشرت شرحًا مكتوبًا وبرهانًا مصاغًا في Lean. 2 وأثارت المطالبة نقاشًا حول ما إذا كان العمل يعالج المسألة كما يفهمها علماء الرياضيات، وكذلك حول إسهام الباحثين البشر ونسب الفضل إليهم.
وتحدثت تقارير عن استخدام مجموعة كبيرة من الوكلاء وكلفة حوسبة بملايين الدولارات في ذلك العمل السابق. لكن هذه التقارير تخص مسعى نافير–ستوكس، ولا تثبت كلفة إنتاج مجموعة المخطوطات المنشورة في أكتوبر أو مقدار الحوسبة التي احتاجتها.
وتطرح تلك السابقة أسئلة عملية عن الدفعة الجديدة: ما الأعمال السابقة التي استندت إليها كل نتيجة؟ وكيف اختار النموذج المسائل وتعامل معها؟ وما إسهام الباحثين البشر؟ توفر المخطوطات والمواد الداعمة بداية للفحص، لكن المعلومات المتاحة هنا لا تجيب عن هذه الأسئلة بصورة منهجية لكل نتيجة.
الشفافية وردود الفعل والخطوات المقبلة
تقول OpenAI إنها استشارت المجموعة الاستشارية المستقلة للرياضيات والذكاء الاصطناعي، التي تستضيفها مؤسسة الدراسات المتقدمة، واستفادت من نصائحها وتوصياتها المنشورة في تحديد طريقة إصدار النتائج. وتتعلق توصيات المجموعة بكيفية مراجعة النتائج الرياضية الناشئة والتواصل بشأنها. 4
وتباينت ردود الفعل التي نقلتها التقارير. يرى بعض علماء الرياضيات أن حجم العمل وتوافر براهين تحقق منها Lean قد يكونان مهمين، فيما يشدد آخرون على ضرورة التثبت من أصالة النتائج ونسب الفضل وأهميتها، وعلى صعوبة تقييم هذا العدد الكبير من المخطوطات دفعة واحدة.
وقالت OpenAI إنها ستموّل ورش عمل ومؤتمرات وبرامج أخرى تتناول النتائج. كما أشارت تقارير إلى أن الشركة تنوي إتاحة النموذج الداخلي للجمهور، لكن المصادر المتاحة هنا لا تحدد موعدًا نهائيًا لذلك.
في الوقت الراهن، أدق وصف للإصدار أنه مجموعة بحثية كبيرة تستحق فحصًا متأنيًا نتيجةً تلو الأخرى. فعدد المخطوطات ليس عددًا للاكتشافات التي جرى التحقق منها مستقلًا، كما أن استخدام Lean، رغم أهميته، لا يحسم وحده أسئلة الجِدّة والسياق والأهمية.
Studio Global AI
مواصلة البحث الخاص بك
تتضمن هذه الصفحة إجابة مدعومة بالمصدر يمكنك المتابعة داخل Studio Global.
يسأل الناس أيضا
ما هي الإجابة المختصرة على "722 مخطوطة رياضية من OpenAI: ما الذي يتحقق منه Lean، وما الذي لا يحسمه؟"؟
في 6 أكتوبر، نشرت OpenAI 722 مخطوطة موزعة على 372 مجموعة من النتائج المترابطة، وقالت إن العمل يتضمن حلولًا أو تقدمًا في مسائل رياضية مفتوحة عديدة.
ما هي النقاط الأساسية التي يجب التحقق منها أولاً؟
في 6 أكتوبر، نشرت OpenAI 722 مخطوطة موزعة على 372 مجموعة من النتائج المترابطة، وقالت إن العمل يتضمن حلولًا أو تقدمًا في مسائل رياضية مفتوحة عديدة. يستطيع Lean التحقق من برهان صيغ رسميًا، لكنه لا يثبت وحده أن النتيجة جديدة أو مهمة، أو أن صياغتها تطابق المسألة المقصودة.
ماذا يجب أن أفعل بعد ذلك في الممارسة العملية؟
تعيد مطالبة OpenAI السابقة بشأن مسألة نافير–ستوكس طرح أسئلة عن إسهام الباحثين وشفافية طريقة العمل؛ ويبقى فحص كل نتيجة على حدة ضروريًا.
المصادر
openai.comSharing AI progress in mathematics
letsdatascience.comletsdatascience.com · news · openai-publishes-722-aiOpenAI Publishes 722 AI Mathematics Manuscripts