{"kind":"task","effective_mode":"full","benchmark":{"kind":"benchmark","effective_mode":"full","slug":"math","formal_name":"MATH","introduction":"MATH organises 12,500 high-school competition problems into seven subjects and five difficulty levels, each with a full worked solution. It underlies much of the later mathematics evaluation work; this catalogue imports the full test split: 5,000 problems across all seven subjects.","introduction_ja":"","introduction_en":"","category":"Category not supplied","task_count":null,"acquisition_status":"Acquisition status not supplied","official_url":"https://github.com/hendrycks/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":"9b63ffa7-9623-5425-a5f6-c267b322c578","task_key":"geometry--test--9b63ffa7-9623-5425-a5f6-c267b322c578","task_revision_id":"1","upstream_id":"","short_description":"A regular octagon is formed by cutting an isosceles right triangle from each of…","config":"geometry","split":"test","body":"{\"level\":\"Level 5\",\"problem\":\"A regular octagon is formed by cutting an isosceles right triangle from each of the corners of a square with sides of length 2000. What is the length of each side of the octagon? Express your answer in simplest radical form.\",\"type\":\"Geometry\"}","display_format":"math","language":"","answer_status":"published","assets":[],"source_url":"https://github.com/hendrycks/math","history":"initial import","indexing_mode":"index","subproblems":[],"grids":[]}