{"id":"W4400700781","doi":"10.1007/978-3-031-65572-2_23","title":"AGI from the Perspectives of Categorical Logic and Algebraic Geometry","year":2024,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Discovery Centre","funders":"","keywords":"Categorical variable; Computer science; Algebra over a field; Algebraic number; Geometry; Calculus (dental); Mathematics; Pure mathematics; Mathematical analysis; Machine learning","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003346778,0.0002558076,0.0002797949,0.000381868,0.0001264531,0.0003338363,0.001097551,0.0001662966,0.00004986321],"category_scores_gemma":[0.00008018067,0.0001773893,0.00007675187,0.0005682625,0.0009117275,0.0002509766,0.0007687263,0.0005360752,0.00001591656],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001119508,"about_ca_system_score_gemma":0.0002167718,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005605368,"about_ca_topic_score_gemma":0.00006762372,"domain_scores_codex":[0.9980788,0.00002226333,0.000286137,0.0008974778,0.0004901724,0.0002251529],"domain_scores_gemma":[0.9983814,0.0006781172,0.00013456,0.0006029482,0.0001323715,0.00007060069],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000002857386,0.0000140805,0.0001743202,0.00001987578,0.00002527533,0.00003413438,0.004792613,0.006325621,0.00006732655,0.4801681,0.00002807844,0.5083477],"study_design_scores_gemma":[0.000120615,0.00007614132,0.001347514,0.0001245209,0.00001488246,0.00005858944,0.000005989269,0.29826,0.0001412471,0.6992229,0.0003102737,0.0003173761],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0002301984,0.002743324,0.991243,0.002978202,0.0008520562,0.0001708004,0.000006836022,0.00007610417,0.00169945],"genre_scores_gemma":[0.8519683,0.0003288815,0.1461133,0.0009639813,0.0003271343,0.000003735031,0.000004223005,0.00001960379,0.0002708717],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8517381,"threshold_uncertainty_score":0.7233725,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01234874304953564,"score_gpt":0.2350069216905359,"score_spread":0.2226581786410003,"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."}}