Definition
Plain language
A long-running international collection of unsolved problems in group theory.
As stated in the literature
A canonical compendium of open problems in group theory maintained at Novosibirsk since 1965, used as a source of genuinely unsolved problems in the AI Co-Mathematician case studies.
Why it matters: It supplies a community-vetted source of genuinely unsolved problems, which is essential when testing whether an AI is doing real research rather than rediscovering known results.
For example, a group-theory question first posed in the 1970s might still sit open in the Kourovka Notebook waiting for any solver — human or AI — to crack it.