يعمل نظام Google DeepMind AI على حل المشكلات الهندسية مثل الرياضيات الأولمبية

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

<ص> ال نظام، مُسَمًّى هندسة ألفا, مجموع اثنين مختلف اقتراب: أ عصبي لغة نموذج ان يولد حدسي أفكار، و أ رمزي المستقطع محرك ان التحقق هم باستعمال رسمي منطق و قواعد. ال لغة نموذج شرق قاعدة على ال حتى تكنولوجيا ان القوى أن جوجل بحث محرك و طبيعي لغة تفهم أنظمة. ال المستقطع محرك شرق مستوحاه بواسطة أ طريقة مصممة بواسطة ال صينى رياضياتي ون تسون وو في 1978.

<ص> ال الباحثين تم اختباره هندسة ألفا على 30 هندسة مشاكل منذ ال المنظمة البحرية الدولية, أيّ نكون يعتبر صعب حتى ل خبير علماء الرياضيات. ال نظام تم الحل 25 مشاكل في ال معيار وقت حد ل 4.5 ساعات، المقابلة ل ال متوسط نتيجة ل بشر ذهب الحائزين على الميداليات على ال حتى مشاكل. ال سابق أفضل نظام، قاعدة على وو طريقة، تم الحل فقط عشرة المشاكل.

في أن جوجل تحليل مقارن معاً ل 30 الأولمبياد هندسة مشاكل، هندسة ألفا تم الحل 25 مشاكل أقل مسابقة وقت حدود. (صورة ائتمان: جوجل العقل العميق)

ال نتائج، نشرت اليوم في طبيعة، يشير الى ان منظمة العفو الدولية يمكن سبب منطقيا و يكتشف جديد رياضي المعرفة.

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

<ص> الى يغلب هؤلاء التحديات, ال الباحثين متطور أ رواية رمزي عصبي يقترب ان العتلات ال نقاط القوة ل الاثنين عصبي الشبكات و رمزي أنظمة. عصبية الشبكات نكون حسن الى تعرف أنماط و تكهن التالي لا، لكن هم غالبا ما لكى يفعل أخطاء أو عدم وجود تفسيرات. رمزي أنظمة, على ال آخر يُسلِّم، نكون قاعدة على رسمي منطق و حازم قواعد، أيّ يسمح هم الى صحيح و يبرر ال عصبي من الشبكة القرارات.

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

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

<ص> ال الباحثين يأمل ان هُم نظام، أيّ هم يمتلك مفتوح المصدر, إرادة يلهم ابعد بحث و تطبيقات في الرياضيات، علم، و منظمة العفو الدولية. هم أيضا تعرف ال حدود و التحديات ل هُم عمل، هذه مثل ال يحتاج ل...