في العام الماضي، تصدرت شركة Google DeepMind عناوين الأخبار بسبب بناء نظام ذكاء اصطناعي حقق معيار الميدالية الفضية في حل المشكلات التي حلت بالأولمبياد الدولي للرياضيات (IMO) في ذلك العام، وهي مسابقة مرموقة لعلماء الرياضيات الشباب تقام سنويًا. وكانت هذه هي المرة الأولى التي يؤدي فيها مثل هذا النظام مستوى يستحق الميدالية في حل تحديات المنظمة البحرية الدولية. الآن، أكتب طبيعة، هيوبرت وآخرون.¹ قم بالإبلاغ عن تفاصيل التكنولوجيا الأساسية وراء هذا الإنجاز: أداة تسمى AlphaProof، والتي تم تصميمها لإثبات البيانات الرياضية.