ألفا جيومتري

📅 آخر تحديث: ٢٤ يوليو ٢٠٢٦
✍️ نُشر في: ٢٤ يوليو ٢٠٢٦
الموسوعة الحرة

ألفا جيومتري هو برنامج ذكاء اصطناعي قادر على حلّ مسائل معقدة في الهندسة الإقليدية . يتألف النظام من نموذج لغوي ضخم قائم على البيانات ومحرك رمزي قائم على القواعد ( الاستدلال الحسابي لقاعدة البيانات الاستنتاجية ) . طُوّر البرنامج بواسطة ديب مايند ، وهي شركة تابعة لشركة جوجل . حلّ البرنامج 25 مسألة هندسية من أصل 30 مسألة في أولمبياد الرياضيات الدولي (IMO) ضمن حدود الوقت المحدد للمسابقة، وهو أداء يُضاهي تقريبًا أداء الفائزين بالميدالية الذهبية من البشر. للمقارنة، تمكّن برنامج الذكاء الاصطناعي السابق، المسمى طريقة وو ، من حلّ 10 مسائل فقط. [ 1 ] [ 2 ]

نشرت شركة ديب مايند ورقة بحثية حول ألفا جيومتري في مجلة نيتشر المحكمة بتاريخ 17 يناير 2024. [ 3 ] كما تم تسليط الضوء على ألفا جيومتري في مجلة إم آي تي ​​تكنولوجي ريفيو في اليوم نفسه. [ 4 ]

تعتمد برامج الهندسة التقليدية على محركات رمزية تعتمد كليًا على قواعد مُبرمجة يدويًا لتوليد براهين دقيقة، مما يجعلها تفتقر إلى المرونة في الحالات غير المألوفة. يجمع برنامج AlphaGeometry بين هذا المحرك الرمزي ونموذج لغوي كبير متخصص مُدرَّب على بيانات اصطناعية لبراهين هندسية. عندما يعجز المحرك الرمزي عن إيجاد برهان رسمي ودقيق بمفرده، فإنه يستعين بالنموذج اللغوي الكبير الذي يقترح بنية هندسية للمضي قدمًا. مع ذلك، يبقى مدى قابلية تطبيق هذه الطريقة على مجالات أخرى من الرياضيات أو الاستدلال غير واضح، نظرًا لاعتماد المحركات الرمزية على قواعد خاصة بكل مجال، وللحاجة إلى بيانات اصطناعية. [ 5 ]

ألفا جيومتري 2

يُعدّ AlphaGeometry 2 نسخةً مُحسّنة من AlphaGeometry، وقد نُشر في 5 فبراير 2025. أُضيفت إليه ميزاتٌ جديدة إلى لغة التمثيل لوصف مسائل هندسية أكثر شمولًا تتضمن حركات الأجسام، ومسائل تحتوي على معادلات خطية للزوايا والنسب والمسافات. استهدف هذا الإصدار أسئلة الهندسة في أولمبياد الرياضيات الدولي (IMO) من عام 2000 إلى عام 2024. وقد مكّنته لغة التمثيل المُوسّعة من تغطية 88% من الأسئلة. [ 6 ] [ 7 ] [ 8 ]

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

انظر أيضاً

مراجع

  1. ↑ "ألفا جيومتري: نظام ذكاء اصطناعي على مستوى الأولمبياد في الهندسة" . ديب مايند . تم الاطلاع عليه بتاريخ 26 يناير 2024 .
  2. ↑ روبرتس، سيوبان (17 يناير 2024). "أحدث تحديات الذكاء الاصطناعي: أولمبياد الرياضيات" . صحيفة نيويورك تايمز . تم الاطلاع عليه بتاريخ 26 يناير 2024 .
  3. ↑ ترينه، تريو هـ.؛ وو، يوهواي؛ لي، كوك ف.؛ هي، هي؛ لونغ، ثانغ (2024). "حل مسائل الهندسة الأولمبية دون عروض توضيحية بشرية" . مجلة نيتشر . 625 (7995): 476-482 . Bibcode : 2024Natur.625..476T . doi : 10.1038/s41586-023-06747-5 . PMC 10794143. PMID 38233616 .  
  4. ↑ "نظام الذكاء الاصطناعي الجديد من جوجل ديب مايند قادر على حل مسائل هندسية معقدة" . مجلة إم آي تي ​​للتكنولوجيا . تاريخ الاطلاع: 26 يناير 2024 .
  5. ↑ ضياء، تحسين (24 يناير 2024). "ألفا جيومتري: الذكاء الاصطناعي من ديب مايند يتقن مسائل الهندسة على مستوى الأولمبياد" . Unite.ai . تاريخ الاسترجاع: 3 مايو 2024 .
  6. ↑ "الذكاء الاصطناعي يحقق معيار الميدالية الفضية في حل مسائل أولمبياد الرياضيات الدولي" . ديب مايند . تم الاطلاع عليه بتاريخ 15 أغسطس 2024 .
  7. ↑ كاستلفيكي، دافيد (2025-02-07). "ذكاء ديب مايند الاصطناعي يتفوق على أفضل المحللين البشريين في حل مسائل الرياضيات المعقدة" . مجلة نيتشر . 638 (8051): 589. Bibcode : 2025Natur.638..589C . doi : 10.1038/d41586-025-00406-7 . ISSN 1476-4687 . PMID 39920450 .  
  8. 1 2 تشيرفوني، يوري؛ ترينه، تريو هـ.؛ أولشاك، ميروسلاف؛ يانغ، شياومينغ؛ نغوين، هوانغ؛ مينغالي، مارسيلو؛ جونغ، جونيهيوك؛ فيرما، فيكاس؛ لي، كوك ف.؛ لونغ، ثانغ (2025). "أداءٌ حائزٌ على الميدالية الذهبية في حلّ مسائل الهندسة الأولمبية باستخدام AlphaGeometry2". arXiv : 2502.03544 [ cs.AI ].