{"id":"W2468512922","doi":"10.1017/bsl.2016.5","title":"COMPUTABILITY AND THE CONNES EMBEDDING PROBLEM","year":2016,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Ultraproduct; Embedding; Mathematics; Statement (logic); Computability; Separable space; Embedding problem; Pure mathematics; Discrete mathematics; Algebra over a field; Philosophy; Linguistics; Computer science; Artificial intelligence; Mathematical analysis","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":[],"consensus_categories":[],"category_scores_codex":[0.0008587713,0.0001016925,0.0002903178,0.00001765002,0.00009077634,0.000003878728,0.0001427239,0.00007074349,0.0005312345],"category_scores_gemma":[0.0007243533,0.00004527026,0.00005281137,0.00002718526,0.001114343,0.00001050821,0.000101062,0.00007091801,0.00003082208],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008322691,"about_ca_system_score_gemma":0.00000796724,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000660656,"about_ca_topic_score_gemma":0.000001175214,"domain_scores_codex":[0.9991364,0.0002195309,0.0002473205,0.0001633681,0.00007362813,0.0001597457],"domain_scores_gemma":[0.9966864,0.002877247,0.0001304088,0.000231071,0.00004600864,0.0000288653],"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.00009531884,0.00003619866,0.0002667241,0.00005387302,0.00002004925,0.000001213235,0.0004349576,0.000001524445,0.0001323733,0.9952847,0.0009199477,0.002753082],"study_design_scores_gemma":[0.001195401,0.00003226203,0.0002037013,0.00004370672,0.00001847397,0.00002340443,0.0002215262,0.000009161494,0.0003066163,0.9929173,0.004954941,0.00007350602],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8666086,0.001094404,0.04077351,0.03436144,0.0002063555,0.001152186,0.00001588351,0.0002213861,0.05556623],"genre_scores_gemma":[0.9895733,0.00005504276,0.009135483,0.0002837963,0.00004238355,0.00001867599,2.108226e-7,0.000008368595,0.0008827526],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1229647,"threshold_uncertainty_score":0.5816646,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02473587065851415,"score_gpt":0.296803539593634,"score_spread":0.2720676689351199,"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."}}