MathWorld Unsolved Problems

Stream: Formal conjectures

[Ralf Stephan]

Another list with potential entries: https://mathworld.wolfram.com/topics/UnsolvedProblems.html
Not sure if there are any not in our current lists? if you spot one, please add it as issue, or just give a hint here.

[Moritz Firsching]

There are definitely some problems on there that are do-able with current mathlib and the don't yet have.
Not sure if all of them are in some other lists.
It might be a good time to take some of the tracking issue, like FC#644 (wikipedia number theory), FC#202 (wikipedia algebra), FC#209 (Kourovka Notebook, group theory) and convert them into individual issues. This way they might have better visibility and they can more easily be classified into "good first issue"s or we can add a label "needs major mathlib contributions" to indicate that we don't have the definitions ready for that problem yet.