{"id":"W3209192400","doi":"10.1145/3485628","title":"MIP* = RE","year":2021,"lang":"en","type":"article","venue":"Communications of the ACM","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":167,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Army Research Office; Air Force Office of Scientific Research; Natural Sciences and Engineering Research Council of Canada; Institute for Quantum Information and Matter, California Institute of Technology; Multidisciplinary University Research Initiative; Canadian Institute for Advanced Research; Massachusetts Institute of Technology; Gordon and Betty Moore Foundation; National Science Foundation","keywords":"Class (philosophy); Computer science; Complexity class; Mathematical proof; Quantum entanglement; Theoretical computer science; Verifiable secret sharing; Quantum complexity theory; Decidability; Cryptography; Probabilistic logic; Computational complexity theory; Recursively enumerable language; Discrete mathematics; Quantum; Mathematics; Algorithm; Quantum computer; Programming language; Artificial intelligence","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009999474,0.001171299,0.00097671,0.001079196,0.00238147,0.005638745,0.001750585,0.001728159,0.5023199],"category_scores_gemma":[0.003718757,0.0006412886,0.001140053,0.001366849,0.001204361,0.009665167,0.00476596,0.003215654,0.3637773],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001685705,"about_ca_system_score_gemma":0.001439724,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002103844,"about_ca_topic_score_gemma":0.001757098,"domain_scores_codex":[0.9984766,0.0001941844,0.0001011269,0.0005430923,0.0003739125,0.0003111409],"domain_scores_gemma":[0.9985575,0.000199427,0.00009225259,0.0004904498,0.0004869511,0.0001734173],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00024901,0.00006141877,0.0004681779,0.0003429764,0.00002746404,0.0003578659,0.0002179086,0.0002451073,0.001304528,0.1764693,0.7119474,0.1083088],"study_design_scores_gemma":[0.00001518915,0.00001586655,0.0001817811,0.00003885075,0.00000963443,0.0002874013,0.0001017762,0.0002410584,0.001247599,0.02031579,0.97753,0.00001511301],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.00287904,0.0005022315,0.02870775,0.007255131,0.007278926,0.000330375,0.00977981,0.008806838,0.9344599],"genre_scores_gemma":[0.04833868,0.001135034,0.02029458,0.004826395,0.002190588,0.0004231195,0.01444112,0.00931953,0.899031],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5023199,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0759074459117106,"score_gpt":0.3100415070347768,"score_spread":0.2341340611230662,"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."}}