{"id":"arxiv/2610.22612","url":"https://arxiv.org/abs/2610.22612","tags":["math.LO"],"score":0,"title":"Proof Perplexity: A Probabilistic Approach to Measuring non-triviality in Machine Generated Proofs","domain":"math.LO","source":"arxiv","authors":["Madhuparna Das","Soumya Banerjee"],"reviews":0,"subject":"math.LO","summary":"In this article, we propose a benchmark to quantify the non-triviality and novelty of machine-generated mathematical proofs compared to existing literature. Our core methodology uses a probabilistic measure to evaluate the non-triviality of the underlying mathematical arguments in comparison to the current \\texttt{MATHLIB} library. Finally, we apply this benchmark to the recent proof generated by Claude on the complex zeros of the Riemann zeta function to test for non-trivial steps.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-15","reactions":{}}