{"id":"W79067861","doi":"10.30827/pna.v9i1.6109","title":"&lt;p&gt;The width of a proof&lt;/p&gt;","year":2014,"lang":"es","type":"article","venue":"PNA","topic":"Mathematics Education and Teaching Techniques","field":"Social Sciences","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Institute for Christian Studies; University of Toronto","funders":"","keywords":"Humanities; Philosophy","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.002380901,0.0001367371,0.0002338845,0.0000651516,0.0003527262,0.000110287,0.0005985695,0.0001109139,0.0003766656],"category_scores_gemma":[0.001039522,0.00009926478,0.0001115295,0.0002754281,0.0003682051,0.0000769921,0.00007696437,0.0001520594,0.00009479092],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003884176,"about_ca_system_score_gemma":0.0001354435,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001025171,"about_ca_topic_score_gemma":0.0001301592,"domain_scores_codex":[0.9983494,0.0004118434,0.000327948,0.000192486,0.0004651007,0.0002532137],"domain_scores_gemma":[0.9986239,0.0003933304,0.0003076584,0.0004761637,0.0001122098,0.0000867445],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000002957403,0.0002190144,0.0002922303,0.0001151751,0.00001767705,1.044119e-7,0.019697,2.679126e-7,0.0007108734,0.9353483,0.01943713,0.02415927],"study_design_scores_gemma":[0.0001118416,0.00008597568,0.0006797894,0.000175596,0.00004422004,9.815834e-7,0.0002623561,0.0003879121,0.001912355,0.2453551,0.7508069,0.0001769208],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.08395895,0.0005307706,0.01882523,0.01952174,0.001010669,0.001120312,0.00001257677,0.0003597323,0.87466],"genre_scores_gemma":[0.9908682,0.0001159668,0.004285163,0.0002248126,0.00035183,0.00003587396,0.000001992512,0.0000165108,0.004099695],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9069092,"threshold_uncertainty_score":0.4124224,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02544105376970188,"score_gpt":0.3336491323132232,"score_spread":0.3082080785435213,"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."}}