{"id":"W4414772389","doi":"10.1007/978-3-032-01570-9_6","title":"On Gottschalk’s Surjunctivity Conjecture for Non-uniform Cellular Automata","year":2025,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Cellular Automata and Applications","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Conjecture; Cellular automaton; Alphabet; Group (periodic table); Invertible matrix; Class (philosophy); Automata theory","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"],"consensus_categories":[],"category_scores_codex":[0.0008896624,0.0007217793,0.0007115091,0.0008995127,0.0005253207,0.0006273578,0.004303074,0.0005025133,0.00001738779],"category_scores_gemma":[0.0001094179,0.0006592609,0.0002958624,0.0007844059,0.0004622895,0.0004205005,0.001320966,0.0008426629,0.00004917417],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003517498,"about_ca_system_score_gemma":0.000969029,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001876672,"about_ca_topic_score_gemma":0.00005908447,"domain_scores_codex":[0.9956665,0.00002348647,0.0005519279,0.002105721,0.0008509461,0.0008014205],"domain_scores_gemma":[0.995297,0.001185493,0.0003108418,0.00277392,0.0002373045,0.0001954962],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001255259,0.0001218735,0.000004579945,0.0001685803,0.00003084961,0.00004575174,0.0002852566,0.01240512,0.0006602519,0.4225132,0.0009144772,0.5628375],"study_design_scores_gemma":[0.000467068,0.0002082998,0.00001857781,0.0003163755,0.00001594268,0.00001562936,7.670266e-8,0.7336339,0.005842181,0.2446606,0.01416424,0.0006570789],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00006542495,0.0001137644,0.9864231,0.001778881,0.001714995,0.00131767,0.00005660069,0.0003744005,0.008155203],"genre_scores_gemma":[0.2305965,0.00005188583,0.7567496,0.004618968,0.0008941476,0.000247419,0.0001564665,0.0001189529,0.006566071],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7212288,"threshold_uncertainty_score":0.9995859,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01230964675584728,"score_gpt":0.2414519428628394,"score_spread":0.2291422961069922,"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."}}