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.

© Graham Dickie for The New York Times