{"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":"e3d695cb-da84-5946-932b-96b8e2ecc6e8","task_key":"test--e3d695cb-da84-5946-932b-96b8e2ecc6e8","task_revision_id":"1","upstream_id":"","short_description":"There are 2022 marked points on a straight line so that every two adjacent…","config":"","split":"test","body":"{\"problem\":\"There are 2022 marked points on a straight line so that every two adjacent points are the same distance apart. Half of all the points are coloured red and the other half are coloured blue. Can the sum of the lengths of all the segments with a red left endpoint and a blue right endpoint be equal to the sum of the lengths of all the segments with a blue left endpoint and a red right endpoint?\"}","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":[]}