80 دقيقة للحل! هاوٍ عمره 23 سنة يستخدم ChatGPT للمساعدة، ويحل معضلة رياضية عمرها 60 سنة

شاب هاوٍ يبلغ من العمر 23 عامًا بمساعدة GPT-5.4 Pro، حلّ فرضية رياضية لعقد من الزمن (رقم #1196). النموذج من خلال ربط الهياكل الصحيحة عبر عمليات ماركوف متعددة التخصصات، اقترح مسار إثبات لم يسبق للبشر أن جربوه.

وفقًا للإعلان الرسمي من OpenAI في 28 أبريل وتقرير Scientific American العميق في 24 أبريل، تم حل فرضية رياضية لعقد من الزمن (رقم #1196) بمساعدة النموذج الرائد GPT-5.4 Pro. وفي نفس اليوم، أجرى باحثو OpenAI Sébastien Bubeck و Ernest Ryu مع المضيف Andrew Mayne حوارًا في بودكاست رسمي، موضحين تفاصيل وأهمية الحدث بشكل رسمي.

بطل الحدث: هاوٍ عمره 23 عامًا، ليام برايس

المُحَلِّي ليام برايس، 23 عامًا، بدون تدريب متقدم في الرياضيات، ويعمل أحيانًا مع طالب السنة الثانية في قسم الرياضيات بجامعة كامبريدج، Kevin Barreto. يقول برايس: «أنا لا أعرف ما هو هذا السؤال — أنا فقط أحيانًا أطرح مشكلة Erdős على الذكاء الاصطناعي، وأرى ماذا سيخرج».

في أحد أيام الاثنين في أبريل 2026، قدم برايس خيط Erdős #1196 輸入 GPT-5.4 Pro，模型約 80 分鐘推理後給出證明思路，他再花約 30 分鐘把模型輸出整理為 LaTeX 論文，最後貼上 erdosproblems.com 論壇 #1196 للمراجعة المجتمعية. ونشرت مجلة Scientific American تقريرًا عميقًا في 24 أبريل، وأجرى فريق OpenAI في 28 أبريل بودكاست رسميًا يوضح التفاصيل بعد أسبوع من الحدث.

الاختراق الرياضي: ربط هياكل الأعداد عبر عمليات ماركوف، وتاو يصف «خطوة أولى خاطئة من قبل البشر»

تُعدّ فرضية Erdős #1196 من ضمن دراسات «المجموعات البدائية» — وهي مجموعة من الأعداد لا يمكن لأي عدد أن يقسمها على آخر. وتنص الفرضية على أنه عندما تقترب عناصر هذه المجموعات من اللانهاية، فإن أعلى قيمة لـ «نسبة مجموع Erdős» ستنخفض إلى 1 بالضبط.

اعتمد إثبات GPT-5.4 Pro على مسار «لم يجربه رياضيون بشريون من قبل»: ربط بنية الأعداد (تشريح الأعداد) ونظرية عمليات ماركوف. هذا الجسر متعدد التخصصات لم يكن في مسار أبحاث أحد من قبل.

وقد أُقتبس على نطاق واسع تعليقان من عالم الرياضيات الشهير تيرينس تاو (Terence Tao)، الحاصل على جائزة فيلدز. وصف الأمر قائلاً: «هذه المسألة مختلفة عن غيرها — لقد نظر البشر إليها، لكنهم أخطأوا في أول خطوة»، وأضاف: «هذه المساهمة لها معنى يتجاوز حل مسألة Erdős المحددة، فهي ذات أهمية كبيرة لدراسة بنية الأعداد».

أما عالم الرياضيات من جامعة ستانفورد، Jared Duker Lichtman، فقال إن المسار الذي اتبعته الذكاء الاصطناعي أكد حدسه الطويل الأمد: أن هناك «نوعًا من الشعور الموحد بين هذه المسائل».

كشف OpenAI في 28 أبريل: حوار البودكاست والتأكيدات اللاحقة

في بودكاست OpenAI في 28 أبريل، دُعي رسميًا باحثو OpenAI Sébastien Bubeck و Ernest Ryu مع المضيف Andrew Mayne لمناقشة «دور الذكاء الاصطناعي في البحث الرياضي». وكتبوا على تويتر: «في بداية هذا الشهر، تم حل مشكلة Erdős التي استمرت 60 عامًا بمساعدة GPT-5.4 Pro. الآن، أصبح الذكاء الاصطناعي ماهرًا في الرياضيات، فماذا سيحدث بعد ذلك؟»

حتى وقت إعداد هذا النص، لا تزال إثباتات برايس قيد التحقق من قبل المجتمع على منتدى erdosproblems.com، ولم تُخضع بعد لمراجعة الأقران الرسمية؛ وأشار تقرير TheDecoder في 15 أبريل إلى أن «التحقق الرسمي لا يزال جارياً». والكشف في بودكاست اليوم من OpenAI هو مستوى تواصل خارجي، وليس دليلاً على أن الإثبات الرياضي الكامل قد تم اعتماده — ويمكن للقراء متابعة التطورات عبر خيط #1196 في منتدى Erdős Problems.

• تم إعادة نشر هذا المقال بموافقة من 《链新闻》
• العنوان الأصلي: 《شاب هاوٍ عمره 23 عامًا يستخدم ChatGPT لحل مشكلة رياضية عمرها 60 عامًا: فكّها خلال 80 دقيقة》
• الكاتب الأصلي: Elponcrab