{"id":"W4398767262","doi":"10.1090/bull/1839","title":"Machine Learning and Information Theory Concepts towards an AI Mathematician","year":2024,"lang":"en","type":"article","venue":"Bulletin of the American Mathematical Society","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal; Mila - Quebec Artificial Intelligence Institute","funders":"Canadian Institute for Advanced Research","keywords":"Computer science; Artificial intelligence; Cognitive science; Epistemology; Mathematics education; Philosophy; Psychology","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":[],"consensus_categories":[],"category_scores_codex":[0.007459676,0.0009465931,0.0008989542,0.002419777,0.001526643,0.005225524,0.001674736,0.002822511,0.003290611],"category_scores_gemma":[0.02029813,0.0005692792,0.001232951,0.001917971,0.01476702,0.01693113,0.002805079,0.01097522,0.001169373],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003398668,"about_ca_system_score_gemma":0.00145916,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006881796,"about_ca_topic_score_gemma":0.0003508108,"domain_scores_codex":[0.995869,0.002175949,0.0002221991,0.0005393852,0.001004848,0.000188583],"domain_scores_gemma":[0.9789891,0.01711454,0.0007294939,0.00171299,0.00110412,0.0003496611],"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.000006915689,0.000008187652,0.00006016744,0.00004389925,0.000006483208,0.00001195304,0.0001115715,0.001061451,0.00007504358,0.9922622,0.002434355,0.003917706],"study_design_scores_gemma":[0.000003402218,0.000005049854,0.00002475385,0.00001602644,0.000002078307,0.0000113741,0.00002223519,0.003067585,0.00007055569,0.9907643,0.006009339,0.00000321062],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01871569,0.02445192,0.7283573,0.1559316,0.002032252,0.00005086251,0.000385134,0.0004407099,0.0696344],"genre_scores_gemma":[0.589333,0.01918981,0.3407249,0.01969986,0.009968271,0.0003906176,0.0003956626,0.0004119167,0.01988601],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007459676,"threshold_uncertainty_score":0.039451,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008002583503308961,"score_gpt":0.2711628401269462,"score_spread":0.2631602566236373,"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."}}