60 وكيل ذكاء اصطناعي يحرزون تقدمًا في مسألة رياضية عمرها 150 عامًا خلال يوم ونصف
رفع نموذج أبحاث غير مُصدر من أنثروبيك الحد الأدنى المُثبت لنسبة أصفار دالة زيتا لريمان التي تحقق الفرضية من 41.6% إلى 67.2%، وهي أكبر قفزة منفردة على الإطلاق. تمت مراجعة النتيجة والتحقق منها من قبل اثنين من علماء الرياضيات في أنثروبيك، ثم تمت صياغتها رسميًا في نظام (Lean) لإنتاج شهادة صحة قابلة للفحساب الآلي.
نشر بواسطةتم التحرير باستخدام DeepSeek-V4-Flashتم إنشاء الصور باستخدام GPT Image 1.5
رفع نموذج أبحاث غير مُصدر من أنثروبيك الحد الأدنى المُثبت لنسبة أصفار دالة زيتا لريمان التي تحقق الفرضية من 41.6% إلى 67.2%، وهي أكبر قفزة منفردة على الإطلاق.
تمت مراجعة النتيجة والتحقق منها من قبل اثنين من علماء الرياضيات في أنثروبيك، ثم تمت صياغتها رسميًا في نظام (Lean) لإنتاج شهادة صحة قابلة للفحساب الآلي.
يأتي هذا الإنجاز ضمن سلسلة من breakthroughs عام 2026 من OpenAI وDeepMind وأنثروبيك، مما أثار إعلان (لايدن) لوضع معايير جديدة للنسب والتأليف والإشراف البشري.
What progress did an unreleased Anthropic model make on the Riemann hypothesis, and how does this achievement—including the model's autonomoAnthropic's unreleased Claude model improved the Riemann zeta bound from 41.6% to 67.2% using 60 coordinated subagents and over 31 million tokens of autonomous computation. (Image: GPT-4o)
موجّه الذكاء الاصطناعي
Create a landscape editorial hero image for this Studio Global article: What progress did an unreleased Anthropic model make on the Riemann hypothesis, and how does this achievement—including the model's autonomo. Article summary: Let me search for information on this topicLet me search for the broader context of AI mathematical breakthroughs in 2026 and the debates around authorship and standards## What the Anthropic model achieved. Topic tags: general, general web, user generated, academic, news. 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 f
openai.com
في 10-11 أغسطس 2026، أعلنت أنثروبيك أن نسخة أبحاث غير مُصدرة من نموذجها كلود (Claude) حققت تقدمًا كبيرًا في مسألة مرتبطة بفرضية ريمان . رفع النموذج حدًا أدنى قديمًا لنسبة الأصفار غير البديهية لدالة زيتا لريمان التي تقع على الخط الحرج — من 41.6% إلى 67.2%. هذا هو أكبر تحسن منفرد يُسجل على الإطلاق لهذا الحد . لم النموذج فرضية ريمان نفسها (التي تظل واحدة من مسائل الألفية السبع لجمعية كلاي بجائزة مليون دولار)، لكن النتيجة هي مبرهنة حقيقية في نظرية الأعداد التحليلية .
Studio Global AI
مواصلة البحث الخاص بك
تتضمن هذه الصفحة إجابة مدعومة بالمصدر يمكنك المتابعة داخل Studio Global.
ما هي الإجابة المختصرة على "60 وكيل ذكاء اصطناعي يحرزون تقدمًا في مسألة رياضية عمرها 150 عامًا خلال يوم ونصف"؟
رفع نموذج أبحاث غير مُصدر من أنثروبيك الحد الأدنى المُثبت لنسبة أصفار دالة زيتا لريمان التي تحقق الفرضية من 41.6% إلى 67.2%، وهي أكبر قفزة منفردة على الإطلاق.
ما هي النقاط الأساسية التي يجب التحقق منها أولاً؟
رفع نموذج أبحاث غير مُصدر من أنثروبيك الحد الأدنى المُثبت لنسبة أصفار دالة زيتا لريمان التي تحقق الفرضية من 41.6% إلى 67.2%، وهي أكبر قفزة منفردة على الإطلاق. تمت مراجعة النتيجة والتحقق منها من قبل اثنين من علماء الرياضيات في أنثروبيك، ثم تمت صياغتها رسميًا في نظام (Lean) لإنتاج شهادة صحة قابلة للفحساب الآلي.
ماذا يجب أن أفعل بعد ذلك في الممارسة العملية؟
يأتي هذا الإنجاز ضمن سلسلة من breakthroughs عام 2026 من OpenAI وDeepMind وأنثروبيك، مما أثار إعلان (لايدن) لوضع معايير جديدة للنسب والتأليف والإشراف البشري.
60 وكيل ذكاء اصطناعي يحرزون تقدمًا في مسألة رياضية عمرها 150 عامًا خلال يوم ونصف
رفع نموذج أبحاث غير مُصدر من أنثروبيك الحد الأدنى المُثبت لنسبة أصفار دالة زيتا لريمان التي تحقق الفرضية من 41.6% إلى 67.2%، وهي أكبر قفزة منفردة على الإطلاق. تمت مراجعة النتيجة والتحقق منها من قبل اثنين من علماء الرياضيات في أنثروبيك، ثم تمت صياغتها رسميًا في نظام (Lean) لإنتاج شهادة صحة قابلة للفحساب الآلي.
نشر بواسطةتم التحرير باستخدام DeepSeek-V4-Flashتم إنشاء الصور باستخدام GPT Image 1.5
رفع نموذج أبحاث غير مُصدر من أنثروبيك الحد الأدنى المُثبت لنسبة أصفار دالة زيتا لريمان التي تحقق الفرضية من 41.6% إلى 67.2%، وهي أكبر قفزة منفردة على الإطلاق.
تمت مراجعة النتيجة والتحقق منها من قبل اثنين من علماء الرياضيات في أنثروبيك، ثم تمت صياغتها رسميًا في نظام (Lean) لإنتاج شهادة صحة قابلة للفحساب الآلي.
يأتي هذا الإنجاز ضمن سلسلة من breakthroughs عام 2026 من OpenAI وDeepMind وأنثروبيك، مما أثار إعلان (لايدن) لوضع معايير جديدة للنسب والتأليف والإشراف البشري.
What progress did an unreleased Anthropic model make on the Riemann hypothesis, and how does this achievement—including the model's autonomoAnthropic's unreleased Claude model improved the Riemann zeta bound from 41.6% to 67.2% using 60 coordinated subagents and over 31 million tokens of autonomous computation. (Image: GPT-4o)
موجّه الذكاء الاصطناعي
Create a landscape editorial hero image for this Studio Global article: What progress did an unreleased Anthropic model make on the Riemann hypothesis, and how does this achievement—including the model's autonomo. Article summary: Let me search for information on this topicLet me search for the broader context of AI mathematical breakthroughs in 2026 and the debates around authorship and standards## What the Anthropic model achieved. Topic tags: general, general web, user generated, academic, news. 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 f
openai.com
في 10-11 أغسطس 2026، أعلنت أنثروبيك أن نسخة أبحاث غير مُصدرة من نموذجها كلود (Claude) حققت تقدمًا كبيرًا في مسألة مرتبطة بفرضية ريمان . رفع النموذج حدًا أدنى قديمًا لنسبة الأصفار غير البديهية لدالة زيتا لريمان التي تقع على الخط الحرج — من 41.6% إلى 67.2%. هذا هو أكبر تحسن منفرد يُسجل على الإطلاق لهذا الحد . لم النموذج فرضية ريمان نفسها (التي تظل واحدة من مسائل الألفية السبع لجمعية كلاي بجائزة مليون دولار)، لكن النتيجة هي مبرهنة حقيقية في نظرية الأعداد التحليلية .
Studio Global AI
مواصلة البحث الخاص بك
تتضمن هذه الصفحة إجابة مدعومة بالمصدر يمكنك المتابعة داخل Studio Global.
ما هي الإجابة المختصرة على "60 وكيل ذكاء اصطناعي يحرزون تقدمًا في مسألة رياضية عمرها 150 عامًا خلال يوم ونصف"؟
رفع نموذج أبحاث غير مُصدر من أنثروبيك الحد الأدنى المُثبت لنسبة أصفار دالة زيتا لريمان التي تحقق الفرضية من 41.6% إلى 67.2%، وهي أكبر قفزة منفردة على الإطلاق.
ما هي النقاط الأساسية التي يجب التحقق منها أولاً؟
رفع نموذج أبحاث غير مُصدر من أنثروبيك الحد الأدنى المُثبت لنسبة أصفار دالة زيتا لريمان التي تحقق الفرضية من 41.6% إلى 67.2%، وهي أكبر قفزة منفردة على الإطلاق. تمت مراجعة النتيجة والتحقق منها من قبل اثنين من علماء الرياضيات في أنثروبيك، ثم تمت صياغتها رسميًا في نظام (Lean) لإنتاج شهادة صحة قابلة للفحساب الآلي.
ماذا يجب أن أفعل بعد ذلك في الممارسة العملية؟
يأتي هذا الإنجاز ضمن سلسلة من breakthroughs عام 2026 من OpenAI وDeepMind وأنثروبيك، مما أثار إعلان (لايدن) لوضع معايير جديدة للنسب والتأليف والإشراف البشري.
تبع الإنجاز سير عمل مذهل متعدد الوكلاء أذهل حتى الباحثين في أنثروبيك:
طلب موظف في أنثروبيك ليس لديه خلفية رياضية جادة من النموذج "أن يأخذ محاولة جادة" لإثبات الفرضية .
على مدار حوالي 1.5 يوم، اختبر النموذج ما يقرب من 650 نهجًا مرشحًا عبر 60 وكيلًا فرعيًا منسقًا.
استهلكت الجلسة 31 مليون رمز (token) مخرج عبر جلستين، ونفذت 2400 أمر شل (shell command)، وراجعت 54 ورقة بحثية من arXiv.
كان اثنان من الوكلاء الـ60 مسؤولين عن تطوير الاختراق الرياضي الرئيسي .
النهج الرابح جمع بين ورقة بحثية من عام 2000 لإينريكو بومبيري مع نتائج أحدث — وهو مزيج لم يجمعه أي باحث بشري من قبل .
التحقق: طبقتان من الإثبات
قام اثنان من علماء الرياضيات داخل الشركة — ليفينت ألبوغي ورالف فورمانياك — بمراجعة الإثبات وتأكيده . بعد ذلك، تمت صياغة الحجة رسميًا في (Lean)، وهو برنامج تفاعلي لإثبات النظريات، مما أنتج شهادة صحة قابلة للفحص آليًا . يُعتبر هذا التحقق المزدوج (مراجعة الخبراء البشر + التحقق الرسمي) أفضل ممارسة معترف بها للأدلة على النتائج الرياضية المُنتجة بالذكاء الاصطناعي.
نقطة تحول: 2026 كعام عبر فيه الذكاء الاصطناعي إلى أبحاث المسائل المفتوحة
تحسين حد ريمان بواسطة كلود ليس حدثًا منعزلاً. شهد عام 2026 سلسلة متسارعة من الاختراقات الرياضية بقيادة الذكاء الاصطناعي:
مايو 2026 — أعلنت OpenAI أن نموذج استدلال عام غير مُصدر دحض بشكل مستقل حدسية مسافة الوحدة لإردوس، وهي مسألة مفتوحة عمرها 80 عامًا .
مايو 2026 — قام نظام AlphaProof Nexus من Google DeepMind بحل تسع مسائل مفتوحة لإردوس (بعضها لم يُحل لمدة 56 عامًا) وأثبت 44 حدسية من موسوعة التسلسلات الصحيحة على الإنترنت (OEIS)، وكلها صيغت في (Lean) .
يوليو 2026 — استخدم عالم الرياضيات في أنثروبيك ليفينت ألبوغي النموذج غير المُصدر "Fable 5" لإيجاد مثال مضاد لـ حدسية جاكوبي، وهي مسألة طرحت عام 1939 .
أغسطس 2026 — أفيد أن نموذج Astra من OpenAI حل عشر مسائل رياضية عمرها عقود بتكلفة حوسبة تقدر بحوالي 2000 دولار، مع نشر براهين قابلة للفحص آليًا في (Lean) على GitHub .
لاحظ العديد من المعلقين أن المجال عبر عتبة في منتصف عام 2026: انتقلت أنظمة الذكاء الاصطناعي من حل الرياضيات على مستوى المسابقات إلى توليد أبحاث قابلة للنشر على مستوى المسائل المفتوحة .
في يونيو 2026، نشرت مجموعة من 16 عالم رياضيات إعلان لايدن بشأن الذكاء الاصطناعي والرياضيات، الذي يوصي بمعايير جديدة لهيكل الإثبات، ونسب التأليف، والإشراف البشري على النتائج المُنتجة بالذكاء الاصطناعي . تمت مناقشة الإعلان منذ ذلك الحين من قبل الاتحاد الدولي للرياضيات .
تشمل التوترات الرئيسية: من يحصل على تأليف عندما يولد الذكاء الاصطناعي إثباتًا؟ هل يمكن للمجال الحفاظ على الثقة المعرفية إذا كانت البراهين طويلة جدًا أو جديدة جدًا بحيث لا يستطيع البشر فحصها بالكامل بدون أدوات رسمية؟ وكيف ينبغي للمجلات مراجعة النظراء لنتائج لا يمكن لأي إنسان بمفرده أن ينتجها ؟
يجادل بعض علماء الرياضيات بأن البراهين المدعومة بالذكاء الاصطناعي تخاطر بتآكل الفهم والرؤية التفسيرية — قد يكون الإثبات صحيحًا لكنه غير شفاف . ويرى آخرون أن التحقق الرسمي في (Lean) يوفر معيارًا أكثر صرامة من مراجعة النظراء التقليدية .
ماذا يعني هذا لقدرة الذكاء الاصطناعي على اكتشاف علوم جديدة
تقدم نتيجة ريمان من أنثروبيك النقاش بعدة طرق ملموسة:
1. حجم الاستكشاف المستقل مهم.
إظهار اختبار 650 فكرة عبر 60 وكيلًا فرعيًا يثبت أن البنى متعددة الوكلاء يمكنها إجراء بحث منهجي على نطاق لا يمكن لأي مجموعة بحثية بشرية مضاهاته في نفس الإطار الزمني . هذا يحول السؤال من "هل يمكن للذكاء الاصطناعي أن يقوم بالرياضيات؟" إلى "كيف ينبغي لنا دمج الاستكشاف الواسع بالذكاء الاصطناعي في خط أنابيب الاكتشاف العلمي؟"
2. التركيب الصدفي ممكن.
حقيقة أن نموذجًا بدون تدريب رياضي جمع بين ورقة بومبيري (2000) ونتائج أحدث — وهو مزيج لم يره أي إنسان من قبل — يُظهر أن الذكاء الاصطناعي يمكنه إجراء روابط مفاهيمية غير واضحة عبر آداب متباينة . هذه القدرة تعالج مباشرة قلقًا أساسيًا حول ما إذا كانت نماذج اللغة الكبيرة (LLMs) تقوم فقط بالاستيفاء أم يمكنها الاكتشاف الحقيقي.
3. التحقق الرسمي يحل مشكلة الثقة.
تعني الصياغة في (Lean) أن النتيجة ليست ادعاء من "صندوق أسود". إنها مبرهنة صحيحة بشكل قابل للإثبات يمكن لأي عالم رياضيات فحصها آليًا . هذا يقدم قالبًا لكيفية جعل النتائج العلمية المُنتجة بالذكاء الاصطناعي قابلة للتحقق، ومعالجة أحد أقوى الاعتراضات على الاكتشاف بقيادة الذكاء الاصطناعي.
4. النقاش حول التأليف والمعايير بناء وليس مشلولًا.
الظهور المتزامن لنتائج مذهلة (ديب مايند، أوبن إيه آي، أنثروبيك) واستجابات مؤسسية يقودها المجتمع (إعلان لايدن) يشير إلى أن المجتمع الرياضي يتكيف بدلاً من الانسحاب. يدور النقاش الحالي حول الأعراف والائتمان، وليس حول رفض مخرجات الذكاء الاصطناعي بالجملة.
5. تكلفة وسرعة الاكتشاف تنهاران.
تكلفة الحوسبة البالغة 2000 دولار لنتائج أسترا من أوبن إيه آي وفترة الـ36 ساعة لحد ريمان لكلود تشير إلى أن التكلفة الحدية لاكتشاف رياضي قابل للنشر تقترب من الصفر. هذا له آثار عميقة على الأسئلة التي يختار الباحثون متابعتها ومن يمكنه المشاركة في البحث الرياضي.
الخلاصة
تحسين حد ريمان من أنثروبيك هو عرض بارز على أن أنظمة الذكاء الاصطناعي يمكنها الآن اكتشاف نتائج رياضية قابلة للنشر وقابلة للتحقق رسميًا بشكل مستقل والتي تقدم تقدمًا في مسألة مفتوحة عمرها 150 عامًا. بالاقتران مع سلسلة الاختراقات المماثلة في عام 2026، فإنه ينقل النقاش من "ما إذا كان الذكاء الاصطناعي يمكنه المساهمة في الاكتشاف العلمي" إلى "كيف ينبغي للمجتمع العلمي هيكلة الحوافز، والنسب، والتحقق لفئة جديدة من المشاركين في الاكتشاف من الذكاء الاصطناعي."
clauding.de
An Unreleased Anthropic Model Made Real Progress on ... - Clauding
تبع الإنجاز سير عمل مذهل متعدد الوكلاء أذهل حتى الباحثين في أنثروبيك:
طلب موظف في أنثروبيك ليس لديه خلفية رياضية جادة من النموذج "أن يأخذ محاولة جادة" لإثبات الفرضية .
على مدار حوالي 1.5 يوم، اختبر النموذج ما يقرب من 650 نهجًا مرشحًا عبر 60 وكيلًا فرعيًا منسقًا.
استهلكت الجلسة 31 مليون رمز (token) مخرج عبر جلستين، ونفذت 2400 أمر شل (shell command)، وراجعت 54 ورقة بحثية من arXiv.
كان اثنان من الوكلاء الـ60 مسؤولين عن تطوير الاختراق الرياضي الرئيسي .
النهج الرابح جمع بين ورقة بحثية من عام 2000 لإينريكو بومبيري مع نتائج أحدث — وهو مزيج لم يجمعه أي باحث بشري من قبل .
التحقق: طبقتان من الإثبات
قام اثنان من علماء الرياضيات داخل الشركة — ليفينت ألبوغي ورالف فورمانياك — بمراجعة الإثبات وتأكيده . بعد ذلك، تمت صياغة الحجة رسميًا في (Lean)، وهو برنامج تفاعلي لإثبات النظريات، مما أنتج شهادة صحة قابلة للفحص آليًا . يُعتبر هذا التحقق المزدوج (مراجعة الخبراء البشر + التحقق الرسمي) أفضل ممارسة معترف بها للأدلة على النتائج الرياضية المُنتجة بالذكاء الاصطناعي.
نقطة تحول: 2026 كعام عبر فيه الذكاء الاصطناعي إلى أبحاث المسائل المفتوحة
تحسين حد ريمان بواسطة كلود ليس حدثًا منعزلاً. شهد عام 2026 سلسلة متسارعة من الاختراقات الرياضية بقيادة الذكاء الاصطناعي:
مايو 2026 — أعلنت OpenAI أن نموذج استدلال عام غير مُصدر دحض بشكل مستقل حدسية مسافة الوحدة لإردوس، وهي مسألة مفتوحة عمرها 80 عامًا .
مايو 2026 — قام نظام AlphaProof Nexus من Google DeepMind بحل تسع مسائل مفتوحة لإردوس (بعضها لم يُحل لمدة 56 عامًا) وأثبت 44 حدسية من موسوعة التسلسلات الصحيحة على الإنترنت (OEIS)، وكلها صيغت في (Lean) .
يوليو 2026 — استخدم عالم الرياضيات في أنثروبيك ليفينت ألبوغي النموذج غير المُصدر "Fable 5" لإيجاد مثال مضاد لـ حدسية جاكوبي، وهي مسألة طرحت عام 1939 .
أغسطس 2026 — أفيد أن نموذج Astra من OpenAI حل عشر مسائل رياضية عمرها عقود بتكلفة حوسبة تقدر بحوالي 2000 دولار، مع نشر براهين قابلة للفحص آليًا في (Lean) على GitHub .
لاحظ العديد من المعلقين أن المجال عبر عتبة في منتصف عام 2026: انتقلت أنظمة الذكاء الاصطناعي من حل الرياضيات على مستوى المسابقات إلى توليد أبحاث قابلة للنشر على مستوى المسائل المفتوحة .
في يونيو 2026، نشرت مجموعة من 16 عالم رياضيات إعلان لايدن بشأن الذكاء الاصطناعي والرياضيات، الذي يوصي بمعايير جديدة لهيكل الإثبات، ونسب التأليف، والإشراف البشري على النتائج المُنتجة بالذكاء الاصطناعي . تمت مناقشة الإعلان منذ ذلك الحين من قبل الاتحاد الدولي للرياضيات .
تشمل التوترات الرئيسية: من يحصل على تأليف عندما يولد الذكاء الاصطناعي إثباتًا؟ هل يمكن للمجال الحفاظ على الثقة المعرفية إذا كانت البراهين طويلة جدًا أو جديدة جدًا بحيث لا يستطيع البشر فحصها بالكامل بدون أدوات رسمية؟ وكيف ينبغي للمجلات مراجعة النظراء لنتائج لا يمكن لأي إنسان بمفرده أن ينتجها ؟
يجادل بعض علماء الرياضيات بأن البراهين المدعومة بالذكاء الاصطناعي تخاطر بتآكل الفهم والرؤية التفسيرية — قد يكون الإثبات صحيحًا لكنه غير شفاف . ويرى آخرون أن التحقق الرسمي في (Lean) يوفر معيارًا أكثر صرامة من مراجعة النظراء التقليدية .
ماذا يعني هذا لقدرة الذكاء الاصطناعي على اكتشاف علوم جديدة
تقدم نتيجة ريمان من أنثروبيك النقاش بعدة طرق ملموسة:
1. حجم الاستكشاف المستقل مهم.
إظهار اختبار 650 فكرة عبر 60 وكيلًا فرعيًا يثبت أن البنى متعددة الوكلاء يمكنها إجراء بحث منهجي على نطاق لا يمكن لأي مجموعة بحثية بشرية مضاهاته في نفس الإطار الزمني . هذا يحول السؤال من "هل يمكن للذكاء الاصطناعي أن يقوم بالرياضيات؟" إلى "كيف ينبغي لنا دمج الاستكشاف الواسع بالذكاء الاصطناعي في خط أنابيب الاكتشاف العلمي؟"
2. التركيب الصدفي ممكن.
حقيقة أن نموذجًا بدون تدريب رياضي جمع بين ورقة بومبيري (2000) ونتائج أحدث — وهو مزيج لم يره أي إنسان من قبل — يُظهر أن الذكاء الاصطناعي يمكنه إجراء روابط مفاهيمية غير واضحة عبر آداب متباينة . هذه القدرة تعالج مباشرة قلقًا أساسيًا حول ما إذا كانت نماذج اللغة الكبيرة (LLMs) تقوم فقط بالاستيفاء أم يمكنها الاكتشاف الحقيقي.
3. التحقق الرسمي يحل مشكلة الثقة.
تعني الصياغة في (Lean) أن النتيجة ليست ادعاء من "صندوق أسود". إنها مبرهنة صحيحة بشكل قابل للإثبات يمكن لأي عالم رياضيات فحصها آليًا . هذا يقدم قالبًا لكيفية جعل النتائج العلمية المُنتجة بالذكاء الاصطناعي قابلة للتحقق، ومعالجة أحد أقوى الاعتراضات على الاكتشاف بقيادة الذكاء الاصطناعي.
4. النقاش حول التأليف والمعايير بناء وليس مشلولًا.
الظهور المتزامن لنتائج مذهلة (ديب مايند، أوبن إيه آي، أنثروبيك) واستجابات مؤسسية يقودها المجتمع (إعلان لايدن) يشير إلى أن المجتمع الرياضي يتكيف بدلاً من الانسحاب. يدور النقاش الحالي حول الأعراف والائتمان، وليس حول رفض مخرجات الذكاء الاصطناعي بالجملة.
5. تكلفة وسرعة الاكتشاف تنهاران.
تكلفة الحوسبة البالغة 2000 دولار لنتائج أسترا من أوبن إيه آي وفترة الـ36 ساعة لحد ريمان لكلود تشير إلى أن التكلفة الحدية لاكتشاف رياضي قابل للنشر تقترب من الصفر. هذا له آثار عميقة على الأسئلة التي يختار الباحثون متابعتها ومن يمكنه المشاركة في البحث الرياضي.
الخلاصة
تحسين حد ريمان من أنثروبيك هو عرض بارز على أن أنظمة الذكاء الاصطناعي يمكنها الآن اكتشاف نتائج رياضية قابلة للنشر وقابلة للتحقق رسميًا بشكل مستقل والتي تقدم تقدمًا في مسألة مفتوحة عمرها 150 عامًا. بالاقتران مع سلسلة الاختراقات المماثلة في عام 2026، فإنه ينقل النقاش من "ما إذا كان الذكاء الاصطناعي يمكنه المساهمة في الاكتشاف العلمي" إلى "كيف ينبغي للمجتمع العلمي هيكلة الحوافز، والنسب، والتحقق لفئة جديدة من المشاركين في الاكتشاف من الذكاء الاصطناعي."
clauding.de
An Unreleased Anthropic Model Made Real Progress on ... - Clauding
