{"id":"W3037248523","doi":"10.1090/mcom/3616","title":"Strengthening the Baillie-PSW primality test","year":2021,"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 Lethbridge","funders":"Natural Sciences and Engineering Research Council of Canada; University of Lethbridge","keywords":"Primality test; Fermat's Last Theorem; Prime (order theory); Test (biology); Mathematics; Arithmetic; Discrete mathematics; Computer science; Combinatorics","routes":{"ca_aff":true,"ca_fund":true,"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.001380566,0.0001346167,0.000302343,0.00004933543,0.000121171,0.00005731156,0.0002590476,0.00005581675,0.0001698006],"category_scores_gemma":[0.003433157,0.00009899166,0.0001166792,0.0003349897,0.0001306499,0.00007815674,0.0001500357,0.0001787205,0.00004243408],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004143065,"about_ca_system_score_gemma":0.0001108451,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003343476,"about_ca_topic_score_gemma":0.000006542376,"domain_scores_codex":[0.9982494,0.0001478665,0.0006191413,0.0001771103,0.0005999149,0.0002066358],"domain_scores_gemma":[0.9934419,0.005264909,0.000324821,0.0004597467,0.0004595526,0.00004900293],"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.0000149742,0.001530257,0.001168497,0.001696603,0.000261377,0.0000207876,0.0124553,0.0007820018,0.005107801,0.9652858,0.003323208,0.008353415],"study_design_scores_gemma":[0.0002961859,0.00003137679,0.000253373,0.0001282872,0.00007329137,0.00002996267,0.002245096,0.05798909,0.01108463,0.9276285,0.0001138982,0.0001263238],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5754342,0.00007228427,0.4026796,0.0007611944,0.00007286489,0.0003572952,0.00001494978,0.00009682123,0.02051082],"genre_scores_gemma":[0.8861545,0.000004634196,0.1128183,0.00002525809,0.00004740552,0.000008873177,0.00000935768,0.00002730052,0.0009043055],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3107203,"threshold_uncertainty_score":0.4110058,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07095565971968469,"score_gpt":0.3657131861768396,"score_spread":0.2947575264571549,"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."}}