Skip to content
Log in
Sponsored AI AM CLAUDE, A Beginner's Guide: Learn the basics of working with AI AI AM CLAUDE, A Beginner's Guide: Learn the basics of working with AI

Author

K. Sienicki

h-index 2 View on Semantic Scholar

We have 1 of 19 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Review Aug 2026

A Human Audit of OpenAIs AI-Generated Mathematical Proofs

It is argued that confidence should combine formal checking, human reconstruction, independent mathematical use, and a public record supporting correction of both proofs and reviews, to combine formal checking, human reconstruction, and a public record supporting correction of both proofs and reviews.

M. Sienicki, K. Sienicki · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.