Author

M. Sienicki

h-index 2 View on Semantic Scholar

We have 1 of 18 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