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

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

هذا فحصنا للتطورات الكبرى التي تصل بين إعلان OpenAI عن مسافات الوحدة في 20 مايو وادعاء نافير–ستوكس في سبتمبر، وفق المعلومات المتاحة حتى 22 سبتمبر 2026. ويضم تطورات مهمة وأبحاثًا لاحقة نشأت عنها. وهو خريطة لهذا التسلسل لا حصر شامل لكل ورقة رياضيات استعانت بالذكاء الاصطناعي. قرأنا الإعلانات المشار إليها وعبارات النظريات ذات الصلة ومقدمات الأبحاث ووثائق التحقق. لكننا لم نحكّم هذه البراهين مستقلين ولم نعد بناء صيغها الشكلية.

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

مايو: مثال مضاد يفتح مسارًا هندسيًا جديدًا

من السهل تصور مسألة مسافات الوحدة: ضع مجموعة نقاط على سطح مستوٍ وعدّ الأزواج التي تفصلها وحدة واحدة. كم يمكن أن يزيد هذا العدد كلما أضفت نقاطًا؟

نسب إعلان OpenAI في 20 مايو إنشاء بناء جديد إلى نموذج استدلال عام داخلي خضع للتقييم على مجموعة من مسائل إردوش. ونشرت الشركة أيضًا ورقة مصاحبة مستقلة كتبها علماء رياضيات خارجيون درسوا الحجة. وتكمن أهمية الوثيقة الثانية في أنها تتيح للقراء فحص ما فهمه هؤلاء العلماء وأعادوا بناءه، بما يتجاوز رواية المختبر عن نموذجه. إعلان OpenAI.

يبني المخطوط الأصلي عددًا لا نهائيًا من مجموعات النقاط تحوي ما لا يقل عن n^(1+δ) زوجًا تفصل بينها مسافة وحدة، حيث δ موجب ثابت. وبعبارة بسيطة، يستمر تحسن الأس مع كبر الأمثلة. وهذا يناقض النمو شبه الخطي الذي تنبأ به التخمين، لكنه لا يحدد العدد الأقصى الدقيق لمسافات الوحدة لكل عدد من النقاط؛ ويستمر البحث الأوسع عن الحدود المثلى. مخطوط مسافات الوحدة.

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

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

من مايو إلى يوليو: الأفكار تبدأ في الانتقال

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

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

ويمد مسود كوزمين بوهواتا الأولية، المقدمة أول مرة في 11 يونيو والمنقحة في 28 يونيو، هذا التسلسل إلى مسألة إليكيس–رونياي. وتقدم مثالًا كثير حدود تتوسع قيمه على مجموعات مناسبة بمقدار أقل من المتوقع، باستخدام عناصر من بنائي مسافات الوحدة والمجموع والجداء الحديثين. وتوضح الورقة الصلة بين المسألتين. ورقة بوهواتا.

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

وثمة أدلة هنا تؤيد القراءة المتفائلة. فقد وفرت نتيجة مايو مادة استطاع باحثون تعديلها وإعادة استخدامها خلال أسابيع. ومقياس النجاح الذي نقترحه هو إنتاج أساليب قابلة للاستخدام، إلى جانب الجهد اللازم لفهمها. أما عد المسائل المحلولة وحده فيغفل هذا التمييز.

يوليو: المثال المضاد لحدسية ياكوبي يوضح أهمية النطاق

تناولت واقعة لافتة ثانية حدسية ياكوبي. ويفحص شرح تيرينس تاو الصادر في 21 يوليو مثالًا مضادًا أنتج باستخدام Fable AI: تطبيقًا كثير حدود في ثلاثة متغيرات عقدية يتصرف على نحو قابل للعكس داخل جوار صغير، لكنه يرسل نقاطًا مختلفة إلى النتيجة نفسها إجمالًا. ويفشل الادعاء العام للحدسية في ثلاثة أبعاد فما فوق، بينما تظل حالة البعدين مفتوحة. ويقدم تاو صيغًا صريحة ويشرح هندسة البناء. الشرح الرياضي لتاو.

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

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

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

أغسطس: نطاق أوسع من الادعاءات الرياضية

عرض إصدار OpenAI في 1 أغسطس عشر مجموعات من النتائج في الرياضيات وعلوم الحاسوب النظرية. وتقول الشركة إن نسخة داخلية من Astra ولدت الحجج، وإن البشر عملوا مع النموذج لإعداد المخطوطات، وإن النموذج أنتج شهادات Lean. وهذه رواية إنتاج تختلف عن إعلان مايو عن نتيجة واحدة، وتصرح بدور إعداد المخطوطات. إعلان أغسطس.

وتعرض المجموعة المصاحبة، المحدثة في 6 أغسطس، ما يلي. وهذه أوصاف لادعاءات المخطوطات، وليست عشر شهادات مستقلة من BIG CHANGE:

  • تعبئة الكرات: حد علوي تقاربي أدق في الأبعاد العالية.
  • الرموز الثنائية والكروية: حدود أقوى لأحجام الرموز عند مسافات فاصلة محددة.
  • نظرية الزمر: إنشاء زمرة غير سوفية.
  • جبر المؤثرات: أمثلة مضادة لحدسية صلابة كون.
  • التعقيد الحسابي: حدود دنيا أقوى للدوائر والصيغ الخاصة بالمحدد الدائم.
  • الألعاب الكمية: مبرهنة التكرار المتوازي الأسي.
  • مسائل الشبكات: نتائج أقوى لصعوبة التقريب في مسألة أقرب متجه.
  • الهندسة المحدبة: برهان حدسية حجم إيرارت.
  • نظرية رامزي: حد أدنى فائق الأسي لأعداد رامزي للمثلثات متعددة الألوان.
  • نظرية الرسوم البيانية القصوى: أمثلة مضادة لحدسيتي التراص والانحلال.

مجموعة الأبحاث ذات النتائج العشر.

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

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

وتذكر الورقة المرتبطة حدًا أعلى قليلًا من الثلثين، يقارب 67.25%، وتحدد النتائج التحليلية السابقة التي تعتمد عليها. وهذه عبارة رياضية تقاربية، لا ادعاء بأن فحص عينة منتهية كبيرة من الأصفار يثبت الفرضية. فالحد الأدنى للنسبة لا يضع كل صفر ذي صلة على الخط. مخطوط أصفار زيتا.

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

أوائل سبتمبر: فجوات الأعداد الأولية تكشف حدًا للتحقق

ووصلت الإعلانات المتتابعة إلى الفجوات بين الأعداد الأولية. إذ تنص ورقة أولية لفريق أكسيوم في 3 سبتمبر على وجود عدد لا نهائي من أزواج الأعداد الأولية المتتالية التي لا تزيد الفجوة بينها على 212. وتنسب العمل إلى الأبحاث التحليلية لجوليا شتادلمن ومشروع Polymath السابق. كما تفترض شهادة Lean فيها تقديرات تحليلية وشهادة تغايرية فُحصت على نحو منفصل. وهذا تقدم في مسألة الفجوات المحدودة؛ أما تخمين الأعداد الأولية التوأم فيتطلب فجوات لا نهائية مقدارها اثنان بالضبط. ورقة فريق أكسيوم.

ويعرض المستودع العام لـOpenAI، PrimeGaps186، حدًا أصغر بعد، مع قيد جوهري. فتطوير Lean فيه مشروط بثلاث بديهيات إدخال تغطي تقديرين من الأدبيات وحدود تكامل عددية. ويذكر المستودع أن الشهادة العددية لا تثبت تلك البديهيات. لذا ينبغي للقراء التمييز بين الحجة الرياضية المقترحة والجزء الذي جرى التحقق منه صوريًا ضمن المدخلات المحددة. وسيكون وصف هذه المادة بأنها برهان صوري كامل غير مشروط ومن البديهيات التأسيسية وحدها غير دقيق. مستودع PrimeGaps186.

وتتناول مسودة أخرى لـOpenAI الفجوات الطويلة: أي مدى اتساع الفترات بين الأعداد الأولية المتتالية. وتقدم حدًا أدنى محسنًا لأكبر الفجوات دون عتبة متنامية. وهذه مسألة قصوى منفصلة عن إيجاد عدد لا نهائي من أزواج الأعداد الأولية المتقاربة؛ ولا ينبغي احتساب التقدم في إحداها حلًا للأخرى. مخطوط الفجوات الطويلة.

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

4 سبتمبر: الصياغة الشكلية تصبح جزءًا من قصة الاكتشاف

يتعلق إعلان Anthropic في 4 سبتمبر بنظرية كان برهانها الرياضي معروفًا من قبل: مبرهنة فيرما الأخيرة. والإنجاز المزعوم هو صياغة كاملة لها بلغة Lean، أنجزها Claude باستقلال إلى حد كبير خلال أحد عشر يومًا. وتصف الشركة توجيهًا بشريًا ومنصة تعاون ساعدت الوكلاء في تتبع الاعتماديات، وتنسب العمل إلى تقليد البراهين الرياضية الذي يستند إليه. إعلان الصياغة الشكلية.

ويقدم المستودع العام أدلة أكثر تحديدًا من العنوان. فهو يذكر المبرهنة ويسجل الاعتماديات ويوثق الفحوص وفق مسلمات Lean القياسية ونسخة Mathlib من العبارة. كما يصف نفسه مادة بحثية غير مصانة. فحصنا هذه الوثائق، لكننا لم نعد تنفيذ بنائها. مستودع مبرهنة فيرما الأخيرة.

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

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

8 سبتمبر: ما الذي تدعيه نتيجة نافير–ستوكس فعلًا

وتوضح نتيجة الموائع هذه الأسئلة أكثر. إذ يقدم إعلان OpenAI في 8 سبتمبر، المحدث في 10 سبتمبر، حلًا مقترحًا لمسألة وجود معادلات نافير–ستوكس ونعومتها. وينسب العمل إلى نموذج داخلي يعمل عبر وكلاء منسقين، وينشر حجة مكتوبة وصياغة Lean رسمية. وتقول OpenAI إنها لا تنوي المطالبة بجائزة الألفية. الإعلان.

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

والقوة الخارجية أساسية لفهم النطاق. إذ يسمح وصف تشارلز فيفرمان الرسمي لمسألة كلاي بقوى ملساء في بديلَي الانهيار C وD، فيما تتناول بدائل النعومة العالمية A وB المعادلات من دون قوة. لذلك قد تعالج نتيجة صحيحة من النوع المقترح بديلًا مسموحًا به صراحة من كلاي، مع بقاء سؤال الانتظام العالمي من دون قوة بلا حل. ووصف القوة بأنها غير مهمة يبالغ في المبرهنة؛ ورفضها بوصفها خارج المسألة المعلنة يسيء وصف قواعدها. بيان المسألة الرسمي.

وأصدرت OpenAI أيضًا حجة منفصلة لمعادلات أويلر، التي تصف مائعًا مثاليًا بلا لزوجة. وتقترح تلك المخطوطة انهيارًا في زمن منتهٍ انطلاقًا من بيانات ابتدائية ملساء ومن دون قوة خارجية. ومع صلة معادلتي أويلر ونافير–ستوكس، ينبغي الفصل بين افتراضات ونتائج الورقتين. مخطوط أويلر.

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

وفي 11 سبتمبر، رد معهد كلاي بعبارات متحفظة عن الحل الظاهر، وقال إن التقييم ونسب الفضل سيتبعان عملية متأنية عمدًا. وهذا رد مؤسسي ذو دلالة، لكنه ليس منحًا للجائزة ولا إعلانًا عن اكتمال مراجعة العمل بكل جوانبها. إعلان كلاي.

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

Manuscript pages lead to a magnifying glass over a statement and dependency pages, then to an explanatory book and reusable pages.
AI-generated conceptual illustration by BIG CHANGE. Proposing a result, checking its exact statement and assumptions, and building understanding and reuse are distinct activities. Checking and explanation can iterate; this is not a guaranteed linear workflow. A formal check alone does not establish novelty, attribution or usefulness.

فحص البرهان يجيب عن سؤال محدد

يغير التحقق الصوري الأدلة المتاحة للمراجعين، وينبغي أن يجعل التقارير أكثر دقة أيضًا.

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

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

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

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

المجموعة الاستشارية تواجه مشكلة تنسيق متنامية

يأتي إعلان المجموعة الاستشارية للرياضيات والذكاء الاصطناعي في 21 سبتمبر ضمن هذه الخلفية. وتقول المجموعة إنها مستقلة وغير مدفوعة الأجر ومستعدة لتقديم المشورة لأي شركة ذكاء اصطناعي معنية. ومهمتها العاجلة تقديم المشورة إلى OpenAI بشأن نشر نتائج إضافية تقول الشركة إنها حصلت عليها. وتعد بتوصيات علنية وتوضح أنها لا تملك سلطة اتخاذ القرار داخل الشركات. والمنشور على مدونة تيرينس تاو تدوينة ضيف للمجموعة. بيان المجموعة.

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

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

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

ويطور هنري كوهن حجة مرتبطة في مقال ضيف على مدونة تاو في 15 سبتمبر: فالنتائج ضعيفة الشرح قد تفرض عملًا كبيرًا على المجتمع الذي عليه استيعابها. ويشمل قلقه الحوافز الممنوحة لمن ينجزون هذا الشرح. ويهم الإسناد الصحيح للفضل هنا أيضًا؛ فالمقال لكوهن وإن استضافه تاو. مقال كوهن.

ينبغي أن يصبح التقدم التالي أسهل استخدامًا للآخرين

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

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

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

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