{"paper":{"title":"The factorial separation conjecture","arxiv_id":"2610.25661","primary_cat":"math.NT","submitted_at":"2026-10-19T02:08:37+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":0.98,"id":"s0","own":true,"role":"contribution","text":"We propose the Factorial Separation Conjecture (FSC), a strict strengthening of earlier factorial gap conjectures: \\[ |n!-m^k|>n \\] for all integers $n\\ge8$ and $m,k\\ge2$.","hedge":{"p":0.85,"label":"speculative"},"own_p":0.78,"main_claim_p":0.38,"quantitative":true,"quantitative_p":0.99,"role_probabilities":{"gap":0.0,"method":0.0,"result":0.01,"background":0.01,"limitation":0.0,"future_work":0.0,"contribution":0.98,"interpretation":0.0}},{"i":1,"p":0.91,"id":"s1","own":false,"role":"interpretation","text":"The inequality excludes every displacement up to and including the factorial index.","hedge":{"p":0.99,"label":"asserted"},"own_p":0.29,"main_claim_p":0.08,"quantitative":false,"quantitative_p":0.49,"role_probabilities":{"gap":0.0,"method":0.0,"result":0.02,"background":0.03,"limitation":0.0,"future_work":0.0,"contribution":0.04,"interpretation":0.91}},{"i":2,"p":0.93,"id":"s2","own":true,"role":"result","text":"We prove the conjecture unconditionally for exponents divisible by three, for even exponents at least four, and for every exponent at least two when the largest prime divisor of the base is at most $n+2$.","hedge":{"p":1.0,"label":"asserted"},"own_p":0.94,"main_claim_p":0.24,"quantitative":true,"quantitative_p":0.95,"role_probabilities":{"gap":0.0,"method":0.0,"result":0.93,"background":0.0,"limitation":0.0,"future_work":0.0,"contribution":0.07,"interpretation":0.0}},{"i":3,"p":0.93,"id":"s3","own":true,"role":"result","text":"For exponents divisible by five, we prove the finite interval $8\\le n\\le1100$ and all sufficiently large indices, with an effective but uncomputed threshold.","hedge":{"p":1.0,"label":"asserted"},"own_p":0.94,"main_claim_p":0.08,"quantitative":true,"quantitative_p":0.98,"role_probabilities":{"gap":0.0,"method":0.0,"result":0.93,"background":0.0,"limitation":0.01,"future_work":0.0,"contribution":0.06,"interpretation":0.0}},{"i":4,"p":0.87,"id":"s4","own":true,"role":"result","text":"The conclusion for every $n\\ge8$ and every exponent divisible by five is proved under the Generalized Riemann Hypothesis (GRH) for a specified family of Dedekind zeta functions.","hedge":{"p":1.0,"label":"asserted"},"own_p":0.84,"main_claim_p":0.2,"quantitative":true,"quantitative_p":0.83,"role_probabilities":{"gap":0.0,"method":0.0,"result":0.87,"background":0.0,"limitation":0.04,"future_work":0.0,"contribution":0.09,"interpretation":0.0}},{"i":5,"p":0.95,"id":"s5","own":false,"role":"background","text":"Here GRH asserts that their nontrivial zeros have real part $1/2$.","hedge":{"p":0.98,"label":"asserted"},"own_p":0.11,"main_claim_p":0.02,"quantitative":true,"quantitative_p":0.93,"role_probabilities":{"gap":0.0,"method":0.01,"result":0.0,"background":0.95,"limitation":0.0,"future_work":0.0,"contribution":0.0,"interpretation":0.04}},{"i":6,"p":1.0,"id":"s6","own":true,"role":"method","text":"The arguments combine valuations, cyclotomic factorizations, cubic reciprocity, character estimates and explicit formulas.","hedge":{"p":1.0,"label":"asserted"},"own_p":0.81,"main_claim_p":0.03,"quantitative":false,"quantitative_p":0.04,"role_probabilities":{"gap":0.0,"method":1.0,"result":0.0,"background":0.0,"limitation":0.0,"future_work":0.0,"contribution":0.0,"interpretation":0.0}},{"i":7,"p":0.4,"id":"s7","own":true,"role":"method","text":"All finite comparisons are justified in the text.","hedge":{"p":1.0,"label":"asserted"},"own_p":0.76,"main_claim_p":0.03,"quantitative":false,"quantitative_p":0.06,"role_probabilities":{"gap":0.0,"method":0.4,"result":0.11,"background":0.01,"limitation":0.1,"future_work":0.0,"contribution":0.33,"interpretation":0.05}},{"i":8,"p":0.94,"id":"s8","own":false,"role":"limitation","text":"The general conjecture remains open.","hedge":{"p":0.98,"label":"asserted"},"own_p":0.35,"main_claim_p":0.23,"quantitative":false,"quantitative_p":0.04,"role_probabilities":{"gap":0.02,"method":0.0,"result":0.02,"background":0.0,"limitation":0.94,"future_work":0.02,"contribution":0.0,"interpretation":0.0}}]},"compiled":{"main_claim":{"p":0.56,"text":"The general conjecture remains open.","location":"abstract s8","hedge_strength":{"p":0.98,"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":6888,"cost_usd_reported":0.0},"compiled_at":"2026-10-20","bank_version":"abstract-p1-20260923","model_version":"classifier-1.13.0","abstract_states":{"claims_first":0.07,"states_limitation":0.95,"human_participants":0.01,"controlled_comparison":0.02,"randomized_assignment":0.01,"states_quantitative_result":0.96,"compares_with_prior_results":0.79,"mentions_code_or_data_availability":0.02},"evidential_basis":{"p":1.0,"value":"proof or derivation","probabilities":{"argument":0.0,"literature":0.0,"proof_or_derivation":1.0,"analysis_of_existing_data":0.0,"observation_or_experiment":0.0,"simulation_or_computation":0.0}},"contribution_type":{"p":0.99,"value":"theoretical result","probabilities":{"review":0.0,"method_or_tool":0.0,"empirical_study":0.0,"simulation_study":0.0,"theoretical_result":0.99,"dataset_or_benchmark":0.0,"position_or_commentary":0.01}},"contribution_statement":{"p":0.64,"text":"We prove the conjecture unconditionally for exponents divisible by three, for even exponents at least four, and for every exponent at least two when the largest prime divisor of the base is at most $n+2$.","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":9,"sentences_in_abstract":9},"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}}