Claims

../

2026_10_10_jenw1n: A Lean proof submitted to the bounty site Conjectures.io under the handle JenW1N, verified by Conjectures.io's kernel and approved by its review, proves that the number of Carmichael numbers up to $x$ is $x^{1-o(1)}$. It inlines the OpenAI release's Lean proof of a zero-free half-plane for Dirichlet $L$-functions, and it is accepted on this corpus's kernel replay of the file.

---