{"id":"W2075099932","doi":"10.1080/10586458.2008.10129031","title":"Deciding Existence of Rational Points on Curves: An Experiment","year":2008,"lang":"en","type":"article","venue":"Experimental Mathematics","topic":"Algebraic Geometry and Number Theory","field":"Mathematics","cited_by":51,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada; Jacobs University; Universität Bremen","keywords":"Mathematics; Conjecture; Isomorphism (crystallography); Genus; Degree (music); Order (exchange); Riemann hypothesis; Pure mathematics; Polynomial; Combinatorics; Mathematical analysis","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.01261612,0.0009768324,0.001564767,0.0008441673,0.002892183,0.003694808,0.003211496,0.004132276,0.01244216],"category_scores_gemma":[0.06712568,0.0008552,0.001011029,0.00134896,0.005487536,0.01027173,0.004580376,0.005855559,0.00180667],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002224206,"about_ca_system_score_gemma":0.0018117,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001230803,"about_ca_topic_score_gemma":0.001169973,"domain_scores_codex":[0.9845525,0.006142989,0.0007648956,0.003396775,0.003928608,0.001214152],"domain_scores_gemma":[0.8755434,0.09648692,0.004076445,0.01710346,0.003988624,0.002801169],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.01941925,0.008343115,0.07200158,0.002452953,0.0008728733,0.001130824,0.005152362,0.03044915,0.137614,0.5099291,0.04489511,0.1677398],"study_design_scores_gemma":[0.003530554,0.008170514,0.01785112,0.0003528987,0.0003490229,0.001974764,0.003350477,0.2172145,0.208765,0.4622892,0.07566632,0.0004855718],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.935078,0.0008900712,0.03612979,0.005308308,0.0003906991,0.0003496222,0.001476563,0.0008164952,0.01956036],"genre_scores_gemma":[0.9546777,0.000312432,0.03804144,0.001067388,0.0001204573,0.0003379152,0.001849519,0.0002254479,0.003367775],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01261612,"threshold_uncertainty_score":0.06672126,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1010216165968963,"score_gpt":0.3522602393162075,"score_spread":0.2512386227193112,"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."}}