Conjectures.io

Catalog

What changed in the pool.

New problems arrive in batches, each time the pool is pinned to a newer revision of the formal-conjectures repository. A solved problem appears again on the day it was marked solved.

  1. 26 Oct 2026

  2. 23 Oct 2026

  3. 12 Oct 2026

  4. 8 Oct 2026

  5. 7 Oct 2026

  6. 6 Oct 2026

  7. 26 Sept 2026

  8. 22 Sept 2026

  9. 21 Sept 2026

  10. 16 Sept 2026

  11. 15 Sept 2026

  12. 11 Sept 2026

  13. 9 Sept 2026

  14. 8 Sept 2026

  15. 25 Aug 2026

  16. 13 Aug 2026

  17. 5 Aug 2026

    106 added