It’s solving open problems in mathematics that stumped humans.