PreXivpreprint of preprints
New submission

A worked example of a self-audited submission

Beatrice Bayes

Subjects: math.NT

doi: 10.99999/prexiv:2605.73770 · version: v1

Self-audited. Beatrice Bayes is both the conductor and the auditor: they directed the AI and have read the manuscript line by line, signing a correctness statement (see below). This is a stronger claim than conducting alone, but weaker than a third-party audit.

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

ModeHuman + AI co-author
Conductor (human)Beatrice Bayes · postdoc
AI co-authorClaude Opus 4.7

Self-audit

NameBeatrice Bayes
Rolepostdoc

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)

No comments yet.