A computer registered the current largest prime in September, but such numbers are considered “discovered” only when a human notices.