{"id":"W2963063319","doi":"10.1090/tran/7075","title":"As easy as ℚ: Hilbert’s Tenth Problem for subrings of the rationals and number fields","year":2016,"lang":"en","type":"article","venue":"Transactions of the American Mathematical Society","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; City University of New York; American Institute of Mathematics; National Science Foundation","keywords":"Mathematics; Rational number; Combinatorics; Recursively enumerable language; Prime (order theory); Discrete mathematics; Turing","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003276999,0.000117155,0.0002614121,0.000008416921,0.000156197,0.0000229914,0.0007229321,0.00003933416,0.0000717892],"category_scores_gemma":[0.0001010758,0.00005683324,0.0004047173,0.0002906138,0.0007056746,0.0001320035,0.0000891634,0.00009030152,0.000006063637],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003552149,"about_ca_system_score_gemma":0.00008083181,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000870188,"about_ca_topic_score_gemma":0.000004366122,"domain_scores_codex":[0.9988996,0.00006781995,0.0003160741,0.0002305976,0.0003080949,0.0001777819],"domain_scores_gemma":[0.9980123,0.00101232,0.0002230493,0.0005731537,0.0001262036,0.00005297447],"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.0001052604,0.003398849,0.005289158,0.00135611,0.001163377,4.347533e-7,0.01845001,0.001101507,0.01664178,0.745573,0.00347458,0.203446],"study_design_scores_gemma":[0.000791708,0.0003008042,0.00644579,0.0001759486,0.0001174508,0.00005905111,0.0003364927,0.0265379,0.01618116,0.9480526,0.0006908583,0.0003101741],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08303659,0.000006936642,0.9032052,0.01254286,0.00004784384,0.0004767623,0.000009756519,0.00003306167,0.0006409506],"genre_scores_gemma":[0.871406,0.0000111521,0.1272936,0.0003306198,0.00001487048,0.00005222448,7.632882e-8,0.000008090406,0.0008834043],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7883694,"threshold_uncertainty_score":0.2600087,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01358339598514024,"score_gpt":0.2619313535720367,"score_spread":0.2483479575868965,"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."}}