{"id":"W2150932406","doi":"10.1090/s0025-5718-00-01234-5","title":"Computer verification of the Ankeny–Artin–Chowla Conjecture for all primes less than 100000000000","year":2000,"lang":"en","type":"article","venue":"Mathematics of Computation","topic":"Analytic Number Theory Research","field":"Mathematics","cited_by":30,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Manitoba","funders":"Australian Research Council; Centrum Wiskunde and Informatica; Natural Sciences and Engineering Research Council of Canada; Nederlandse Organisatie voor Wetenschappelijk Onderzoek; European Research Consortium for Informatics and Mathematics","keywords":"Conjecture; Mathematics; Combinatorics; Modulo; Prime (order theory); Bernoulli number; Assertion; Integer (computer science); Rational number; Discrete mathematics; Arithmetic; Computer science","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.00110653,0.0002673943,0.0005985004,0.0001205106,0.000119537,0.00004245083,0.0006203876,0.0001588235,0.0002016299],"category_scores_gemma":[0.0001957692,0.0002008619,0.0003053084,0.0003413506,0.0002717326,0.0001320242,0.00007473333,0.000178926,0.0000208393],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006140092,"about_ca_system_score_gemma":0.0001125699,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000016777,"about_ca_topic_score_gemma":0.00000808462,"domain_scores_codex":[0.997463,0.0001981546,0.001021434,0.0003047694,0.0006871145,0.0003254566],"domain_scores_gemma":[0.9965783,0.001581253,0.0006762054,0.0007032117,0.0003892291,0.00007180942],"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.0008805034,0.005380689,0.001881416,0.01134564,0.001887911,0.000004230686,0.04151405,0.02365834,0.01402117,0.7199799,0.0213725,0.1580737],"study_design_scores_gemma":[0.001660543,0.0002710742,0.001097931,0.0004605148,0.0002962862,0.00002300136,0.0005252732,0.1782889,0.03627416,0.7799981,0.0007197061,0.0003845492],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8208922,0.00004202606,0.1740191,0.0004537315,0.0001071087,0.001573151,0.0000531246,0.000078283,0.002781281],"genre_scores_gemma":[0.9146578,0.000008440093,0.08382893,0.00004191886,0.0000952203,0.00004778693,0.00002772189,0.00006193046,0.001230243],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1576891,"threshold_uncertainty_score":0.8190911,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05808456210056037,"score_gpt":0.3470531889874262,"score_spread":0.2889686268868658,"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."}}