{"id":"W4414769467","doi":"10.61091/ars164-10","title":"Retraction notice: Combinatorial proof of the Girard-Waring formula","year":2025,"lang":"en","type":"article","venue":"Ars Combinatoria","topic":"Advanced Mathematical Theories and Applications","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Combinatorial proof; Algebra over a field; Calculus (dental); Combinatorial principles; Proof complexity","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":[],"consensus_categories":[],"category_scores_codex":[0.0001282175,0.0001011032,0.0001669564,0.00002202417,0.0001928604,0.00001909505,0.0002372378,0.00005413595,0.00004638201],"category_scores_gemma":[0.00003763668,0.00007677134,0.0001049713,0.0003261226,0.00007790155,0.00009776992,0.0001162631,0.0002247207,0.000004644035],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002643359,"about_ca_system_score_gemma":0.00004551003,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001565331,"about_ca_topic_score_gemma":2.225691e-7,"domain_scores_codex":[0.9992988,0.00002408714,0.0002483673,0.0001427161,0.0001365432,0.0001494565],"domain_scores_gemma":[0.9992076,0.0001466013,0.0001373294,0.0003878938,0.00009306993,0.00002752264],"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.000008167086,0.0001762467,0.001201046,0.00002447248,0.00002988635,2.893974e-8,0.00004417956,0.00002566161,0.0004525147,0.995678,0.0004015766,0.001958202],"study_design_scores_gemma":[0.0005053051,0.00001349251,0.000451448,0.00004772771,0.00003267537,7.54176e-8,0.0001071874,0.0001829876,0.03826617,0.956126,0.004195467,0.00007146824],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7243642,0.00005220365,0.02596457,0.001059186,0.008656585,0.001420822,0.00002621344,0.0000868044,0.2383694],"genre_scores_gemma":[0.9988191,4.065855e-7,0.0002694707,0.00001765334,0.00002621244,0.00005342265,0.000003401375,0.000009018466,0.0008013704],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2744548,"threshold_uncertainty_score":0.3130644,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007386731914679973,"score_gpt":0.2668143830030485,"score_spread":0.2594276510883686,"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."}}