{"id":"W4415368689","doi":"10.37236/14483","title":"A Short Proof of Seymour’s 6-Flow Theorem","year":2025,"lang":"","type":"article","venue":"The Electronic Journal of Combinatorics","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Graph; Proof complexity; Mathematical proof; Calculus (dental); Graph theory","routes":{"ca_aff":true,"ca_fund":true,"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":[],"consensus_categories":[],"category_scores_codex":[0.003422313,0.0003356667,0.0007284857,0.0003796147,0.0002694209,0.0001480257,0.002803305,0.000145621,0.000009868479],"category_scores_gemma":[0.0002066085,0.0002369484,0.0004657045,0.002001319,0.0002483492,0.0004344865,0.0004396561,0.001420535,0.000002666613],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005748135,"about_ca_system_score_gemma":0.003680058,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006709912,"about_ca_topic_score_gemma":0.000003415617,"domain_scores_codex":[0.9960429,0.0005108123,0.001405261,0.0002711218,0.0008601876,0.0009097323],"domain_scores_gemma":[0.9967918,0.0005387348,0.0009923344,0.0006623941,0.0008976766,0.0001170248],"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.0001353689,0.0004324545,0.00008760149,0.00005854512,0.0003498711,0.000008294005,0.0008073976,0.001679191,0.0001564488,0.8258953,0.0005942058,0.1697953],"study_design_scores_gemma":[0.001059966,0.001289079,0.000523557,0.0002839293,0.0002274708,0.000149443,0.00008063049,0.05402927,0.01024346,0.9298115,0.002092915,0.0002087573],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1072518,0.02027321,0.8605458,0.005967925,0.003573303,0.0003934914,0.000001643554,0.00001785942,0.00197495],"genre_scores_gemma":[0.9979557,0.0007503051,0.0000998106,0.0001551736,0.0001734083,0.000002557738,3.740368e-7,0.00001512556,0.0008475262],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8907039,"threshold_uncertainty_score":0.9662476,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006860189723091736,"score_gpt":0.2384230383000166,"score_spread":0.2315628485769248,"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."}}