{"id":"W4386639585","doi":"10.4153/s0008439523000723","title":"On theorems of Fermat, Wilson, and Gegenbauer","year":2023,"lang":"en","type":"article","venue":"Canadian Mathematical Bulletin","topic":"Advanced Mathematical Theories and Applications","field":"Physics and Astronomy","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Mathematics; Fermat's Last Theorem; Proofs of Fermat's little theorem; Pure mathematics; Algebra over a field; Fundamental theorem; Compactness theorem; Fixed-point theorem","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.0001427196,0.000112701,0.0001953938,0.00006651554,0.00009342923,0.00001759489,0.0001108554,0.00003125894,0.008363025],"category_scores_gemma":[0.00005580014,0.00009245759,0.00005088024,0.0001647313,0.0001492209,0.00001249283,0.00002852791,0.0000882583,0.004246253],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001159863,"about_ca_system_score_gemma":0.00002775395,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009105403,"about_ca_topic_score_gemma":0.000006423459,"domain_scores_codex":[0.9992698,0.00001476946,0.000205101,0.0001509977,0.00009392068,0.0002653751],"domain_scores_gemma":[0.9990461,0.0003688284,0.00004353625,0.0002374293,0.00002748559,0.0002765941],"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.000001706693,0.00001961265,0.00001767627,0.0000307008,0.00001159296,9.959734e-7,0.00009800174,0.000008417179,0.00004712697,0.9926307,0.005362976,0.001770551],"study_design_scores_gemma":[0.0001132223,0.00001625123,0.0000469178,0.00004737228,0.000009587484,8.778556e-7,0.0002715702,0.0002845943,0.0003043098,0.9748388,0.02396232,0.0001041513],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.459737,0.00003072972,0.03393345,0.009647425,0.0000611432,0.0008103959,0.0002952726,0.000138055,0.4953465],"genre_scores_gemma":[0.9956666,0.000001984788,0.0009830532,0.0001633943,0.00004604289,0.00005606448,0.00001417579,0.00002116305,0.003047492],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5359296,"threshold_uncertainty_score":0.996529,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007046528943018889,"score_gpt":0.2326538571721618,"score_spread":0.225607328229143,"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."}}