{"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":"36d5e112-ee69-5dd2-bdde-c1b2ed89146a","task_key":"test--36d5e112-ee69-5dd2-bdde-c1b2ed89146a","task_revision_id":"2","upstream_id":"","short_description":"Find a real number $t$ such that for any set of 120 points $P_1, \\ldots P_{120}$…","config":"","split":"test","body":"{\"problem\":\"Find a real number $t$ such that for any set of 120 points $P_1, \\\\ldots P_{120}$ on the boundary of a unit square, there exists a point $Q$ on this boundary with $|P_1Q| + |P_2Q| + \\\\cdots + |P_{120}Q| = t$.\"}","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":[]}