Johan Wästlund är fascinerad av bevis som inte går att räkna ut, forskar på artificiell matematik-intelligens och menar att all matte är begriplig om man bryter ner den i små beståndsdelar. Verapodden möter honom i Universeums lekfulla matematik-utställning som han har varit med och planerat. Där berättar Johan Wästlund hur det kommer sig att hans forskning har fått över 6,4 miljoner visningar på Youtube och varför han är bekymrad över konsekvenserna om ett visst projekt blir framgångsrikt.  Johan Wästlund är biträdande professor på avdelningen för analys och sannolikhetsteori på institutionen för matematiska vetenskaper. Institutionen drivs gemensamt av Chalmers och Göteborgs universitet. I poddavsnittet medverkar också Håkan Sigurdsson, Chalmersalum och Universeums vetenskaplige ledare. Länk till filmen som nämns i avsnittet.