{"id":"W2890319704","doi":"10.1090/proc/14849","title":"Undecidability of ℚ⁽²⁾","year":2019,"lang":"lv","type":"article","venue":"Proceedings of the American Mathematical Society","topic":"Algebraic structures and combinatorial models","field":"Mathematics","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Mount Royal University","funders":"Fondo Nacional de Desarrollo Científico y Tecnológico; Universidad de Concepción","keywords":"Algorithm; Annotation; Artificial intelligence; Computer science","routes":{"ca_aff":true,"ca_fund":false,"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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008721423,0.0003977536,0.001506094,0.00002370012,0.00009267079,0.00003974194,0.001287039,0.0001747782,0.0003877674],"category_scores_gemma":[0.0007945909,0.0002628097,0.001398251,0.0008286912,0.001532751,0.0001289038,0.0007909237,0.0004739628,0.00002993972],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001420686,"about_ca_system_score_gemma":0.000112916,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003681075,"about_ca_topic_score_gemma":1.723676e-7,"domain_scores_codex":[0.9967892,0.00002601084,0.001156928,0.0004571414,0.001082883,0.0004878905],"domain_scores_gemma":[0.9957379,0.000802972,0.002190939,0.0005972587,0.000541309,0.0001295996],"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.00007347443,0.0005415779,0.009025679,0.004493917,0.0004136791,2.484677e-8,0.003640969,0.000002458219,0.006323742,0.9738311,0.001361726,0.0002917128],"study_design_scores_gemma":[0.0004862474,0.0002942501,0.00303201,0.0004928386,0.0003013973,0.000003864053,0.004923224,0.001029992,0.01062298,0.9784661,0.00006513438,0.0002819679],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9898484,0.00005739872,0.0001021761,0.0005984107,0.0002690948,0.0009874867,0.00001583463,0.00003589308,0.008085342],"genre_scores_gemma":[0.9899884,0.00002949197,0.009038073,0.0001274691,0.00009263214,0.00001462231,2.166815e-7,0.00005682896,0.0006522283],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008935898,"threshold_uncertainty_score":0.9999824,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01363419318775026,"score_gpt":0.2617803355394272,"score_spread":0.248146142351677,"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."}}