Marijn Heule
... that assisted by computers, Marijn Heule helped devise a proof of Keller's conjecture in dimension seven, a 90-year-old math problem?
... that <a href="./Computer-assisted_proof" id="mwCNU" rel="mw:WikiLink" title="Computer-assisted proof">assisted by computers</a>, <b id="mwCNY"><a href="./Marijn_Heule" id="mwCNc" rel="mw:WikiLink" title="Marijn Heule">Marijn Heule</a></b> helped devise a proof of <a href="./Keller's_conjecture" id="mwCNg" rel="mw:WikiLink" title="Keller's conjecture">Keller's conjecture</a> in dimension seven, a 90-year-old math problem?