{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001319718,0.001461137,0.0009181442,0.002136369,0.001679737,0.001952843,0.001008854,0.001189928,0.03206751],"category_scores_gemma":[0.003648985,0.000546466,0.001436666,0.001519705,0.002279333,0.003276399,0.003245036,0.0038874,0.005752466],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001775735,"about_ca_system_score_gemma":0.001127146,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001800774,"about_ca_topic_score_gemma":0.00167921,"domain_scores_codex":[0.9990638,0.0001530867,0.00005981815,0.0001523719,0.0004223777,0.0001486399],"domain_scores_gemma":[0.9988467,0.0005556155,0.00006207292,0.00009100526,0.0003399919,0.0001047713],"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.00009840127,0.0001106385,0.000268516,0.0005862495,0.00008119084,0.0009973515,0.0004133684,0.00249544,0.007264919,0.8511196,0.05428533,0.08227902],"study_design_scores_gemma":[0.00003439111,0.00008907877,0.0007537499,0.0002346141,0.00004638465,0.0004687803,0.00009200194,0.002870402,0.003980767,0.7578911,0.2334721,0.00006660293],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01978636,0.02851068,0.5641856,0.02177129,0.01461167,0.0004612098,0.001986046,0.002688994,0.3459981],"genre_scores_gemma":[0.4812344,0.02751022,0.2909598,0.01844453,0.01073557,0.001295591,0.001940776,0.001729464,0.1661498],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03206751,"threshold_uncertainty_score":0.1072765,"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."}}