{"schema":"vela.problem-packet.v0.1","problem":1057,"statement":"Let $C(x)$ count the number of Carmichael numbers in the interval $[1,x]$. Is it true that $C(x)=x^{1-o(1)}$?","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A006931","name":"Least Carmichael number with n prime factors, or 0 if no such number exists.","terms":"561,41041,825265,321197185,5394826801,232250619601,9746347772161,1436697831295441,60977817398996785,7156857700403137441,","url":"https://oeis.org/A006931"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}