{"id":"W4402930077","doi":"10.4236/jamp.2024.129189","title":"Artificial Intelligence as a Check on Logic","year":2024,"lang":"en","type":"article","venue":"Journal of Applied Mathematics and Physics","topic":"Algebraic and Geometric Analysis","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Cybernet Systems Corporation (Canada)","funders":"","keywords":"Computer science; Artificial intelligence; Programming language; Arithmetic; Natural language processing; Calculus (dental); Mathematics; Medicine","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.000585461,0.0001767442,0.0004274282,0.000128701,0.00006493587,0.0001160817,0.0001586687,0.00007466816,0.00009875016],"category_scores_gemma":[0.0001244112,0.000122507,0.0001847001,0.0005606819,0.00006538076,0.00006305944,0.00004090415,0.0003209639,0.00009315752],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003005952,"about_ca_system_score_gemma":0.00006003054,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":5.277855e-7,"about_ca_topic_score_gemma":2.021398e-7,"domain_scores_codex":[0.9986591,0.000006086424,0.0006085637,0.0001392727,0.0004245094,0.0001624589],"domain_scores_gemma":[0.9985827,0.0007733343,0.0002951474,0.000169103,0.00008400724,0.00009573845],"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.00001754719,0.0002013748,2.37608e-7,0.0002352103,0.0001780841,0.00002047229,0.001359764,0.00004183703,0.0001684753,0.9341637,0.0006968152,0.06291649],"study_design_scores_gemma":[0.00003112156,0.0001497019,5.19914e-7,0.0001332861,0.0002400153,0.00003577744,0.001005075,0.005624499,0.002574093,0.989677,0.000397315,0.0001315747],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09140155,0.0004421026,0.8685009,0.0006052339,0.0002434316,0.000220218,0.00000573738,0.00005858112,0.03852224],"genre_scores_gemma":[0.8985378,0.0002485954,0.1000719,0.0001704059,0.0007001718,0.000004513491,9.674333e-7,0.00004033932,0.0002253175],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8071362,"threshold_uncertainty_score":0.4995688,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06493424592419433,"score_gpt":0.3271998198003311,"score_spread":0.2622655738761368,"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."}}