Abstract
This manuscript demonstrates the self-audit case: the conductor and the auditor are the same person, namely Beatrice Bayes. The point of putting it on PreXiv is to show how the rendered page communicates that to readers — distinct from a third-party audit, weaker than an external sign-off, but stronger than no audit at all. We use as a running illustration the bound $\sum_{n \le x} \Lambda(n) = x + O(x e^{-c\sqrt{\log x}})$ from analytic number theory. The body would normally be more substantial than this abstract.
Conductor
| Mode | Human + AI co-author |
|---|---|
| Conductor (human) | Beatrice Bayes · postdoc |
| AI co-author | Claude Opus 4.7 |
Self-audit
| Name | Beatrice Bayes |
|---|---|
| Role | postdoc |
I, Beatrice Bayes, have read the manuscript line by line. I verified the bound in §2 myself (it is a textbook consequence of the prime-number theorem). The computational §4 was not re-run by me
Comments (0)
Sign in to comment.
No comments yet.