{"id":"W2139210144","doi":"10.1090/tran/7408","title":"Yes, the “missing axiom” of matroid theory is lost forever","year":2018,"lang":"lv","type":"preprint","venue":"Transactions of the American Mathematical Society","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Matroid; Axiom; Conjecture; Sentence; Mathematics; Combinatorics; Order (exchange); Field (mathematics); Discrete mathematics; Pure mathematics; Computer science; Artificial intelligence; Geometry; Economics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005963637,0.001544279,0.001932362,0.001013329,0.004269493,0.005685619,0.002913339,0.003527206,0.02940666],"category_scores_gemma":[0.01889396,0.001181192,0.003382074,0.0009888475,0.009504733,0.03133718,0.005641039,0.01152815,0.01404619],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002682136,"about_ca_system_score_gemma":0.001901421,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003822525,"about_ca_topic_score_gemma":0.003665751,"domain_scores_codex":[0.9945924,0.001270233,0.0003874667,0.001934492,0.00118248,0.0006329303],"domain_scores_gemma":[0.9899525,0.003559028,0.0005378857,0.00268038,0.002759513,0.0005106948],"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.0001657583,0.00004790312,0.000524217,0.0003303286,0.00007891664,0.0003330602,0.0008383385,0.000358734,0.001412145,0.9204206,0.05795762,0.01753236],"study_design_scores_gemma":[0.00003487826,0.00004198239,0.0003357017,0.0001214203,0.00008251634,0.0003714951,0.0005123373,0.001463763,0.002646378,0.9073692,0.08696597,0.00005450903],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02125874,0.004156742,0.6078167,0.1379384,0.01418696,0.0001148466,0.00297518,0.005418736,0.2061337],"genre_scores_gemma":[0.5456511,0.004376133,0.2373066,0.05527718,0.006604714,0.00046673,0.005343939,0.005824919,0.1391488],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02940666,"threshold_uncertainty_score":0.09837508,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02685597101923055,"score_gpt":0.3135298488909901,"score_spread":0.2866738778717596,"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."}}