{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002249319,0.0008133631,0.0009864833,0.0007631344,0.00134709,0.002649387,0.001189942,0.001020545,0.01698338],"category_scores_gemma":[0.01539784,0.0004062531,0.001252514,0.0007563294,0.002574991,0.004380417,0.002462722,0.00189659,0.002630221],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002036148,"about_ca_system_score_gemma":0.002580915,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003809197,"about_ca_topic_score_gemma":0.004077077,"domain_scores_codex":[0.9976664,0.0005856249,0.0001416777,0.0006026344,0.0006506345,0.0003531065],"domain_scores_gemma":[0.9912856,0.005859477,0.000441145,0.001413975,0.0008075566,0.0001921809],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.002124578,0.0001891301,0.00742057,0.000749109,0.0001706267,0.0005876209,0.001026888,0.06587695,0.01203953,0.7975606,0.04142483,0.07082952],"study_design_scores_gemma":[0.0003002992,0.0001753529,0.001798342,0.0001201468,0.00007874056,0.0001821904,0.0002246265,0.1590553,0.0175653,0.8012301,0.01918509,0.00008451561],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6361504,0.00113639,0.1893211,0.00700723,0.000895944,0.0001279868,0.003058932,0.008321704,0.1539803],"genre_scores_gemma":[0.9611309,0.0001947587,0.02305136,0.0004513527,0.0001632601,0.00008356813,0.001917883,0.0005262422,0.01248069],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01698338,"threshold_uncertainty_score":0.05681509,"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."}}