{"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":"eec8241e-88f7-5995-80fa-dcff21bd0ed4","task_key":"test--eec8241e-88f7-5995-80fa-dcff21bd0ed4","task_revision_id":"1","upstream_id":"","short_description":"( Reid Barton ) An animal with $n$ cells is a connected figure consisting of $n$…","config":"","split":"test","body":"{\"problem\":\"( Reid Barton ) An animal with $n$  cells is a connected figure consisting of $n$ equal-sized square cells. ${}^1$ The figure below shows an 8-cell animal.\\n\\nA dinosaur is an animal with at least 2007 cells.  It is said to be primitive if its cells cannot be partitioned into two or more dinosaurs.  Find with proof the maximum number of cells in a primitive dinosaur.\\nAnimals are also called polyominoes .  They can be defined inductively .  Two cells are adjacent if they share a complete edge .  A single cell is an animal, and given an animal with cells, one with cells is obtained by adjoining a new cell by making it adjacent to one or more existing cells.\"}","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":[]}