{"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0004064181,0.0002602815,0.0004109741,0.00009713841,0.000181924,0.000009902692,0.0003231023,0.00007475325,0.0009522387],"category_scores_gemma":[0.0002679256,0.0002354398,0.000129591,0.0001724494,0.000199414,0.0002195416,0.00008836693,0.0001194064,0.00008627731],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008231698,"about_ca_system_score_gemma":0.00004079482,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002437051,"about_ca_topic_score_gemma":2.085395e-7,"domain_scores_codex":[0.998105,0.00008935716,0.0006155208,0.0002825011,0.0006525398,0.0002550711],"domain_scores_gemma":[0.9984761,0.0004651287,0.0002877232,0.0005715548,0.00006460249,0.0001348588],"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.0001094495,0.006422484,0.00008836894,0.0005216423,0.0001064247,0.00004229924,0.02501193,0.000004641288,0.07304065,0.8905729,0.0040211,0.00005807823],"study_design_scores_gemma":[0.0006102019,0.0004854839,0.00004090293,0.0005508128,0.00001541253,0.0001481375,0.006279989,0.0001864956,0.8828461,0.1084661,0.00005472939,0.0003157153],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9837693,0.0004592008,0.001982646,0.0000484589,0.0001577634,0.0003799182,0.000009030067,0.00009793518,0.01309577],"genre_scores_gemma":[0.9171313,0.00002692318,0.08196852,0.0001986169,0.00005940451,0.00006101334,0.0000105325,0.00004202195,0.0005016836],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8098054,"threshold_uncertainty_score":0.999961,"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."}}