{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001553198,0.000209327,0.0003955171,0.00003116411,0.0001654119,0.0002764098,0.0008402594,0.00005105279,0.0001725163],"category_scores_gemma":[0.0003925857,0.0001352654,0.0002625585,0.0004115043,0.0007613188,0.0002690334,0.0007942441,0.0003765213,0.00007416275],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005648919,"about_ca_system_score_gemma":0.00006172835,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003928504,"about_ca_topic_score_gemma":2.786477e-7,"domain_scores_codex":[0.9981717,0.0003132195,0.000461862,0.0002929531,0.0004795675,0.0002806357],"domain_scores_gemma":[0.9983075,0.0007514503,0.0002152187,0.0005264735,0.00008668587,0.0001126673],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000008534817,0.000174557,0.00009126878,0.0007301621,0.000111601,0.000001741346,0.0131406,0.000108085,0.00009638641,0.7740597,0.001727574,0.2097498],"study_design_scores_gemma":[0.0001928267,0.0002819235,0.0006745448,0.0001842241,0.00004844103,0.00006882621,0.001248061,0.5690868,0.0002485081,0.3932523,0.03437632,0.0003372337],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01886405,0.0003149877,0.9600698,0.0143677,0.0001588073,0.0004491508,0.000009770822,0.0004881881,0.005277579],"genre_scores_gemma":[0.6717257,0.0000738328,0.3244669,0.003180474,0.00008801771,0.00003611725,0.000003024431,0.00002891004,0.0003970559],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6528617,"threshold_uncertainty_score":0.5515963,"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."}}