Did you know that assisted by computers , Marijn Heule helped devise a proof of Keller's conjecture in dimension seven, a 90-year-old math problem?