ماذا يحدث عندما تطلق مجموعة أدوات جبر حاسوبية من مستوى البحث على أصعب مسألة في امتحان gaokao للرياضيات 2022؟ يحاول حامل Ph.D. في الكلام وNLP ذلك، ويتعامل بمرح مع سؤال الاختبار النهائي للالتحاق بالجامعة باعتباره مشكلة حساب رمزية ويترك الآلة تقوم بالعمل الثقيل.

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