{"id":"W4387928928","doi":"10.48550/arxiv.2310.14252","title":"Proof of Irvine's Conjecture via Mechanized Guessing","year":2023,"lang":"en","type":"preprint","venue":"ArXiv.org","topic":"Artificial Intelligence in Games","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Conjecture; Automated theorem proving; Mathematics; Gas meter prover; Calculus (dental); Discrete mathematics; Computer science; Mathematical economics; Algorithm; Mathematical proof; Geometry","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003881981,0.001026106,0.001324806,0.000903133,0.002012759,0.00255992,0.002951796,0.00236484,0.02045184],"category_scores_gemma":[0.03438123,0.001029768,0.002972802,0.0009813341,0.005954893,0.007459221,0.006105827,0.007971763,0.003164695],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002029516,"about_ca_system_score_gemma":0.003010438,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002948316,"about_ca_topic_score_gemma":0.002766224,"domain_scores_codex":[0.996026,0.001107667,0.0001850486,0.0008613578,0.001304374,0.0005155591],"domain_scores_gemma":[0.9786907,0.01469357,0.0006024393,0.003635226,0.001872608,0.0005053325],"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.00009779405,0.0000976537,0.0004722691,0.0002265075,0.00005155164,0.0002700922,0.0005028997,0.009001134,0.001959925,0.9541495,0.01869279,0.01447781],"study_design_scores_gemma":[0.0001202843,0.00007004467,0.0002778207,0.0001031438,0.00005532504,0.0001690487,0.0001032146,0.04863548,0.00320811,0.9302992,0.01690587,0.00005249551],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06013033,0.0012672,0.7865361,0.03794182,0.003203509,0.0003502264,0.000801985,0.004071756,0.1056971],"genre_scores_gemma":[0.7647734,0.001350716,0.1938628,0.00660847,0.001212541,0.0007084882,0.0007365004,0.0008600935,0.02988695],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02045184,"threshold_uncertainty_score":0.0684182,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1069590236617751,"score_gpt":0.3226974811790573,"score_spread":0.2157384575172823,"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."}}