A startup founded by a Stanford dropout less than 15 months ago claims to have done something that typically takes human mathematicians decades: solve multiple unsolved problems in mathematics using ...