當你使用研究級計算機代數工具包來解決2022年中國高考數學考試最難的問題時會發生什麼？一位語音和 NLP 博士嘗試了一下，愉快地將大學入學考試的頂石問題視為符號計算問題，讓機器完成繁重工作。

這個演示既是演示也是有趣的評論，介紹研究人員每天使用的數學工具——sympy 風格的符號引擎、數值求解器和快速指令——如何完全破解應該花一位天才高中生四十多分鐘用筆和紙解決的問題。甚至在最後還有一個小的手動錯誤供觀眾發現。如果你喜歡數學、工具和一點學術調皮的交集，這是從常見論文閱讀中休息五分鐘的有趣方式。