{"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":"codex-gemma-dda1882f352a","candidate_categories":["open_science"],"consensus_categories":["open_science"],"category_scores_codex":[0.0003050665,0.00006584189,0.0001129156,0.00002573149,0.0002178572,0.00005139341,0.05389488,0.00003336225,0.00001609393],"category_scores_gemma":[0.006330969,0.00005228863,0.000107203,0.0006462078,0.0001773603,0.0001304851,0.08048826,0.0001683356,0.00002609685],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003321631,"about_ca_system_score_gemma":0.0001288484,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002382281,"about_ca_topic_score_gemma":0.00006832545,"domain_scores_codex":[0.9990374,0.0002984953,0.0002106624,0.0001781082,0.0001627792,0.0001125827],"domain_scores_gemma":[0.9341462,0.0005605358,0.0000940312,0.06492816,0.0002416127,0.00002949037],"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.000004342767,0.002041352,0.01709663,0.00008599986,0.0001706912,0.000004995541,0.006875488,0.0008995784,0.009753204,0.6618161,0.1391343,0.1621173],"study_design_scores_gemma":[0.0002233001,0.00002070187,0.0336779,0.00004416344,0.0000152529,0.0000269189,0.0001482234,0.02551432,0.009734943,0.8728034,0.05760689,0.0001839402],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"commentary","genre_gemma":"methods","genre_scores_codex":[0.02872117,0.00830288,0.05387597,0.8613802,0.001209435,0.0005098831,0.00001548578,0.0003956959,0.04558927],"genre_scores_gemma":[0.3706132,0.00008052305,0.6286834,0.0003467663,0.00001284823,0.000009055349,0.000002044987,0.000003867116,0.0002482901],"genre_candidate":"commentary","genre_consensus":null,"teacher_disagreement_score":0.8610334,"threshold_uncertainty_score":0.951224,"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."}}