What happens when you turn a research-grade computer algebra toolkit loose on the hardest problem of the 2022 Chinese gaokao math exam? A speech-and-NLP PhD gives it a shot, cheerfully treating the college-entrance capstone question as a symbolic computation problem and letting the machine do the heavy lifting.

The run-through is part demo, part playful commentary on how mathematical tooling that researchers use every day, sympy-style symbolic engines, numerical solvers, and quick scripting, absolutely dismantles problems that are supposed to take a talented high-schooler forty-plus minutes with pen and paper. There's even a small manual slip near the end for viewers to spot. If you're into the intersection of math, tooling, and a bit of academic mischief, this one's a fun five-minute break from your usual paper reading.