- أظهرت Google التقدم الذي أحرزته أنظمة الذكاء الاصطناعي الجديدة AlphaProof وAlphaGeometry 2 في حل المسائل الرياضية المعقدة، مما أظهر إمكانات الذكاء الاصطناعي في التفكير الرياضي من خلال حل عدة مسائل في أولمبياد الرياضيات الدولي 2024.
- على الرغم من أن هذه الأنظمة تجاوزت الحد الزمني للمسابقة لحل بعض المسائل، إلا أن أداءها يمثل أحدث إنجاز للذكاء الاصطناعي في الرياضيات.
رأينا
Google، عبر قسمها للذكاء الاصطناعي DeepMind، قدمت نظامي ذكاء اصطناعي جديدين، AlphaProof وAlphaGeometry 2، أحرزا تقدماً كبيراً في حل مسائل رياضية معقدة، خاصة في أولمبياد الرياضيات الدولي 2024. أظهرت هذه الأنظمة قدراتها في التفكير الرياضي وحل المشكلات من خلال الجمع بين تقنيات مختلفة، مثل نمذجة اللغة وأنظمة الذكاء الاصطناعي التي تفوقت بالفعل على البشر في ألعاب الطاولة.
-راي لي، صحفي BTW
ما حدث
كشفت Google عن نظامي ذكاء اصطناعي مبتكرين، AlphaProof وAlphaGeometry 2، حققا تقدماً كبيراً في حل التحديات الرياضية المعقدة. أظهرت هذه الأنظمة براعتها في أولمبياد الرياضيات الدولي 2024، حيث نجح AlphaProof في حل ثلاث مسائل من أصل أربع، بما في ذلك الأصعب، بينما تعامل AlphaGeometry 2 مع المسألة المتبقية.
من خلال دمج نماذج اللغة مع أنظمة الذكاء الاصطناعي التي تجاوزت بالفعل أداء البشر في الألعاب الاستراتيجية، أظهرت هذه الأنظمة قدرتها على التفكير الرياضي وحل المشكلات.
AlphaProof، على وجه الخصوص، تم تطويره من خلال دمج نسخة من نموذج اللغة Gemini لـ DeepMind معAlphaZero. لم يُظهر AlphaProof مهارات تفكير قوية فحسب، بل حل أيضاً أصعب مسألة في المسابقة. أما AlphaGeometry 2، فركز على التحديات الهندسية، مما أظهر تنوع الذكاء الاصطناعي في مختلف مجالات الرياضيات.
اقرأ أيضًا:Apple Maps يصبح قائمًا على الويب، متحديًا Google بميزات جديدة
اقرأ أيضًا:Zuckerberg يهدف لمنافسة OpenAI وGoogle بنموذجه الجديد Llama
لماذا هذا مهم
أظهرت تقنية الذكاء الاصطناعي من Google التقدم الذي أحرزته أنظمتها المطورة حديثًا AlphaProof وAlphaGeometry 2 في حل المسائل الرياضية المعقدة. وهذا يظهر إمكانات الذكاء الاصطناعي في التفكير الرياضي.
على الرغم من وقت الحل الأطول من قيود المسابقة بالنسبة لبعض الحلول، فإن أداء AlphaProof يبرز الإمكانات الكبيرة للذكاء الاصطناعي في مهام التفكير المجرد والمنطقي. تقدم هذه التطورات آفاقًا جديدة حول دور الذكاء الاصطناعي في الرياضيات وتعد بتطبيقات أوسع في التعليم والبحث والصناعة.

