{"id":"W2126010852","doi":"10.1007/s00283-011-9256-x","title":"Minesweeper May Not Be NP-Complete but Is Hard Nonetheless","year":2011,"lang":"en","type":"article","venue":"The Mathematical Intelligencer","topic":"Modeling, Simulation, and Optimization","field":"Mathematics","cited_by":48,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Victoria","funders":"","keywords":"Computer science; Combinatorics; Mathematics","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":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0008902411,0.0003306911,0.0004381822,0.00008337814,0.0002216598,0.00007188551,0.0006267909,0.0001781283,0.01069074],"category_scores_gemma":[0.0004068901,0.0002092258,0.0002095617,0.0002121114,0.0002422827,0.0001509656,0.0001263115,0.0002497966,0.0009321994],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003883401,"about_ca_system_score_gemma":0.00003061308,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005672013,"about_ca_topic_score_gemma":0.00001042445,"domain_scores_codex":[0.9977123,0.0001154574,0.0008019888,0.0003784971,0.0005621508,0.0004296381],"domain_scores_gemma":[0.9976496,0.0008196243,0.0002167981,0.0009165099,0.0002680802,0.0001294231],"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.000139706,0.0005253527,0.00005997753,0.0003347817,0.0001634597,0.000005282107,0.03858271,0.0004467796,0.0004693782,0.950092,0.007718449,0.001462099],"study_design_scores_gemma":[0.0001966337,0.00006949151,0.00002632853,0.0001008056,0.0001978584,0.00002531028,0.0008625619,0.2460165,0.01498254,0.7344001,0.002649366,0.0004724923],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09734654,0.00004506536,0.8755717,0.001738401,0.0002224329,0.0007783466,0.0000362461,0.0002116155,0.02404961],"genre_scores_gemma":[0.8581132,0.00005718131,0.1244326,0.002185091,0.0002723106,0.0001007393,0.000009801935,0.000113229,0.01471586],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7607667,"threshold_uncertainty_score":0.9998457,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.394441242539659,"score_gpt":0.3650971529581021,"score_spread":0.02934408958155688,"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."}}