{"id":"W2963106249","doi":"10.1145/3313276.3316407","title":"Why extension-based proofs fail","year":2019,"lang":"en","type":"preprint","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Wind Energy Technologies Office; Natural Sciences and Engineering Research Council of Canada; Simons Institute for the Theory of Computing, University of California Berkeley; University of Toronto; U.S. Department of Energy; National Science Foundation","keywords":"Mathematical proof; Impossibility; Computer science; Extension (predicate logic); Valency; Gas meter prover; Class (philosophy); Asynchronous communication; Theoretical computer science; Argument (complex analysis); Calculus (dental); Programming language; Discrete mathematics; Mathematics; Artificial intelligence","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000317879,0.0003262887,0.0004544859,0.00009843925,0.00006363197,0.0005191122,0.001932994,0.0003171219,0.00006255355],"category_scores_gemma":[0.00003143616,0.0002647456,0.0002095238,0.0001991792,0.00002731226,0.0001644158,0.001094766,0.0004578296,0.0005075464],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006466553,"about_ca_system_score_gemma":0.0003709456,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002433706,"about_ca_topic_score_gemma":0.00001847138,"domain_scores_codex":[0.9975906,0.00007674666,0.0003994218,0.00106227,0.0005070529,0.0003639331],"domain_scores_gemma":[0.9969095,0.00006576708,0.0002205748,0.002395109,0.0002854999,0.0001235713],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001614923,0.0002796728,0.0007461467,0.001050464,0.00009259967,0.000118913,0.0003028231,0.06151444,0.000285891,0.05920642,0.8470259,0.02936057],"study_design_scores_gemma":[0.0003399217,0.00003887581,0.0006018435,0.0003826165,0.000006618455,0.000005468386,0.000009066742,0.7295349,0.0004083808,0.001790744,0.2663058,0.0005757532],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0006511104,0.0003362611,0.9781265,0.003726155,0.002851056,0.0006648949,0.00003679955,0.0005123232,0.01309486],"genre_scores_gemma":[0.9443977,0.000007582941,0.04068606,0.008208253,0.0002432942,0.0001478338,0.0001008445,0.00003556273,0.006172806],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9437466,"threshold_uncertainty_score":0.9999804,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02077867968595021,"score_gpt":0.2493409539084068,"score_spread":0.2285622742224566,"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."}}