{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009202259,0.0006193305,0.00100386,0.002816695,0.003620068,0.008945768,0.002421021,0.002893656,0.01123764],"category_scores_gemma":[0.0264412,0.0007963455,0.001960564,0.001210777,0.02980445,0.01953433,0.006348495,0.00651903,0.001470862],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003985066,"about_ca_system_score_gemma":0.003484035,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00320043,"about_ca_topic_score_gemma":0.001706946,"domain_scores_codex":[0.9945755,0.002144899,0.0004390583,0.001027643,0.00133562,0.0004772372],"domain_scores_gemma":[0.9798422,0.01386769,0.0008692675,0.003110134,0.001757434,0.0005531978],"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.00001859245,0.000007312941,0.00007952181,0.00003136264,0.00000845877,0.00005965345,0.0001540812,0.0004882485,0.0001401905,0.9954734,0.0007597786,0.002779249],"study_design_scores_gemma":[0.00001425341,0.000008357577,0.00005272699,0.00002737912,0.000006491165,0.00002358027,0.00003982149,0.001655568,0.000248668,0.9934886,0.004425697,0.000008919967],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06517554,0.003105997,0.5534547,0.06621278,0.001968235,0.0002984784,0.0006257757,0.00277168,0.3063868],"genre_scores_gemma":[0.8210608,0.00156769,0.1521469,0.006464612,0.001130879,0.0003220669,0.0003974352,0.000436966,0.0164727],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01123764,"threshold_uncertainty_score":0.04866678,"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."}}