{"id":"W4288598845","doi":"","title":"Identifying key ideas in proof: the case of the irrationality of √k","year":2019,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Artificial Intelligence in Law","field":"Social Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto; Simon Fraser University","funders":"","keywords":"Irrationality; Key (lock); Computer science; Proof of concept; Mathematical economics; Mathematics; Epistemology; Computer security; Philosophy; Rationality","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.01471809,0.0001674898,0.0002957343,0.0000914401,0.0005165926,0.0001622324,0.001923848,0.0002442405,0.0001721356],"category_scores_gemma":[0.005409254,0.000129052,0.0002288263,0.0006241306,0.001361108,0.0001470642,0.001240686,0.0006053895,0.00001153225],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001619271,"about_ca_system_score_gemma":0.0008558513,"about_ca_topic_candidate":true,"about_ca_topic_consensus":true,"about_ca_topic_score_codex":0.0576643,"about_ca_topic_score_gemma":0.1820526,"domain_scores_codex":[0.9879684,0.009993704,0.0007826823,0.0004109796,0.0005856052,0.0002585912],"domain_scores_gemma":[0.9922959,0.002705732,0.0009658221,0.001861899,0.002113608,0.00005700597],"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.00000770006,0.000293393,0.01321341,0.0001584235,0.00003513671,0.000004533438,0.1199307,0.000658253,0.0005466626,0.8561763,0.0002234859,0.008751999],"study_design_scores_gemma":[0.0004813024,0.000001034864,0.031158,0.007790505,0.0001816982,0.00003185876,0.03169932,0.0197105,0.254171,0.6389233,0.01469195,0.001159444],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8661564,0.0007906848,0.0141826,0.02017664,0.0008200728,0.001692385,0.00007279278,0.00004657967,0.09606183],"genre_scores_gemma":[0.995123,0.0000965165,0.001697011,0.00004411652,0.00002363068,0.00004388758,0.00001640222,0.00001534246,0.002940152],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2536244,"threshold_uncertainty_score":0.9486108,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05213636681071079,"score_gpt":0.3284563582104416,"score_spread":0.2763199913997308,"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."}}