{"id":"W4388928906","doi":"10.4153/s0008439523000905","title":"Selection principles and proofs from the Book","year":2023,"lang":"en","type":"article","venue":"Canadian Mathematical Bulletin","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Mathematical proof; Mathematics; Property (philosophy); Selection (genetic algorithm); Diagram; Space (punctuation); Additive function; Convergence (economics); Mathematical economics; Discrete mathematics; Pure mathematics; Calculus (dental); Algebra over a field; Epistemology; Computer science; Mathematical analysis; Geometry","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0004321296,0.0001276164,0.0001761052,0.00005379434,0.0002916038,0.00002939906,0.0001529846,0.0001178548,0.006882872],"category_scores_gemma":[0.001468037,0.00008942473,0.00003776669,0.0001291875,0.0002062625,0.00002403186,0.00004283779,0.0002134119,0.004693943],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005100086,"about_ca_system_score_gemma":0.00007264688,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001884122,"about_ca_topic_score_gemma":0.002012148,"domain_scores_codex":[0.9990526,0.00009708341,0.0002019742,0.0002025936,0.000101187,0.0003445301],"domain_scores_gemma":[0.9978599,0.001628549,0.00004412711,0.0002256124,0.00002591575,0.0002158786],"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.000006645984,0.0000110119,0.0001194047,0.00003621466,0.00002869726,0.00002114793,0.0007026942,0.000001806376,0.00002593088,0.9075258,0.09082789,0.0006927309],"study_design_scores_gemma":[0.0001053932,0.00001295537,0.0003177113,0.00003523858,0.00002015661,0.00001675263,0.00023416,0.0002903851,0.0000771129,0.7571195,0.2416685,0.0001021674],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.76105,0.0009258013,0.008625208,0.1240691,0.0003742009,0.002333277,0.0001743893,0.001161002,0.1012871],"genre_scores_gemma":[0.8536128,0.0001569181,0.0187431,0.01159225,0.0008319272,0.0004302447,0.00006393738,0.0002005219,0.1143683],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1508406,"threshold_uncertainty_score":0.996081,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04033742597082059,"score_gpt":0.2762728685978099,"score_spread":0.2359354426269893,"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."}}