{"id":"W4415303904","doi":"10.4153/s000843952510132x","title":"A short proof of the Hilton–Milner Theorem","year":2025,"lang":"en","type":"article","venue":"Canadian Mathematical Bulletin","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Dalhousie University","funders":"Javna Agencija za Raziskovalno Dejavnost RS; Israel Science Foundation","keywords":"Elementary proof; Proofs of Fermat's little theorem; Calculus (dental); Analytic proof; Algebra over a field; Mathematical proof; Fundamental theorem","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":true,"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.0006511029,0.0001707271,0.0002848867,0.0001275996,0.0001333906,0.00008120116,0.001868054,0.0001002125,0.0008061575],"category_scores_gemma":[0.0006037658,0.000115432,0.0001559403,0.0005845415,0.0002677179,0.00003159668,0.0004262471,0.0002186207,0.0002750169],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001760888,"about_ca_system_score_gemma":0.0004682367,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003300981,"about_ca_topic_score_gemma":0.0005534479,"domain_scores_codex":[0.9983844,0.0001370109,0.0003888798,0.0003755181,0.0002803237,0.0004338305],"domain_scores_gemma":[0.9979891,0.0003265487,0.00004304443,0.001267795,0.00012766,0.0002458849],"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.000001196563,0.00007264972,0.000263687,0.00009875963,0.00002137076,0.000008714645,0.0002449153,0.00003402452,0.00001610519,0.968964,0.01172207,0.01855251],"study_design_scores_gemma":[0.0002150441,0.0000435102,0.003166049,0.0002248127,0.00002845184,0.00003186465,0.000054855,0.03318143,0.002282474,0.886856,0.07357455,0.0003409433],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03600771,0.0002328952,0.6354252,0.0867309,0.0008462121,0.001777892,0.00001816903,0.0001859215,0.2387752],"genre_scores_gemma":[0.982867,4.930799e-7,0.01292752,0.001477529,0.00003150909,0.00004128701,5.259442e-7,0.000009937628,0.002644197],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9468593,"threshold_uncertainty_score":0.8826859,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009336059005565132,"score_gpt":0.2209788008608406,"score_spread":0.2116427418552755,"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."}}