{"id":"W4390940921","doi":"10.1038/s41586-023-06747-5","title":"Solving olympiad geometry without human demonstrations","year":2024,"lang":"en","type":"article","venue":"Nature","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":254,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"York University","keywords":"Olympiad; Mathematical proof; Automated theorem proving; Computer science; Gas meter prover; Euclidean geometry; Artificial intelligence; Calculus (dental); Mathematics; Theoretical computer science; Geometry; Mathematics education","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002312246,0.0001039243,0.00009943466,0.0001327759,0.00019626,0.0005610998,0.0004741386,0.0004913813,0.0000191901],"category_scores_gemma":[0.00002612993,0.00008088522,0.00006950884,0.0005357136,0.00002697366,0.0003484463,0.00009167685,0.0009825807,0.0001300769],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003149737,"about_ca_system_score_gemma":0.00006650977,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001670456,"about_ca_topic_score_gemma":0.00002555983,"domain_scores_codex":[0.9990836,0.00002760186,0.0001279922,0.0003170052,0.0002316211,0.000212221],"domain_scores_gemma":[0.9995047,0.00003740826,0.00002713114,0.0003236587,0.00004574639,0.00006128619],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[2.224459e-7,0.00001539509,0.001823208,0.00003892221,0.00002188379,0.00003693488,0.0003537682,0.0000027376,0.001406488,0.9744241,0.005174527,0.01670185],"study_design_scores_gemma":[0.000577328,0.0002654659,0.01564497,0.000129446,0.00006778544,0.0004907674,0.0002092629,0.02973609,0.005257107,0.1943667,0.7519661,0.001288942],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02199508,0.02153715,0.8532638,0.002555575,0.006656917,0.0004629371,0.000003068038,0.002441572,0.09108393],"genre_scores_gemma":[0.9935038,0.000005077546,0.003223286,0.000228702,0.0003575417,0.000009567597,0.000004801123,0.000008913003,0.0026583],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9715087,"threshold_uncertainty_score":0.5410698,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01459979506797145,"score_gpt":0.2838805558926104,"score_spread":0.2692807608246389,"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."}}