الإجاباتمنشور25 المصادر
هل ساعد نموذج من Anthropic في حل مسألة كمومية مفتوحة منذ 2008؟
في 6 نوفمبر 2026، قالت شركة PSI إن نظامها البحثي، الذي استخدم نموذجًا غير معلن من Anthropic، وجد برهانًا لحدسية Aaronson–Ambainis المفتوحة منذ 2008. تتعلق الحدسية بعدد مرات وصول الخوارزميات الكمومية إلى مدخلاتها في معظم الحالات العشوائية، لا بحسم قدرة الحواسيب الكلاسيكية على محاكاة الكم أو نفي كل مزايا الحوسبة الكمو...
نشر بواسطةتم التحرير باستخدام GPT-6 Lunaتم إنشاء الصور باستخدام GPT Image 2
إجابة البحث
الوجبات السريعة الرئيسية
- في 6 نوفمبر 2026، قالت شركة PSI إن نظامها البحثي، الذي استخدم نموذجًا غير معلن من Anthropic، وجد برهانًا لحدسية Aaronson–Ambainis المفتوحة منذ 2008.
- تتعلق الحدسية بعدد مرات وصول الخوارزميات الكمومية إلى مدخلاتها في معظم الحالات العشوائية، لا بحسم قدرة الحواسيب الكلاسيكية على محاكاة الكم أو نفي كل مزايا الحوسبة الكمومية.
موجّه الذكاء الاصطناعي
openai.comCreate a landscape editorial hero image for this Studio Global article: What did physics-focused AI startup Physical Superintelligence (PSI) announce on November 6 about its research system using an undisclosed,. Article summary: On November 6, 2026, Physical Superintelligence (PSI) announced that its internal research system, using a non-public Anthropic model, had found a proof of the Aaronson–Ambainis conjecture, open since 2008, and released . Topic tags: general, general web, 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, charts with fak
أعلنت شركة Physical Superintelligence (PSI) في 6 نوفمبر 2026 أن نظامًا بحثيًا داخليًا، استخدم نموذجًا غير متاح للعامة من Anthropic، وجد برهانًا لحدسية Aaronson–Ambainis، وهي مسألة ظلت مفتوحة منذ 2008. ونشرت الشركة ورقة بحثية وصياغة رسمية للبرهان بلغة Lean 4، وقالت إن الأداة قبلت البرهان. لكن النتيجة لم تخضع حتى الآن لمراجعة علمية محكّمة في دورية. 6
7
13
15
ما الذي تقوله PSI عن عمل النظام؟
بحسب الشركة، توصّل النظام إلى برهان كامل في اليوم الثالث من تشغيله على البنية التحتية الخاصة بـPSI. ثم انتقل إلى مسائل مرتبطة بالموضوع، وحسّن النتيجة مرتين، وفقًا لتقارير الإعلان. لكن الروايات المتاحة لا تعرض تفاصيل كافية عن التحسينات المتعاقبة أو عن خطوات استدلال النظام واحدةً تلو الأخرى. 5
11
14
قاد العمل ديفيد تورتيوران، عضو الفريق التقني في PSI ومطوّر النظام البحثي. وتفيد التقارير بأنه حدّد نطاق المسألة، ووجّه النظام إلى إعداد مسودة، ثم راجعها، كما نُسبت إليه مسؤولية صحة الورقة. 1
7 وذكرت تقارير أن مستشار الشركة جيم هالفرسون راجع البرهان، فيما تناولت المستشارة فيالا شاناهان دور الصياغة الرسمية بلغة Lean.
34
36
لم يُكشف عن اسم النموذج. ويصفه إعلان PSI بأنه نموذج غير متاح للعامة من Anthropic، لكن المصادر المتاحة لا توضح طبيعة مشاركة Anthropic أو ما إذا كانت الشركة قد أيدت النتيجة بصورة مستقلة. 6
15
ما مضمون الحدسية؟
بحسب الصياغة المنشورة مع البرهان، إذا كان لدينا كثير حدود حقيقي درجته لا تتجاوز d، وتبقى قيمه بين صفر وواحد على المكعب الثنائي، وكان تباينه لا يقل عن ε، فلا بد أن يكون لأحد متغيراته تأثير ملحوظ. وتورد مستودعات PSI حدًا أدنى لهذا التأثير مقداره (ε/d)^7، إلى جانب حدّ أقوى مذكور في النتيجة. 41
بعبارة أبسط: لا يمكن لدالة من هذا النوع أن تتغير بدرجة ملموسة، بينما يكون اعتمادها على كل متغير منفرد ضئيلًا جدًا. وتكمن أهمية الحدسية في الحوسبة الكمومية في تعقيد الاستعلامات: أي عدد المرات التي تحتاج فيها الخوارزمية إلى الوصول إلى مدخلاتها. ووفقًا للنتيجة المعلنة، يمكن لخوارزمية كلاسيكية، في مسائل الإجابة بنعم أو لا وعلى معظم المدخلات العشوائية الموزعة بانتظام، أن تقرّب احتمال قبول خوارزمية كمومية من دون الحاجة إلى عدد أسيّ أكبر من مرات الوصول إلى المدخلات. 4
لكن هذا لا يعني أن الحواسيب الكلاسيكية تستطيع دائمًا محاكاة الحواسيب الكمومية بكفاءة من حيث زمن التنفيذ الكلي. فالحدّ المتعلق بعدد مرات قراءة المدخلات لا يحسم وحده مقدار الحسابات التي تجريها الخوارزمية بين كل قراءة وأخرى. كما أن النتيجة ليست ادعاءً عامًا بأن الحوسبة الكمومية بلا مزايا عملية. 4
16
ماذا يعني أن Lean قبلت البرهان؟
نشرت PSI ورقة رياضية وصياغة رسمية للبرهان بلغة Lean 4. وLean أداة مساعدة لإثبات النظريات؛ إذ تتحقق من أن الحجة المكتوبة بصيغة رسمية تتبع التعريفات والافتراضات المضمّنة فيها. كما يوثّق المستودع فحوصًا أُجريت استعدادًا للنشر. 10
21
41
يوفّر هذا التحقق دليلًا مهمًا على اتساق البرهان بصيغته الرسمية، لكنه لا يغني عن فحص ما إذا كانت الصياغة formalized تعكس الحدسية الأصلية بدقة. فالتحقق الآلي، وتفسير الخبراء للمحتوى الرياضي، ومراجعة الأقران في الدوريات، أمور مترابطة لكنها تجيب عن أسئلة مختلفة. لذا فالأدق وصف ما حدث بأنه ادعاء مهم مدعوم بصياغة رسمية علنية قابلة للفحص، لا نتيجة حُسمت كل جوانبها بمراجعة أكاديمية مستقلة. 15
41
وتثبت الملخصات المتاحة أن الشركة أعلنت عن البرهان ونشرت صيغته الرسمية، لكنها لا تشرح بما يكفي تفاصيل امتداد العمل السابق أو المسار التقني الذي اتبعه البرهان. لذلك لا يصح استنتاج هذه التفاصيل من الإعلان وحده.
ما الذي لا يزال بحاجة إلى تدقيق؟
لا يكشف الإعلان عن هوية النموذج المستخدم، أو مقدار مساهمة Anthropic، أو ما إذا كان باحثون من خارج الشركة قد أتموا مراجعة تفصيلية. والخطوة المهمة الآن هي أن يفحص مختصون مستقلون البرهان الرسمي، ويتحققوا من مطابقته للحدسية بصيغتها الأصلية. 6
15
والخلاصة المتوازنة: أعلنت PSI عن نتيجة لافتة ونشرت صياغة قابلة للتحقق آليًا، لكن التقييم المستقل يظل ضروريًا قبل اعتبار المسألة محسومة علميًا.
Studio Global AI
مواصلة البحث الخاص بك
تتضمن هذه الصفحة إجابة مدعومة بالمصدر يمكنك المتابعة داخل Studio Global.
يسأل الناس أيضا
ما هي الإجابة المختصرة على "هل ساعد نموذج من Anthropic في حل مسألة كمومية مفتوحة منذ 2008؟"؟
في 6 نوفمبر 2026، قالت شركة PSI إن نظامها البحثي، الذي استخدم نموذجًا غير معلن من Anthropic، وجد برهانًا لحدسية Aaronson–Ambainis المفتوحة منذ 2008.
ما هي النقاط الأساسية التي يجب التحقق منها أولاً؟
في 6 نوفمبر 2026، قالت شركة PSI إن نظامها البحثي، الذي استخدم نموذجًا غير معلن من Anthropic، وجد برهانًا لحدسية Aaronson–Ambainis المفتوحة منذ 2008. تتعلق الحدسية بعدد مرات وصول الخوارزميات الكمومية إلى مدخلاتها في معظم الحالات العشوائية، لا بحسم قدرة الحواسيب الكلاسيكية على محاكاة الكم أو نفي كل مزايا الحوسبة الكمومية.