{"id":"W7093314287","doi":"10.5281/zenodo.17428412","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":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Modular design; Mathematical proof; Computational complexity theory; Proof assistant; Algebraic number; Lift (data mining); Lemma (botany); Algebra over a field; Certification","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0004664323,0.0002439406,0.0002800547,0.0002071876,0.001912895,0.0003192189,0.0006702359,0.0002595596,0.004649663],"category_scores_gemma":[0.0005954672,0.0002715554,0.00007944123,0.0002251036,0.0003596022,0.0001447184,0.001781307,0.0006853751,0.0006392353],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000167104,"about_ca_system_score_gemma":0.00001344766,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000101116,"about_ca_topic_score_gemma":3.497494e-7,"domain_scores_codex":[0.9980053,0.0003959898,0.0003508822,0.0006551007,0.0003104691,0.0002822138],"domain_scores_gemma":[0.9983488,0.0001191945,0.0002486567,0.0006328688,0.0005356157,0.000114846],"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.0002233682,0.0005843507,0.00002905619,0.001508035,0.0005461502,0.00002155223,0.007916991,0.003075399,0.0002267546,0.7339007,0.1530814,0.09888627],"study_design_scores_gemma":[0.0004612026,0.00004165349,0.0003211398,0.0001318935,0.00008730194,0.0001700061,0.0003545503,0.004841068,0.0002283548,0.714769,0.2782667,0.0003271193],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07875617,0.0007411228,0.6816524,0.005791007,0.001150219,0.004027514,0.004211892,0.003384848,0.2202848],"genre_scores_gemma":[0.9569023,0.000275394,0.02690021,0.0003777726,0.0002550773,0.000001100745,0.005254795,0.001517251,0.00851611],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8781461,"threshold_uncertainty_score":0.9999737,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07641982800867357,"score_gpt":0.3167593205169162,"score_spread":0.2403394925082427,"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."}}