List view

• Wikipedia, Prime Numbers

  tracking [Prime Number section of Wikipedia's List of unsolved problems](https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_mathematics#Prime_numbers )

  No due date

  •8/13 issues closed
  61% complete5 open8 closed

• Wikipedia, Representation Theory

  tracking [Representation Theory section of Wikipedia's List of unsolved problems](https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_mathematics#Representation%20theory)

  No due date

  •0/5 issues closed
  0% complete5 open0 closed

• Open Quantum Problems

  Quantum Problems from the [IQOQI Vienna Open Quantum Problems list](https://oqp.iqoqi.oeaw.ac.at/open-quantum-problems)

  No due date

  •1/49 issues closed
  2% complete48 open1 closed

• Wikipedia, Analysis

  tracking [Analysis section of Wikipedia's List of unsolved problems](https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_mathematics#Analysis)

  No due date

  •5/14 issues closed
  35% complete9 open5 closed

• Wikipedia, Combinatorics

  tracking [Combinatorics section of Wikipedia's List of unsolved problems](https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_mathematics#Combinatorics)

  No due date

  •9/20 issues closed
  45% complete11 open9 closed

• Millennium Prize Problems

  https://www.claymath.org/millennium-problems/

  No due date

  •3/6 issues closed
  50% complete3 open3 closed

• Wikipedia, Number Theory, General

  tracking [Number theory (General) section of Wikipedia's List of unsolved problems](https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_mathematics#General)

  No due date

  •22/33 issues closed
  66% complete11 open22 closed

• Wikipedia, Topology

  tracking [Topology section of Wikipedia's List of unsolved problems](https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_mathematics#Topology)

  No due date

  •1/16 issues closed
  6% complete15 open1 closed

• Wikipedia, Group Theory

  tracking [Group theory section of Wikipedia's List of unsolved problems](https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_mathematics#Group_theory)

  No due date

  •4/11 issues closed
  36% complete7 open4 closed

• Kourovka: all open problems from 1st edition

  Probive formalisatons of all unsolved problems from the Kourovka notebook: https://arxiv.org/pdf/1401.0300

  No due date

  •0/18 issues closed
  0% complete18 open0 closed

• Wikipedia, Algebra

  tracking [Algebra section of Wikipedia's List of unsolved problems](https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_mathematics#Algebra)

  No due date

  •4/26 issues closed
  15% complete22 open4 closed

• Ben Green's open problems

  Formalising all (open or solved) Problems from Green's 100 open problems

  No due date

  •33/102 issues closed
  32% complete69 open33 closed

• All open Erdős problems formalized

  Formalise the main statement from all unsolved problems of https://www.erdosproblems.com/ These tracks the unsolved problems with the status "open", "verifiable" and "falsifiable" and "decidable". Note that for some formalisations of open problems in the repo, we haven't opened issues at all, hence the progress percentage will be an underestimate. The true number of open problems to be formalised can be found at https://github.com/teorth/erdosproblems and is currently 693.

  No due date

  •306/689 issues closed
  44% complete383 open306 closed