{"id":"W4381512968","doi":"10.21203/rs.3.rs-2279231/v1","title":"A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem","year":2023,"lang":"en","type":"preprint","venue":"Research Square","topic":"Cryptographic Implementations and Security","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Windsor; University of Waterloo","funders":"","keywords":"Kochen–Specker theorem; Complementarity (molecular biology); Solver; Dimension (graph theory); Cryptography; Automated theorem proving; Computer science; Mathematics; Discrete mathematics; Algebra over a field; Theoretical computer science; Quantum; Algorithm; Pure mathematics; Quantum mechanics; Mathematical optimization; Physics","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","scholarly_communication","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00353129,0.0003748464,0.0003493383,0.0007418524,0.0007942299,0.001486781,0.003147926,0.0002675831,0.0002575218],"category_scores_gemma":[0.00008553091,0.0002664642,0.0003557252,0.001533029,0.0002819531,0.0001700649,0.006313477,0.002278278,0.001215843],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001876985,"about_ca_system_score_gemma":0.0004316588,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002416151,"about_ca_topic_score_gemma":0.0002794194,"domain_scores_codex":[0.9938857,0.0009090054,0.000508067,0.001288931,0.002269872,0.001138448],"domain_scores_gemma":[0.9951378,0.001403834,0.0001333066,0.002430876,0.0006674386,0.000226718],"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.00003100935,0.0004486296,0.001815781,0.0006109277,0.000254289,0.0001499839,0.009319876,0.0004165721,0.00004084442,0.3978157,0.5758935,0.01320298],"study_design_scores_gemma":[0.002257215,0.001858887,0.07003988,0.003162086,0.00004329399,0.00002905749,0.002434182,0.213986,0.0004268057,0.4553539,0.2477396,0.002669031],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4381467,0.0008731826,0.3657342,0.1631147,0.004796623,0.01601009,0.000778179,0.002646085,0.007900215],"genre_scores_gemma":[0.9565686,0.0006023963,0.03507724,0.001458382,0.001742905,0.002068322,0.0004906051,0.0001627562,0.001828769],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5184219,"threshold_uncertainty_score":0.9999788,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2215221344947306,"score_gpt":0.4298276645859809,"score_spread":0.2083055300912503,"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."}}