{"id":"W2903822982","doi":"10.1038/s42256-018-0002-3","title":"Learnability can be undecidable","year":2018,"lang":"en","type":"article","venue":"Nature Machine Intelligence","topic":"Machine Learning and Algorithms","field":"Computer Science","cited_by":73,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Simons Institute for the Theory of Computing, University of California Berkeley; Israel Science Foundation; Blavatnik Family Foundation","keywords":"Learnability; Undecidable problem; Axiom; Equivalence (formal languages); Computer science; Simple (philosophy); Theoretical computer science; Mathematical economics; Calculus (dental); Discrete mathematics; Mathematics; Artificial intelligence; Epistemology; Philosophy","routes":{"ca_aff":true,"ca_fund":false,"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.003663613,0.001288065,0.001312424,0.001655613,0.002879253,0.00619203,0.003153342,0.003786027,0.01284971],"category_scores_gemma":[0.03795297,0.001146875,0.002712643,0.001785804,0.008218228,0.01751988,0.005508211,0.01186885,0.001583086],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003317735,"about_ca_system_score_gemma":0.003076082,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002719257,"about_ca_topic_score_gemma":0.002697228,"domain_scores_codex":[0.9940841,0.00105427,0.0004178032,0.001672352,0.001765019,0.001006515],"domain_scores_gemma":[0.9408681,0.04745974,0.001759687,0.004816121,0.003774998,0.001321389],"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.000184827,0.0001596408,0.001312978,0.0003214752,0.00007220803,0.0003106877,0.0004797626,0.008978446,0.0009512417,0.9568822,0.01201329,0.01833309],"study_design_scores_gemma":[0.00002831718,0.000009022774,0.00007453351,0.00001773959,0.00001623469,0.00005213415,0.00005054177,0.006594499,0.000572313,0.9906383,0.00193603,0.0000104052],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2841479,0.002319994,0.4750483,0.05621612,0.002271598,0.0003814723,0.00489325,0.004947103,0.1697742],"genre_scores_gemma":[0.9313591,0.0009744255,0.0340606,0.004202155,0.0009586914,0.0004514394,0.003126891,0.0007760884,0.02409058],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01284971,"threshold_uncertainty_score":0.04298657,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01066293481570787,"score_gpt":0.2962755317636216,"score_spread":0.2856125969479138,"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."}}