{"id":"W1918379444","doi":"10.1090/s0025-5718-00-01212-6","title":"Explicit primality criteria for (𝑝-1)𝑝ⁿ-1","year":2000,"lang":"en","type":"article","venue":"Mathematics of Computation","topic":"Analytic Number Theory Research","field":"Mathematics","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Manitoba; University of Waterloo","funders":"","keywords":"Primality test; Mathematics; Prime (order theory); Combinatorics; Modulo; Discrete mathematics; Lucas sequence; Polynomial","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001100039,0.0001387255,0.000364684,0.00007818072,0.00006955274,0.0000336592,0.0002164183,0.00006675427,0.0007756265],"category_scores_gemma":[0.0003813346,0.0001301092,0.0001294982,0.0001532644,0.00006091114,0.0001089567,0.00002975675,0.00006863333,0.00005754847],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003889745,"about_ca_system_score_gemma":0.00003677158,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004063288,"about_ca_topic_score_gemma":0.000001461572,"domain_scores_codex":[0.9985846,0.0000682677,0.0005874156,0.0001795338,0.0003560516,0.0002241629],"domain_scores_gemma":[0.9979231,0.001284555,0.0001871239,0.0003034227,0.0002411497,0.00006061347],"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.0002103859,0.001506813,0.00005998091,0.00426589,0.0002230638,0.000002703214,0.007395674,0.0002937102,0.003847877,0.9434566,0.009465303,0.02927201],"study_design_scores_gemma":[0.0005026318,0.00008175338,0.0000595598,0.0000855394,0.00004670223,0.000005912893,0.0002079951,0.07656677,0.002888086,0.9192117,0.000216142,0.0001271509],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5065827,0.000009929897,0.481191,0.0001346996,0.00002996119,0.0006476835,0.00001947283,0.00007589843,0.01130865],"genre_scores_gemma":[0.7001305,0.000002570454,0.2980094,0.00002081765,0.00005632143,0.00004805282,0.00001496967,0.0000355152,0.001681903],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1935477,"threshold_uncertainty_score":0.8492566,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1187154201909957,"score_gpt":0.4284869693753057,"score_spread":0.30977154918431,"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."}}