famous problems analytic number theory
Checked to Four Quintillion
Goldbach's conjecture has been confirmed for every even number up to 4×10¹⁸ and is still a conjecture. Number theory has an unusually exact account of what a checked range is evidence about, and it is not the length of the range.