当你把研究级计算机代数工具箱松开到2022年中国高考数学最难问题上时会发生什么？一位语音和NLP博士进行了尝试，愉快地将大学入学考试的顶石问题视为符号计算问题，让机器完成繁重工作。

这次演示既是演示，也是关于研究人员每天使用的数学工具——sympy 风格的符号引擎、数值求解器和快速脚本——如何彻底击败应该花一个天才高中生四十多分钟笔纸求解的问题的有趣评论。甚至还有一个小的人工错误供观众发现。如果你对数学、工具和学术趣味的交集感兴趣，这是一个从通常的论文阅读中轻松休息五分钟的好选择。