{"id":"W2147670550","doi":"10.1016/j.jmathb.2013.04.001","title":"Decoding a proof of Fermat's Little Theorem via script writing","year":2013,"lang":"en","type":"article","venue":"The Journal of Mathematical Behavior","topic":"Mathematics Education and Teaching Techniques","field":"Social Sciences","cited_by":38,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Fermat's Last Theorem; Mathematical proof; Dialog box; Scripting language; Relation (database); Computer science; Affordance; Mathematics education; Mathematics; Algebra over a field; Programming language; Pure mathematics; Human–computer interaction","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":[],"category_scores_codex":[0.004125015,0.00009617773,0.000275923,0.00008926601,0.0002333971,0.00007508482,0.0005488056,0.00006697599,0.001636576],"category_scores_gemma":[0.0009443652,0.00005834101,0.0001267084,0.0001428951,0.0002828672,0.0002400639,0.00005076572,0.0002758037,0.00003016234],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005238038,"about_ca_system_score_gemma":0.00009075713,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005720829,"about_ca_topic_score_gemma":0.000004841654,"domain_scores_codex":[0.9981238,0.0003588372,0.0007199866,0.00005322053,0.0005377215,0.0002064303],"domain_scores_gemma":[0.9980564,0.0007147473,0.0005697104,0.0002106092,0.0003281954,0.0001203688],"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.00002160673,0.002289259,0.001364819,0.0004177581,0.00007419417,0.000006272444,0.1179526,0.000001165165,0.01719629,0.7775981,0.006117706,0.07696015],"study_design_scores_gemma":[0.0002506049,0.0001445073,0.0005617535,0.0006936495,0.0002741293,0.000148137,0.0216117,0.0002704164,0.01803651,0.9574199,0.0003745959,0.0002140853],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8832692,0.00009614653,0.09794237,0.002081924,0.0001385957,0.0006824714,0.000001005396,0.00005002775,0.01573825],"genre_scores_gemma":[0.9714763,0.00001297907,0.02810216,0.00005726239,0.0001036689,0.000018787,1.373349e-7,0.00001305749,0.0002156102],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1798217,"threshold_uncertainty_score":0.999276,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04747893093950223,"score_gpt":0.360484689750579,"score_spread":0.3130057588110768,"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."}}