{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01055164,0.0014635,0.001402245,0.003904617,0.00201132,0.007526682,0.004098578,0.002691895,0.01432791],"category_scores_gemma":[0.02617679,0.001284547,0.001668278,0.002576561,0.01371984,0.0120476,0.007342812,0.006093882,0.008331968],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002764092,"about_ca_system_score_gemma":0.003892448,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001168603,"about_ca_topic_score_gemma":0.0009797133,"domain_scores_codex":[0.9865496,0.004630552,0.0006165316,0.001441614,0.006358778,0.0004029282],"domain_scores_gemma":[0.9749607,0.0156338,0.000796753,0.006108006,0.002110691,0.0003900785],"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.00004022236,0.0000470335,0.0001285545,0.0003063403,0.00003988096,0.00009655323,0.0002166192,0.002023276,0.0009646786,0.9127209,0.01527994,0.06813613],"study_design_scores_gemma":[0.00005603267,0.00003480319,0.00008625693,0.0001502393,0.0000156645,0.0002119642,0.00004502733,0.008809731,0.003060103,0.862206,0.1252827,0.00004155049],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.002551147,0.009555025,0.90592,0.007449616,0.001013423,0.0002469617,0.000236592,0.002019454,0.07100783],"genre_scores_gemma":[0.1239599,0.01582042,0.8238372,0.001963261,0.002451719,0.0006639227,0.0007809523,0.0005383304,0.02998425],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.01432791,"threshold_uncertainty_score":0.05580312,"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."}}