A new type of mathematics?

New discoveries expand the scope of computer-assisted proofs of theorems.