Marijn Heule uses turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them.

A small British software startup called Spectral Compute Ltd. believes it has what it takes to break Nvidia Corp.’s stranglehold on artificial intelligence data centers after raising $6 million in ...