{"id":"W4391845938","doi":"10.1090/bull/1826","title":"Proof in the time of machines","year":2024,"lang":"en","type":"article","venue":"Bulletin of the American Mathematical Society","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematical proof; Computer-assisted proof; Proof of concept; Proof complexity; Computer science; Analytic proof; Proof assistant; Burden of proof; Proof theory; Structural proof theory; Theoretical computer science; Calculus (dental); Mathematics; Automated theorem proving; Medicine","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":["sts"],"consensus_categories":[],"category_scores_codex":[0.01346158,0.0006635168,0.001091941,0.001666868,0.0030972,0.008935619,0.001844682,0.002969715,0.01509441],"category_scores_gemma":[0.04319316,0.000785991,0.001299571,0.001238233,0.02110107,0.02791492,0.004599294,0.007490553,0.004171704],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003657999,"about_ca_system_score_gemma":0.00270313,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001841518,"about_ca_topic_score_gemma":0.001285037,"domain_scores_codex":[0.9893211,0.005511586,0.000472197,0.001876662,0.002277892,0.0005404518],"domain_scores_gemma":[0.9625655,0.02311623,0.001323897,0.008815088,0.003011075,0.001168194],"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.00002365846,0.00000338243,0.0000538731,0.00003927002,0.000006850254,0.00001794333,0.0003530651,0.0002778742,0.0001045085,0.990881,0.003121664,0.005116978],"study_design_scores_gemma":[0.0000129515,0.00001282011,0.00004076789,0.00006031898,0.000006730991,0.00004658392,0.00009552349,0.001348815,0.0002834046,0.9302993,0.06778394,0.000008743325],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009740442,0.01263216,0.7551132,0.0519891,0.003622627,0.00009542538,0.0003012311,0.001473631,0.1650322],"genre_scores_gemma":[0.5232683,0.007715319,0.3779144,0.01169362,0.004741652,0.000375454,0.0003723809,0.001669109,0.07224979],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9969028,"threshold_uncertainty_score":0.07119244,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0116543700275107,"score_gpt":0.2478743068915517,"score_spread":0.2362199368640409,"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."}}