{"kind":"task","effective_mode":"full","benchmark":{"kind":"benchmark","effective_mode":"full","slug":"omni-math","formal_name":"Omni-MATH","introduction":"数学オリンピック水準の問題を通じて、数学的推論能力を評価するベンチマークです。公式データは4,428問を収録し、分野や難易度の情報を伴います。\n\nOmni-MATH evaluates mathematical reasoning on Olympiad-level problems. Its official dataset contains 4,428 problems accompanied by domain and difficulty information.","introduction_ja":"","introduction_en":"","category":"Category not supplied","task_count":null,"acquisition_status":"Acquisition status not supplied","official_url":"https://huggingface.co/datasets/KbsdJames/Omni-MATH","indexing_mode":"noindex"},"task_id":"372dfa89-570a-5d00-9ac1-4516b2e4d443","task_key":"test--372dfa89-570a-5d00-9ac1-4516b2e4d443","task_revision_id":"2","upstream_id":"","short_description":"Let the circumcenter of triangle $ABC$ be $O$. $H_A$ is the projection of $A$…","config":"","split":"test","body":"{\"problem\":\"Let the circumcenter of triangle $ABC$ be $O$. $H_A$ is the projection of $A$ onto $BC$. The extension of $AO$ intersects the circumcircle of $BOC$ at $A'$. The projections of $A'$ onto $AB, AC$ are $D,E$, and $O_A$ is the circumcentre of triangle $DH_AE$. Define $H_B, O_B, H_C, O_C$ similarly. \\nProve: $H_AO_A, H_BO_B, H_CO_C$ are concurrent\"}","display_format":"text","language":"","answer_status":"published","assets":[],"source_url":"https://huggingface.co/datasets/KbsdJames/Omni-MATH","history":"initial import","indexing_mode":"noindex","subproblems":[],"grids":[]}