Tristan Buckmaster was on the path toward an important proof when one of the A.I. giants used its staggering resources to get there first.