With a healthy dose of logic and creativity, mathematics student Lance Bakker shows how computers can prove complex mathematics. His method proves intricate formulas without calculating every intermediate step. It earned him a nomination for the Leiden Science Young Talent Award 2025.
