الإجاباتمنشور21 المصادر
خلاف حول 722 مخطوطة رياضية: هل تكفي نتائج الذكاء الاصطناعي لإثبات التقدم؟
دعت رابطة الرياضيات الإنسانية الرياضيين إلى وقف التعاون مع OpenAI، معتبرةً أن نشر عدد كبير من النتائج لا يجعلها معرفة علمية مؤكدة. نشرت OpenAI مخطوطات وأدلة إثبات وتنسيقات بلغة Lean لبعض النتائج، لكن المجموعة ليست كلها مدققة أو ممثلة بصيغ يمكن للحاسوب التحقق منها.
نشر بواسطةتم التحرير باستخدام GPT-6 Lunaتم إنشاء الصور باستخدام GPT Image 2
إجابة البحث
الوجبات السريعة الرئيسية
- دعت رابطة الرياضيات الإنسانية الرياضيين إلى وقف التعاون مع OpenAI، معتبرةً أن نشر عدد كبير من النتائج لا يجعلها معرفة علمية مؤكدة.
- نشرت OpenAI مخطوطات وأدلة إثبات وتنسيقات بلغة Lean لبعض النتائج، لكن المجموعة ليست كلها مدققة أو ممثلة بصيغ يمكن للحاسوب التحقق منها.
- يدور الخلاف حول القيمة الرياضية المحتملة للنتائج، وشفافية طريقة إنتاجها، والجهد الذي سيحتاجه الباحثون لفحصها بصورة مستقلة.
موجّه الذكاء الاصطناعي
openai.comCreate a landscape editorial hero image for this Studio Global article: Why has the Association for Human Mathematics (AHM) urged mathematicians to stop working with OpenAI after its October 6 release of AI-gener. Article summary: AHM urged mathematicians to stop working with OpenAI because it sees the October 6 release as a mass display of a company’s capability, not a responsible way to establish mathematical knowledge. It argues that hundreds o. Topic tags: general, general web. 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, charts with fake numbers, clic
دعت رابطة الرياضيات الإنسانية (AHM) الرياضيين إلى وقف التعاون مع OpenAI، بعدما نشرت الشركة في 6 أكتوبر 2026 مجموعة كبيرة من المخطوطات الرياضية. ولا يقتصر اعتراض الرابطة على احتمال وجود أخطاء في بعض البراهين؛ بل يشمل فكرة أن نشر نتائج كثيرة دفعة واحدة لا يعوّض مسار التحقق والتوثيق والنقاش العلمي.45
قد تتضمن المجموعة نتائج جديرة بالاهتمام، لكن الأرقام والملفات الداعمة والادعاءات اللافتة لا تثبت صحتها بمفردها. كما يطرح الخلاف أسئلة عن إتاحة النموذج، والقدرة على مراجعة مخرجاته، ومن يتحمل عبء التحقق منها.
ماذا نشرت OpenAI؟
تحدث الإعلان الأول عن 722 مخطوطة في 17 فرعًا رياضيًا، موزعة على 372 مجموعة من النتائج المرتبطة بعضها ببعض. لذلك لا تعني المخطوطات وجود 722 اكتشافًا مستقلًا. ويضم المستودع نصوصًا ومواد داعمة للبراهين، وهو متاح بموجب ترخيص Apache-2.0.7
15
وقالت OpenAI إن النموذج جرّب نحو 4,000 مسألة، وإن متوسط القدرة الحاسوبية المستخدمة لكل نتيجة يعادل نحو ثلاث ساعات من تشغيل ChatGPT Pro Thinking. كما نشرت 10 ملخصات مختصرة لاستدلال النموذج، وتنسيقات بلغة Lean لبعض البراهين.7
12
16 ويشير المستودع إلى أن النتائج تمر بمراحل متفاوتة من التحقق، وأن بعض المخطوطات لا تتضمن صياغة رسمية بلغة Lean. وتُظهر قائمته الحالية 719 مخطوطة، مقارنةً بـ722 في الإعلان الأول.
10
11
وتشمل المجموعة ادعاءات تتعلق، من بين أمور أخرى، بتخمينات ماهلر وبأسّ اللاعقلانية الدقيق للعدد π. لكن نشر هذه الادعاءات في صورة مخطوطات لا يجعلها مؤكدة نهائيًا.5
21
لماذا تعترض الرابطة؟
قالت الرابطة في بيانها إن «الرياضيين لم يطلبوا إنجاز هذا العمل»، ووصفت نشر مئات الملفات بأنه «استعراض للقوة» لا دليلًا على إنجاز علمي. ودعت إلى التعامل مع النتائج بتشكك، وإلى جعل الإنسان محور البحث، بدل التسرع في قبول مخرجات الشركات أو تكليف الباحثين بمعالجتها على نطاق واسع.45
وتبرز مشكلة عملية تتعلق بحجم المجموعة: إذ يتعين على المختصين قراءة المخطوطات وفحص براهينها وربط نتائجها بالأبحاث المنشورة سابقًا. وإتاحة الملفات للجمهور تتيح للمجتمع العلمي دراستها، لكنها لا تلغي هذا العمل؛ بل تنقل جزءًا كبيرًا منه إلى الباحثين.
وربطت الرابطة موقفها أيضًا بتحذير مجموعة استشارية معنية بالرياضيات والذكاء الاصطناعي، أُنشئت لتقديم المشورة لشركات الذكاء الاصطناعي بشأن تفاعلها مع الأبحاث الرياضية. ووفقًا لبيان الرابطة، كانت المجموعة قد حذرت من اختبار مسائل رياضية متقدمة باستخدام نماذج داخلية تابعة للشركات.45
ما الذي تثبته براهين Lean — وما الذي لا تثبته؟
تُعد الصياغات الرسمية بلغة Lean أداة مهمة، لأنها تتيح للحاسوب التحقق من البراهين التي نُقلت فعلًا إلى النظام. وتقول OpenAI إن النتيجة الرئيسية في 162 مخطوطة صيغت بهذه الطريقة.5 وهذا يعزز قابلية فحص تلك النتائج تحديدًا، لكنه لا يثبت تلقائيًا كل ادعاء في جميع المخطوطات.
أما النتائج التي لا تملك صياغة مماثلة، فيتطلب تقييمها قراءة الحجة وفحصها. ويذكر المستودع نفسه أن النتائج في مراحل متفاوتة من التحقق، وأن بعض المخطوطات لا ترافقها صياغات Lean.10
11 لذا، الأنسب هو تقييم كل نتيجة على حدة، بدل اعتبار المجموعة كلها مثبتة أو عديمة القيمة.
معلومات عن المنهج، لكن شفافية غير مكتملة
توفر الأرقام التي نشرتها OpenAI عن المسائل التي جُرّبت والقدرة الحاسوبية المستخدمة، إلى جانب ملخصات الاستدلال العشرة، لمحة عن طريقة إنتاج النتائج.7
12
16 لكنها لا تقدم سجلًا كاملًا لمسار كل نتيجة، كما أن النموذج نفسه داخلي وغير متاح لفحص مستقل.
7
11
كذلك، لا يوضح العدد الإجمالي للمسائل التي جُرّبت وحده مدى نجاح النموذج ضمن مجموعة محددة بوضوح من المسائل الرياضية المتقدمة. ولتقييم الأداء وإمكان تكرار النتائج، يحتاج الباحثون إلى معلومات أوفى عن المنهج والطريقة التي أُنتجت بها كل نتيجة.
وقالت OpenAI إنها تخطط لتنظيم ورش ومؤتمرات لمراجعة النتائج المهمة.7 وقد تساعد هذه المبادرات على تيسير النقاش والتدقيق، لكنها لا تغني عن نشر معلومات كافية تمكّن الباحثين الآخرين من تقييم طريقة الوصول إلى البراهين بصورة مستقلة.
ماذا يعني الخلاف للأبحاث الرياضية البشرية؟
لا توجد إجابة بسيطة تحسم النقاش. فقد تتضمن مجموعة من الحجج التي أنتجها الذكاء الاصطناعي تقدمًا رياضيًا حقيقيًا، لكن قيمتها تتوقف على النتائج التي تصمد أمام المراجعة المستقلة، لا على ضخامة النشر أو أهمية المسائل المذكورة.7
10
وفي الوقت نفسه، يسلط اعتراض الرابطة الضوء على أسئلة تتعلق بالإنصاف في الاعتراف بالأعمال البشرية السابقة، وكلفة تقييم النتائج الجديدة، واحتمال تغير أولويات الأبحاث البشرية أو مستوى دعمها. ولا تجيب المخطوطات المنشورة عن هذه القضايا، لكنها تجعلها أكثر إلحاحًا.45
الخلاصة هي ضرورة التمييز بين قدرة نظام ذكاء اصطناعي على إنتاج ادعاءات رياضية كثيرة وبين التحقق العلمي منها. فالخلاف يتناول الأمرين معًا: ما الذي يمكن أن يضيفه الذكاء الاصطناعي إلى الرياضيات، وما القواعد اللازمة لجعل هذه الإضافة قابلة للفحص وشفافة وذات قيمة للمجتمع العلمي.
Studio Global AI
مواصلة البحث الخاص بك
تتضمن هذه الصفحة إجابة مدعومة بالمصدر يمكنك المتابعة داخل Studio Global.
يسأل الناس أيضا
ما هي الإجابة المختصرة على "خلاف حول 722 مخطوطة رياضية: هل تكفي نتائج الذكاء الاصطناعي لإثبات التقدم؟"؟
دعت رابطة الرياضيات الإنسانية الرياضيين إلى وقف التعاون مع OpenAI، معتبرةً أن نشر عدد كبير من النتائج لا يجعلها معرفة علمية مؤكدة.
ما هي النقاط الأساسية التي يجب التحقق منها أولاً؟
دعت رابطة الرياضيات الإنسانية الرياضيين إلى وقف التعاون مع OpenAI، معتبرةً أن نشر عدد كبير من النتائج لا يجعلها معرفة علمية مؤكدة. نشرت OpenAI مخطوطات وأدلة إثبات وتنسيقات بلغة Lean لبعض النتائج، لكن المجموعة ليست كلها مدققة أو ممثلة بصيغ يمكن للحاسوب التحقق منها.
ماذا يجب أن أفعل بعد ذلك في الممارسة العملية؟
يدور الخلاف حول القيمة الرياضية المحتملة للنتائج، وشفافية طريقة إنتاجها، والجهد الذي سيحتاجه الباحثون لفحصها بصورة مستقلة.