{"paper":{"title":"Simple critical zeros and distinct zeros of the Riemann zeta-function in short intervals","arxiv_id":"2609.07918","primary_cat":"math.NT","submitted_at":"2026-09-07T19:30:23+00:00","version_compiled":"v1"},"notice":"Every quoted sentence is the authors' text from the arXiv listing abstract. Labels and probabilities are the outputs of classifier-1.13.0 on the question bank abstract-p1-20260923, exactly as returned. No sentence in this record was written by a language model.","schema":"pith.compiled-record/v0","status":"compiled","abstract":{"source":"arXiv listing abstract v1","sentences":[{"i":0,"p":1.0,"id":"s0","own":false,"role":"background","text":"Recently, on the non-trivial zeros of the Riemann zeta function, it is discovered by Claude and verified by Alp\\\"oge and Furman that more than 67.25% of the zeros are simple and on the critical line, and more than 83.62% are distinct.","hedge":{"p":1.0,"label":"asserted"},"own_p":0.03,"main_claim_p":0.09,"quantitative":true,"quantitative_p":0.99,"role_probabilities":{"gap":0.0,"method":0.0,"result":0.0,"background":1.0,"limitation":0.0,"future_work":0.0,"contribution":0.0,"interpretation":0.0}},{"i":1,"p":0.99,"id":"s1","own":false,"role":"background","text":"Later, Lamzouri gave a different and more direct proof.","hedge":{"p":1.0,"label":"asserted"},"own_p":0.03,"main_claim_p":0.02,"quantitative":false,"quantitative_p":0.1,"role_probabilities":{"gap":0.0,"method":0.01,"result":0.0,"background":0.99,"limitation":0.0,"future_work":0.0,"contribution":0.0,"interpretation":0.0}},{"i":2,"p":0.93,"id":"s2","own":true,"role":"contribution","text":"In this article, we will use the method of Lamzouri to give lower bounds on the number of the non-trivial zeros of the Riemann zeta function in short intervals.","hedge":{"p":0.92,"label":"asserted"},"own_p":0.71,"main_claim_p":0.08,"quantitative":false,"quantitative_p":0.1,"role_probabilities":{"gap":0.0,"method":0.07,"result":0.0,"background":0.0,"limitation":0.0,"future_work":0.0,"contribution":0.93,"interpretation":0.0}},{"i":3,"p":0.99,"id":"s3","own":true,"role":"method","text":"To prove the main result, we establish Montgomery's theorem on the pair correlation of zeros of the zeta function in short intervals by following the approach of Baluyot, Goldston, Suriajaya and Turnage-Butterbaugh, and then use Lamzouri's inequality on any finite multiset of complex numbers which is invariant under complex conjugation.","hedge":{"p":0.99,"label":"asserted"},"own_p":0.79,"main_claim_p":0.1,"quantitative":false,"quantitative_p":0.11,"role_probabilities":{"gap":0.0,"method":0.99,"result":0.0,"background":0.0,"limitation":0.0,"future_work":0.0,"contribution":0.01,"interpretation":0.0}}]},"compiled":{"main_claim":{"p":0.93,"text":"In this article, we will use the method of Lamzouri to give lower bounds on the number of the non-trivial zeros of the Riemann zeta function in short intervals.","location":"abstract s2","hedge_strength":{"p":0.92,"label":"asserted"}},"provenance":{"route":{"via":"TypeSafe API","model":"classifier-1.13.0","endpoint":"https://api.typesafe.ai/v1/systemone","provider":"TypeSafe"},"packing":"one request per paper","requests":1,"input_tokens":3789,"cost_usd_reported":0.0},"compiled_at":"2026-09-23","bank_version":"abstract-p1-20260923","model_version":"classifier-1.13.0","abstract_states":{"claims_first":0.04,"states_limitation":0.07,"human_participants":0.01,"controlled_comparison":0.02,"randomized_assignment":0.01,"states_quantitative_result":0.29,"compares_with_prior_results":0.66,"mentions_code_or_data_availability":0.02},"evidential_basis":{"p":0.99,"value":"proof or derivation","probabilities":{"argument":0.0,"literature":0.01,"proof_or_derivation":0.99,"analysis_of_existing_data":0.0,"observation_or_experiment":0.0,"simulation_or_computation":0.0}},"contribution_type":{"p":1.0,"value":"theoretical result","probabilities":{"review":0.0,"method_or_tool":0.0,"empirical_study":0.0,"simulation_study":0.0,"theoretical_result":1.0,"dataset_or_benchmark":0.0,"position_or_commentary":0.0}},"contribution_statement":{"p":0.91,"text":"In this article, we will use the method of Lamzouri to give lower bounds on the number of the non-trivial zeros of the Riemann zeta function in short intervals.","location":"abstract s2"}},"coverage":{"tier":"abstract","levels_run":["P abstract"],"not_examined":["full text","figures and tables","references and citing sentences","relations to other papers"],"sources_read":["arXiv listing abstract v1"],"levels_not_run":["S sections","T body sentences","C citations","R cross-paper relations"],"sentences_examined":4,"sentences_in_abstract":4},"measured_accuracy":{"url":"https://pith.science/accuracy","measured_on":"2026-10-02","method":"two independent model families labelled a fresh random sample blind; the figure is how often the published label matches their consensus","sentence_role_agreement":0.92,"main_claim_agreement":0.908,"typed_citation_agreement":0.933,"typed_citation_agreement_95_interval":[0.917,0.945],"review_comments_accurate":0.758,"review_comments_accurate_95_interval":[0.684,0.82],"review_caught_admitted_error_found_or_related":0.448}}