{"kind":"task","effective_mode":"full","benchmark":{"kind":"benchmark","effective_mode":"full","slug":"omni-math","formal_name":"Omni-MATH","introduction":"Omni-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":"index","profile":{"resources":[],"task_format":"","scoring":"","metric":"","size":"","answer_access":"","license":"","citation":"","maintainer":"","released":"","why_hard":"","related":[],"history":"","construction":"","limitations":"","saturation":"","scores":[]}},"task_id":"4d1d1673-67e1-59e0-92fb-f69521d3f609","task_key":"test--4d1d1673-67e1-59e0-92fb-f69521d3f609","task_revision_id":"1","upstream_id":"","short_description":"In a fictional world, each resident (viewed as geometric point) is assigned a…","config":"","split":"test","body":"{\"problem\":\"In a fictional world, each resident (viewed as geometric point) is assigned a number: $1,2, \\\\cdots$. In order to fight against some epidemic, the residents take some vaccine and they stay at the vaccination site after taking the shot for observation. Now suppose that the shape of the Observation Room is a circle of radius $\\\\frac{1}{4}$, and one requires that the distance $d_{m, n}$ between the Resident No. $m$ and the Resident No. $n$ must satisfy $(m+n) d_{m, n} \\\\geq 1$. Where we consider the distance on the circle, i.e., the length of the minor arc between two points. Proof Question: Give a proof of your answer to Question (i).\"}","display_format":"math","language":"","answer_status":"published","assets":[],"source_url":"https://huggingface.co/datasets/KbsdJames/Omni-MATH","history":"initial import","indexing_mode":"index","subproblems":[],"grids":[]}