{"id":"W2034594082","doi":"10.1016/j.top.2007.02.002","title":"Betti numbers of finitely presented groups and very rapidly growing functions","year":2007,"lang":"en","type":"article","venue":"Topology","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada; National Science Foundation","keywords":"Betti number; Mathematics; Turing machine; Halting problem; Combinatorics; Turing; Function (biology); Discrete mathematics; Group (periodic table); Algorithm; Computer science","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":[],"consensus_categories":[],"category_scores_codex":[0.0005867283,0.0001253012,0.0002333025,0.0001716276,0.0001039948,0.00001628774,0.0004219289,0.0001088708,0.00004571925],"category_scores_gemma":[0.0001319875,0.0001253075,0.00006537571,0.0004026101,0.0003046971,0.0002941145,0.0004379346,0.0001660567,0.00001746091],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003140718,"about_ca_system_score_gemma":0.00003681084,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002715966,"about_ca_topic_score_gemma":0.00008941715,"domain_scores_codex":[0.9986835,0.0001033948,0.0003141477,0.0003901072,0.0001527969,0.0003560232],"domain_scores_gemma":[0.9985526,0.0007161525,0.00008820745,0.0004639708,0.0000806177,0.00009842553],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.0002081449,0.00116351,0.2044019,0.0002079002,0.0003558754,0.0002991951,0.00675896,0.0008662187,0.007677014,0.3212288,0.007056203,0.4497763],"study_design_scores_gemma":[0.003920034,0.002098398,0.7560486,0.00004884212,0.0001003909,0.0008717572,0.00167076,0.06045856,0.009718143,0.1335872,0.03006982,0.001407506],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.44324,0.0002908132,0.5508864,0.001407197,0.001034665,0.0001328221,0.000002337346,0.0001460281,0.002859759],"genre_scores_gemma":[0.976382,0.000009338804,0.02299015,0.000297779,0.0001272086,0.000003951582,0.00000275492,0.000007235633,0.0001795745],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5516466,"threshold_uncertainty_score":0.5109892,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01598620159817707,"score_gpt":0.2591690357356309,"score_spread":0.2431828341374538,"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."}}