{"id":"W2044442024","doi":"10.1109/jproc.2013.2274907","title":"The Reasonable Ineffectiveness of Mathematics [Point of View]","year":2013,"lang":"en","type":"article","venue":"Proceedings of the IEEE","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"University of Illinois at Urbana-Champaign; Massachusetts Institute of Technology; University of Cape Town; Carnegie Mellon University; Arizona State University; University of Waterloo","keywords":"Miracle; Presupposition; Point (geometry); Mathematics; Mathematical economics; Epistemology; Philosophy; Theology","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"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.001062354,0.0001322702,0.0003103462,0.00004000847,0.00008983892,0.00005484331,0.002098097,0.00004686122,0.000004711559],"category_scores_gemma":[0.0004082301,0.00007179513,0.000136288,0.0005164446,0.000230273,0.0003223191,0.0006465674,0.0001150226,0.000005038118],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003644192,"about_ca_system_score_gemma":0.00004216731,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001077401,"about_ca_topic_score_gemma":0.000001692774,"domain_scores_codex":[0.9986851,0.00001754025,0.0004420346,0.0002123399,0.0004303016,0.0002126588],"domain_scores_gemma":[0.9977301,0.0004149853,0.0005296765,0.0004176236,0.0008705238,0.0000370361],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00003793183,0.002307931,0.02724508,0.005910784,0.0003562817,4.652593e-7,0.01412187,0.0004770119,0.4538777,0.3597785,0.007092401,0.128794],"study_design_scores_gemma":[0.0003352308,0.0002484894,0.01765867,0.0003520859,0.00002748187,0.00002027221,0.0004036743,0.08192706,0.610124,0.2884649,0.0002281496,0.0002100408],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9822896,0.0001881231,0.01267908,0.0009800656,0.0004270175,0.000906253,0.000001482409,0.00004987261,0.002478505],"genre_scores_gemma":[0.974704,0.00001554943,0.02506915,0.00001785331,0.00003211113,0.00004248839,2.579261e-8,0.000008996112,0.0001098568],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1562463,"threshold_uncertainty_score":0.3898821,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009238316646757484,"score_gpt":0.2108503160133937,"score_spread":0.2016119993666362,"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."}}