هجوم الذكاء الاصطناعي على المجموعات الخالية من المتتاليات الحسابية: سجل لما تعثّر

TL;DR. عمل مساعد ذكاء اصطناعي على مسألتين تتعلقان بالمجموعات الخالية من المتتاليات الحسابية: حجة لمسألة مجموع المقلوبات، وحد شبه كثير حدود لكل طول متتالية ثابت. استند إلى نتيجة بلوم وسيساسك...

النقاط الرئيسية

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

أكثر ما يمكن أن يخبرك به برهان غير مكتمل هو تحديداً أين ينكسر، وهذا البرهان ينكسر في نحو اثني عشر موضعاً محدداً.

ملخص تنفيذي

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

خط الأساس هو نتيجة بلوم وسيساسك لمجموع المقلوبات ثلاثي الحدود. إن تضاؤل الكثافة النوعي وحده لا يوفر قابلية الجمع التي تحتاجها الحجة.

جُرّبت مقاربات عديدة: مجموعات محيطة منظمة، ومحاذاة الترددات المتزامنة، وتوطئات العد المتناثر، وتنعيم كروت-سيساسك، والرفع والتكرار، والزوايا، والإنتروبيا عند المقياس p = log M. وواجهت كل مقاربة عائقاً مصرحاً به.

تُرك الحساب النهائي غير مكتمل، دون توطئة تقييد أو مبدأ عد متناثر.

بالنسبة للمؤسسين والقادة التقنيين، يكمن الدرس في المنهج: سجل الإخفاقات المسماة هو مخرج أكثر موثوقية من مسودة واثقة المظهر.

مهمتان، ولم يُدَّعَ إنجاز سوى واحدة منهما #

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

لا يبدأ المساعد من الصفر؛ بل يتخذ من نتيجة بلوم وسيساسك لمجموع المقلوبات ثلاثي الحدود خط أساس. وكل ما يلي ذلك هو محاولة لتجاوز خط الأساس هذا، إما نحو متتاليات أطول أو نحو صياغة كمية أقوى. وتُحدَّد الرموز مبكراً: لكل k، يمثل r_k(N) أكبر حجم لمجموعة جزئية من {1, ..., N} خالية من أي متتالية حسابية غير تافهة بطول k. والمجموعة A ذات الكثافة α = |A|/N هي موضوع الدراسة، والدالة المطبَّعة هي f = 1_A/α.

هذا التطبيع يقود معظم ما يأتي لاحقاً. عرّف μ = 1_A/α بحيث يكون E[μ] = 1، وضع M = α^-1. عندئذٍ يكون التناثر اللوغاريتمي هو p = log(1/α)، وهو نفسه log M. وكلما زاد تناثر المجموعة، كبرت قيمتا M و p. وكل عائق مذكور أدناه هو، بشكل أو بآخر، توصيف لما يحدث عندما ينمو هذا التناثر.

تضاؤل الكثافة ليس هو نفسه قابلية الجمع #

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

أحد المخارج المغرية هو علاقة رجوع (recurrence). تشير الملاحظات إلى أن علاقة رجوع قوية بما يكفي للكثافات الحدية الخالية من المتتاليات قد تمنح قابلية الجمع عبر مقاييس أسية. هذه الجملة مصاغة بتحفظ، ويجب أن تبقى كذلك؛ فهي تصف ما يمكن أن تفعله علاقة رجوع افتراضية قوية، لكنها لا تثبت وجودها.

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

الاحتفاظ بالبنية، ولماذا لا تتعمم حالة الحدود الثلاثة #

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

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

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

محاذاة الترددات مرة واحدة بدلاً من مرات عديدة #

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

ثم تذكر الملاحظة ما لا يزال مفقوداً: سيتعين استرداد S_h من الترددات ذات الارتباطات الكبيرة، على الأقل exp(-poly)‎. ويظل هذا متطلباً لا نتيجة. والارتباطات التي يجري تنظيمها هي ارتباطات جداءات الأزواج f(x)f(x + h)‎، مع f = 1_A/α و α = |A|/N.

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

الأجزاء الفارغة النادرة وتكلفة الملء التكيفي #

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

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

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

استعارة آليات العد المتناثر، واكتشاف أن الجزء المستعار لم يكن كافياً #

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

فيما يتعلق بتكثيف كونلون-فوكس-جاو (Conlon-Fox-Zhao)، وجد المساعد أنه يعتمد على تقديرات الصيغ الخطية ثنائية الجانب. وهذا أمر جوهري لأن الإطار هنا يمتلك بنية حد أعلى وليس بنية ثنائية الجانب؛ فالطريقة المبنية على التحكم ثنائي الجانب لا تكون متاحة عندما يُعرف جانب واحد فقط.

أما توطئة عد الرسوم البيانية المتناثرة لفيلموس وحاتمي وحسيني وكيلمان (Filmus, Hatami, Hosseini, Kelman) فقد وفرت النموذج لعزوم الشبكة غير المتماثلة وعدم التوازن موجب شبه التحديد. وهكذا عملت كقالب، لا كمبرهنة جاهزة للتطبيق المباشر. ومع ذلك، عادت الصعوبة نفسها: اصطدمت الحدود العليا وحدها مراراً وتكراراً بفجوات متناثرة. وثمة تعقيد إضافي يجعل قراءة عزوم الشبكة أمراً صعباً: فالعزوم الشبكية الممركزة الكبيرة قد تعكس كتلة مفقودة بدلاً من تركز نحو الأعلى. يبدو العزم الكبير كدليل على التركز، لكنه قد ينشأ بالقدر نفسه عن كتلة غير موجودة. هذا الالتباس هو نفسه مشكلة الفجوات المتناثرة منظوراً إليها من جهة العزوم.

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

التنعيم كان باهظ التكلفة بحيث يتعذر تطبيقه #

يُعد تنعيم كروت-سيساسك (Croot-Sisask) مساراً قياسياً لتنظيم المجموعة قبل العد. درس المساعد هذا المسار ووجد أن الدقة المطلوبة مكلفة للغاية في التطبيق المقترح. لم تكن الطريقة خاطئة، بل تجاوز ثمنها ما تستطيع الحجة دفعه.

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

ثم جرى النظر في مقاربة الثنائية التقريبية لبن ساسون-رون-زيفي (Ben-Sasson-Ron-Zewi)، ووجد المساعد أن التكرار المزمع يفقد الكثير من الناحية الكمية. هذا هو الحكم نفسه الذي انتهت إليه محاولة الرفع، وقد تم التوصل إليه من اتجاه مختلف، مما يوحي بأن المشكلة تكمن في التكرار ذاته لا في بناء بعينه. سأحتفظ بهذا كملاحظة حول النمط، لا كتشخيص مبرهن.

سطر واحد من التفاؤل، والحساب الذي قوّضه #

يحتوي السجل على لحظة من التقدم الظاهري؛ إذ يؤكد النص المقتبس من المساعد أن تقلبات درجة الجداءات تُعالَج بدقة كثيرة حدود، مع علامة تعجب. وهو تأكيد متحفظ، نُقل كما كتبه المساعد.

ثم لاحظ المساعد المشكلة الكامنة فيه: يمكن للمفكوكات ذات الإشارة (signed expansions) أن تمتلك كتلة مطلقة من الرتبة 2^p، مما يطغى على الدقة كثيرة الحدود. تذكر أن p = log M؛ فالدقة كثيرة الحدود في M هدف متواضع، بينما المفكوك ذو الإشارة الذي يمتلك كتلة من الرتبة 2^p أكبر منها أسياً. الدقة حقيقية، لكن الاختزال الذي تعتمد عليه لا يستطيع استيعاب هذا القدر من الكتلة.

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

الزوايا والصناديق لا تتجمع لتشكيل متتاليات أطول #

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

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

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

الانتقال إلى الإنتروبيا عند المقياس p = log M #

مع انسداد مسارات العد المباشرة، اتجه البحث نحو الإنتروبيا عند المقياس p = log M، بالاستناد إلى استخدام كيلي-ميكا (Kelley-Meka) للعزوم العليا. إن اختيار المقياس ليس اعتباطياً: فالمقدار p = log M هو بالضبط التناثر اللوغاريتمي المعرَّف في البداية.

يقترح النص المقتبس من المساعد استخدام الإنتروبيا بدلاً من L2 من خلال عدم السلبية وتفكك الترددات (تشانغ - Chang). هذا مقترح وليس نتيجة. ويقوم التعليل على أن μ = 1_A/α غير سالبة، وأن تفكك تشانغ يمنح بنية على جانب الترددات، لذا قد تؤدي الإنتروبيا العمل الذي تعجز عنه كمية في L2.

لكي ينجح ذلك، احتاج المساعد إلى مدخل تحليلي محدد؛ إذ سعى المساعد إلى تقدير تقييد فورييه (Fourier restriction estimate) بالصيغة ||g_hat||_q = O(1) لدالة محدودة g وقيمة ثابتة q > 2، تحت حدود عليا محلية مناسبة. كان هذا هدفاً، ولم يتم إثباته.

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

الحساب الذي اقترب أكثر من غيره #

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

لكنه يفشل في عبور عتبة الأس ثلاثة المطلوبة لحجة العد المقترحة. تشير مقتطفات المساعد إلى حد l3 ضعيف ناتج عن الالتفاف والقص (cap)، وإلى الحاجة إلى أس أفضل بصرامة (أقل من 3) من أجل الاستيفاء (interpolation). وبعبارة بسيطة، يهبط الحساب تماماً على الجانب الخاطئ من الخط؛ فالحد عند الأس ثلاثة لا يكفي، ويحتاج الاستيفاء إلى شيء أفضل بصرامة.

من المغري قراءة اقتراب كهذا على أنه "وشيك التحقق"، لكنني أقاوم هذه القراءة. لا يذكر السجل مدى بعد الحساب عن العتبة، والفجوة التي تبلغ أساً واحداً قد تظل هي المشكلة بأكملها. ما يقوله السجل فعلاً هو أن المساعد ترك الحساب غير مكتمل، دون اشتقاق توطئة التقييد أو مبدأ العد المتناثر. هاتان القطعتان المفقودتان هما الدَّين المفتوح للمشروع.

ما قيمة هذا السجل #

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

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

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

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

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

الأسئلة الشائعة #

ما المسألتان الرياضيتان اللتان بحثهما مساعد الذكاء الاصطناعي?

عمل المساعد على مهمتين مترابطتين تتعلقان بالمجموعات الخالية من المتتاليات الحسابية: تطوير حجة لمسألة مجموع المقلوبات، والسعي إلى إيجاد حد شبه كثير حدود لكل طول متتالية ثابت k. وفي حين أنه استخدم نتيجة بلوم وسيساسك لمجموع المقلوبات ثلاثي الحدود كخط أساس، فإن الحد شبه كثير الحدود لأطوال المتتاليات الاختيارية لم يتحقق.

لماذا فشلت حدود الكثافة العليا في إنتاج توطئة العد المطلوبة?

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

أين تعثّر الحساب النهائي?

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

المراجع #

Thomas F. Bloom and Olof Sisask, (2020). Breaking the logarithmic barrier in Roth's theorem on arithmetic progressions ⧉. arXiv.
Zander Kelley and Raghu Meka, (2023). Strong Bounds for 3-Progressions ⧉. arXiv.
David Conlon, Jacob Fox, and Yufei Zhao, (2014). A relative Szemerédi theorem ⧉. Geometric and Functional Analysis.
Ernie Croot and Olof Sisask, (2010). A probabilistic technique for finding almost-periods of convolutions ⧉. Geometric and Functional Analysis.

آخر مراجعة 2026-11-01.

إعادة نشر هذا المقال

هجوم الذكاء الاصطناعي على المجموعات الخالية من المتتاليات الحسابية: سجل لما تعثّر — Sebastien Rousseau

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

هذا المقال مرخص بموجب Creative Commons Attribution 4.0 International. تتطلب إعادة النشر الإسناد إلى عنوان URL الأساسي.

هجوم الذكاء الاصطناعي على المجموعات الخالية من المتتاليات الحسابية: سجل لما تعثّر — Sebastien Rousseau

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

Originally published at https://sebastienrousseau.com/ar/2026-10-24-hjwm-aldhaka-alistinai-lam-jmwaat-alkhalya/ by Sebastien Rousseau.
Licensed under CC-BY-4.0.

SEBASTIEN ROUSSEAU FOUNDER · ENGINEER