{"id":"W3111359078","doi":"10.1609/aaai.v35i5.16483","title":"A SAT-based Resolution of Lam's Problem","year":2021,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Data Management and Algorithms","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Wilfrid Laurier University; University of Windsor; University of Waterloo; Carleton University","funders":"","keywords":"Satisfiability; Consistency (knowledge bases); Projective test; Projective plane; Resolution (logic); Computer science; Code (set theory); Plane (geometry); Boolean satisfiability problem; Theoretical computer science; Algorithm; Mathematics; Discrete mathematics; Programming language; Algebra over a field; Pure mathematics; Geometry","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.0004608802,0.00014787,0.0002089512,0.0001060968,0.0001024483,0.0001859789,0.001659095,0.0000530426,0.00005073367],"category_scores_gemma":[0.0002280825,0.0001170364,0.000107248,0.0009119709,0.0001759191,0.0004591149,0.0005178251,0.000158667,0.00004315285],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002474007,"about_ca_system_score_gemma":0.0001394334,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002521447,"about_ca_topic_score_gemma":0.00001083512,"domain_scores_codex":[0.9983589,0.0000187493,0.000462985,0.0004154949,0.0004950981,0.0002487464],"domain_scores_gemma":[0.9984299,0.00005260804,0.0003502156,0.0003777981,0.0007404424,0.00004903528],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00002014966,0.00017858,0.0001186129,0.00007900325,0.00001159277,9.026713e-7,0.0002278166,0.00007428183,0.03000784,0.9105967,0.0003485768,0.05833593],"study_design_scores_gemma":[0.00003625637,0.0001281363,0.0001984222,0.0002823721,0.00001336874,0.000001447746,0.0002097914,0.124939,0.7482799,0.1252277,0.0005249335,0.0001586548],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1129203,0.0001815201,0.7341576,0.03220927,0.00167447,0.001696851,0.00006268897,0.0004355884,0.1166617],"genre_scores_gemma":[0.9683263,0.00001877546,0.03098818,0.000173381,0.00003385079,0.00001485003,0.000002438269,0.00000706581,0.0004351888],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8554059,"threshold_uncertainty_score":0.4772605,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0691774485863179,"score_gpt":0.2791805394646435,"score_spread":0.2100030908783256,"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."}}