Met een flinke dosis logica en creativiteit laat wiskundestudent Lance Bakker zien hoe computers complexe wiskunde kunnen bewijzen. Zijn methode bewijst complexe formules zonder elke tussenstap uit te rekenen. Het leverde hem een nominatie op voor de Leiden Science Young Talent Award 2025.
