{"id":"W7102496730","doi":"10.5281/zenodo.17488075","title":"Rigorous Proof that 196 is a Lychrel Number: Modular Obstructions and Computational Certification","year":2025,"lang":"en","type":"preprint","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Modular design; Modulo; Mathematical proof; Algebraic number; Computational complexity theory; Algebra over a field; Proof assistant; Lift (data mining); Invariant (physics)","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001509391,0.0005015047,0.0006575653,0.001091093,0.001542961,0.002449313,0.0008274403,0.0006940888,0.01679409],"category_scores_gemma":[0.008692968,0.0003180484,0.001169241,0.0004920963,0.005048975,0.004902581,0.003922891,0.002798066,0.002084328],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001619778,"about_ca_system_score_gemma":0.001611143,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009546289,"about_ca_topic_score_gemma":0.0006839167,"domain_scores_codex":[0.9983816,0.0003048033,0.00006885642,0.000311595,0.000621257,0.0003117597],"domain_scores_gemma":[0.9966439,0.001446352,0.0002894989,0.0007345416,0.0006319952,0.0002537157],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0000448779,0.00001629547,0.0005550405,0.00004633066,0.000005246445,0.00009870931,0.0001582003,0.002660752,0.001876159,0.9882264,0.001629181,0.004682838],"study_design_scores_gemma":[0.00003473931,0.00005816941,0.000631666,0.00004010179,0.00001099098,0.0002239138,0.00014593,0.01996141,0.006344165,0.9608771,0.01163544,0.00003626528],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3536381,0.0004285371,0.4880575,0.003442271,0.0004314765,0.000212676,0.0006909358,0.00163134,0.1514671],"genre_scores_gemma":[0.95154,0.0001559438,0.0342043,0.0002993646,0.0001035325,0.00009415651,0.0003097208,0.0003031662,0.01298982],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01679409,"threshold_uncertainty_score":0.05618179,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04026560844451629,"score_gpt":0.2564458483170466,"score_spread":0.2161802398725303,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}