{"id":"W158560499","doi":"10.1007/978-3-319-05654-8_5","title":"Fermat’s Theorem and Wilson’s Theorem","year":2014,"lang":"en","type":"book-chapter","venue":"Undergraduate texts in mathematics","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Proofs of Fermat's little theorem; Fermat's Last Theorem; Fermat number; Mathematics; Fermat's little theorem; Mathematical proof; Chinese remainder theorem; Discrete mathematics; Regular prime; Wieferich prime; Fermat's theorem on sums of two squares; Prime number; Fundamental theorem; Brouwer fixed-point theorem; Algebra over a field; Compactness theorem; Pure mathematics; Danskin's theorem; Fixed-point theorem","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":["metaepi_narrow"],"category_scores_codex":[0.002669977,0.001388884,0.00215463,0.0006397817,0.0002840038,0.0001477,0.000905454,0.001001358,0.0006033019],"category_scores_gemma":[0.0008440717,0.001239722,0.0004040108,0.00009335519,0.0009248797,0.0001404745,0.0003876594,0.001348627,0.0005848393],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003320233,"about_ca_system_score_gemma":0.0001208348,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001778163,"about_ca_topic_score_gemma":0.000056583,"domain_scores_codex":[0.9952443,0.0001872215,0.00188759,0.0009177207,0.000960043,0.0008031435],"domain_scores_gemma":[0.9931135,0.003310727,0.001284832,0.001840581,0.0001457634,0.0003045692],"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.00002191195,0.0001721828,0.000001721076,0.002764827,0.000167642,0.00007697867,0.002581292,0.000002587973,0.000009976187,0.9837005,0.007860147,0.002640225],"study_design_scores_gemma":[0.0007486686,0.00009696173,5.934764e-7,0.002490797,0.00031209,0.0002785407,0.0001437232,0.0007440426,0.00002391203,0.92894,0.06501637,0.001204282],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0006740735,0.000644595,0.01194039,0.0005826708,0.0004489879,0.001320745,0.0000502089,0.0004933704,0.9838449],"genre_scores_gemma":[0.01568228,0.0007338328,0.04362147,0.0002707307,0.0003454134,0.00005937969,0.0000349481,0.000706042,0.9385459],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.05715622,"threshold_uncertainty_score":0.9998862,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0332080684839393,"score_gpt":0.2649807340489549,"score_spread":0.2317726655650156,"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."}}