‘As long as the logic works, you can do whatever you want’
News - 11 December 2025
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.
