David Chaum Updated 2025-07-16
OpenAI Gym Updated 2025-07-16
Development ceased in 2021 and was taken up by a not-for-profit as Farama Gymnasium.
P versus NP problem Updated 2025-07-16
Interesting because of the Cook-Levin theorem: if only a single NP-complete problem were in P, then all NP-complete problems would also be P!
We all know the answer for this: either false or independent.
Variational quantum eigensolver Updated 2025-07-16
TODO clear example of the computational problem that it solves.
BB(5) Updated 2025-07-16
The last value we will likely every know for the busy beaver function! BB(6) is likely completely out of reach forever.
By 2023, it had basically been decided by the The Busy Beaver Challenge as mentioned at: discuss.bbchallenge.org/t/the-30-to-34-ctl-holdouts-from-bb-5/141, pending only further verification. It is going to be one of those highly computational proofs that will be needed to be formally verified for people to finally settle.
As that project beautifully puts it, as of 2023 prior to full resolution, this can be considered the:
simplest open problem in mathematics
on the Busy beaver scale.

There are unlisted articles, also show them or only show them.