{"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":"bf37b2ed-6ad9-5d55-b0bd-45a2539e7a4e","task_key":"test--bf37b2ed-6ad9-5d55-b0bd-45a2539e7a4e","task_revision_id":"1","upstream_id":"","short_description":"Find all sequences $a_{0}, a_{1},\\ldots, a_{n}$ of real numbers such that…","config":"","split":"test","body":"{\"problem\":\"Find all sequences $a_{0}, a_{1},\\\\ldots, a_{n}$ of real numbers such that $a_{n}\\\\neq 0$, for which the following statement is true:\\n\\n  If $f: \\\\mathbb{R}\\\\to\\\\mathbb{R}$ is an $n$ times differentiable function\\n  and $x_{0}<x_{1}<\\\\ldots <x_{n}$ are real numbers such that\\n   $f(x_{0})=f(x_{1})=\\\\ldots =f(x_{n})=0$ then there is $h\\\\in (x_{0}, x_{n})$ for which \\\\[a_{0}f(h)+a_{1}f'(h)+\\\\ldots+a_{n}f^{(n)}(h)=0.\\\\]\"}","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":[]}