{"id":"W1529616432","doi":"10.2172/983782","title":"Computer-Assisted Discovery and Proof","year":2007,"lang":"en","type":"report","venue":"","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"Dalhousie University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Software; Action (physics); Proof of concept; Software engineering; Programming language; Theoretical computer science; Operating system","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001938724,0.000378013,0.0007791055,0.0001805737,0.0001216162,0.00007527645,0.0001971856,0.0004359673,0.0002260027],"category_scores_gemma":[0.0003655317,0.0003019521,0.0001693376,0.00008200542,0.0001662835,0.0001198225,0.0001420296,0.0004032644,0.00002613519],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001984446,"about_ca_system_score_gemma":0.0003334341,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001095851,"about_ca_topic_score_gemma":0.0000427705,"domain_scores_codex":[0.9979016,0.00006153891,0.000661054,0.0003753466,0.0007196543,0.00028087],"domain_scores_gemma":[0.997929,0.0007636691,0.0004364408,0.0005684458,0.000188402,0.0001140162],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00005340616,0.001291109,0.00004805687,0.01450984,0.0007554606,0.0004348134,0.00151644,4.017141e-7,0.00002188768,0.2656222,0.6105264,0.10522],"study_design_scores_gemma":[0.0004794695,0.0001919905,0.00005161727,0.001376546,0.0004507616,0.001120161,0.0001202848,0.00006589422,0.0003268942,0.2886117,0.7061414,0.001063309],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00678702,0.0006333275,0.1303201,0.0000355084,0.001504207,0.0006953446,0.00003561482,0.0002806112,0.8597083],"genre_scores_gemma":[0.01299326,0.0002660579,0.216706,0.0002085815,0.002653629,0.00004829647,0.0001012182,0.0003567785,0.7666662],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.1041567,"threshold_uncertainty_score":0.9999433,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09484919594895515,"score_gpt":0.3383122274640157,"score_spread":0.2434630315150605,"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."}}