研究レベルのコンピュータ代数ツールキットを2022年の中国ガオカオ数学の最難問に活用するとどうなるでしょう？音声・NLP分野の博士がこれに挑戦し、大学入学試験の最終問題を記号計算問題として扱い、機械に重労働を任せています。

このデモンストレーションは、研究者が毎日使用する数学的ツール（sympyスタイルの記号エンジン、数値ソルバー、迅速なスクリプティング）が、才能のある高校生がペンと紙で40分以上かけて解くはずの問題をいかに簡単に解くことができるかについてのデモとユーモラスな論評です。終わり近くに見つけるべき小さな手作業のミスもあります。数学、ツール、そしてちょっとした学的いたずらの交差点に興味がある場合、これは通常の論文を読むことからの楽しい5分間の気分転換です。