https://conjectures.io 2026-08-05T23:20:25.685Z daily 1 https://conjectures.io/problems 2026-08-05T23:20:25.685Z daily 0.7 https://conjectures.io/results 2026-08-05T23:20:25.685Z daily 0.7 https://conjectures.io/submit-a-proof 2026-08-05T23:20:25.685Z daily 0.7 https://conjectures.io/how-it-works 2026-08-05T23:20:25.685Z daily 0.7 https://conjectures.io/faq 2026-08-05T23:20:25.685Z daily 0.7 https://conjectures.io/blog 2026-08-05T23:20:25.685Z daily 0.7 https://conjectures.io/status 2026-08-05T23:20:25.685Z daily 0.7 https://conjectures.io/problems/erdos10-erdos-10-variants-grechuk daily 0.9 https://conjectures.io/problems/erdos100-erdos-100 daily 0.9 https://conjectures.io/problems/erdos1003-erdos-1003 daily 0.9 https://conjectures.io/problems/erdos1049-erdos-1049 daily 0.9 https://conjectures.io/problems/erdos1055-erdos-1055-variants-erdos-limit daily 0.9 https://conjectures.io/problems/erdos1055-erdos-1055-variants-selfridge-limit daily 0.9 https://conjectures.io/problems/erdos1059-erdos-1059 daily 0.9 https://conjectures.io/problems/erdos1060-erdos-1060-parts-ii daily 0.9 https://conjectures.io/problems/erdos1072-erdos-1072-parts-i daily 0.9 https://conjectures.io/problems/erdos1074-erdos-1074-variants-ehsnumbers-one-half daily 0.9 https://conjectures.io/problems/erdos1093-erdos-1093-parts-ii daily 0.9 https://conjectures.io/problems/erdos1094-erdos-1094 daily 0.9 https://conjectures.io/problems/erdos1095-erdos-1095-variants-log-istheta daily 0.9 https://conjectures.io/problems/erdos1095-erdos-1095-variants-lower-conjecture daily 0.9 https://conjectures.io/problems/erdos11-erdos-11 daily 0.9 https://conjectures.io/problems/erdos1107-erdos-1107 daily 0.9 https://conjectures.io/problems/erdos1108-erdos-1108-parts-i daily 0.9 https://conjectures.io/problems/erdos1135-erdos-1135 daily 0.9 https://conjectures.io/problems/erdos1142-erdos-1142 daily 0.9 https://conjectures.io/problems/erdos120-erdos-120 daily 0.9 https://conjectures.io/problems/erdos1203-erdos-1203 daily 0.9 https://conjectures.io/problems/erdos1209-erdos-1209-parts-iii-d daily 0.9 https://conjectures.io/problems/erdos126-erdos-126-variants-islittleo daily 0.9 https://conjectures.io/problems/erdos137-erdos-137-variants-multiple-powerful-factors daily 0.9 https://conjectures.io/problems/erdos141-erdos-141-variants-eleven daily 0.9 https://conjectures.io/problems/erdos142-erdos-142-variants-lower daily 0.9 https://conjectures.io/problems/erdos143-erdos-143-parts-ii daily 0.9 https://conjectures.io/problems/erdos15-erdos-15 daily 0.9 https://conjectures.io/problems/erdos153-erdos-153 daily 0.9 https://conjectures.io/problems/erdos17-erdos-17 daily 0.9 https://conjectures.io/problems/erdos184-erdos-184 daily 0.9 https://conjectures.io/problems/erdos196-erdos-196 daily 0.9 https://conjectures.io/problems/erdos208-erdos-208-variants-log-bound daily 0.9 https://conjectures.io/problems/erdos212-erdos-212 daily 0.9 https://conjectures.io/problems/erdos213-erdos-213 daily 0.9 https://conjectures.io/problems/erdos218-erdos-218-variants-ge daily 0.9 https://conjectures.io/problems/erdos218-erdos-218-variants-infinite-equal-prime-gap daily 0.9 https://conjectures.io/problems/erdos218-erdos-218-variants-le daily 0.9 https://conjectures.io/problems/erdos233-erdos-233 daily 0.9 https://conjectures.io/problems/erdos236-erdos-236 daily 0.9 https://conjectures.io/problems/erdos241-erdos-241-variants-generalization daily 0.9 https://conjectures.io/problems/erdos242-erdos-242 daily 0.9 https://conjectures.io/problems/erdos242-erdos-242-variants-schinzel-generalization daily 0.9 https://conjectures.io/problems/erdos243-erdos-243 daily 0.9 https://conjectures.io/problems/erdos249-erdos-249 daily 0.9 https://conjectures.io/problems/erdos251-erdos-251 daily 0.9 https://conjectures.io/problems/erdos252-erdos-252 daily 0.9 https://conjectures.io/problems/erdos264-erdos-264-parts-ii daily 0.9 https://conjectures.io/problems/erdos272-erdos-272-variants-szabo-strong daily 0.9 https://conjectures.io/problems/erdos274-herzog-schonheim daily 0.9 https://conjectures.io/problems/erdos28-erdos-28 daily 0.9 https://conjectures.io/problems/erdos282-erdos-282 daily 0.9 https://conjectures.io/problems/erdos313-erdos-313-variants-primary-pseudoperfect-are-infinite daily 0.9 https://conjectures.io/problems/erdos324-erdos-324-variants-quintic daily 0.9 https://conjectures.io/problems/erdos340-erdos-340 daily 0.9 https://conjectures.io/problems/erdos340-erdos-340-variants-sub-hasposdensity daily 0.9 https://conjectures.io/problems/erdos357-erdos-357-parts-i daily 0.9 https://conjectures.io/problems/erdos357-erdos-357-variants-infinite-set-density daily 0.9 https://conjectures.io/problems/erdos357-erdos-357-variants-infinite-set-sum daily 0.9 https://conjectures.io/problems/erdos357-erdos-357-variants-monotone-parts-i daily 0.9 https://conjectures.io/problems/erdos359-erdos-359-parts-i daily 0.9 https://conjectures.io/problems/erdos359-erdos-359-parts-ii daily 0.9 https://conjectures.io/problems/erdos359-erdos-359-variants-isgoodfor-1-asymptotic daily 0.9 https://conjectures.io/problems/erdos364-erdos-364 daily 0.9 https://conjectures.io/problems/erdos364-erdos-364-variants-strong daily 0.9 https://conjectures.io/problems/erdos371-erdos-371 daily 0.9 https://conjectures.io/problems/erdos373-erdos-373 daily 0.9 https://conjectures.io/problems/erdos373-erdos-373-variants-maximal-solution daily 0.9 https://conjectures.io/problems/erdos373-erdos-373-variants-suranyi daily 0.9 https://conjectures.io/problems/erdos375-erdos-375 daily 0.9 https://conjectures.io/problems/erdos376-erdos-376 daily 0.9 https://conjectures.io/problems/erdos385-erdos-385-parts-i daily 0.9 https://conjectures.io/problems/erdos396-erdos-396 daily 0.9 https://conjectures.io/problems/erdos406-erdos-406-variants-one-two daily 0.9 https://conjectures.io/problems/erdos409-erdos-409-variants-sigma-termination daily 0.9 https://conjectures.io/problems/erdos41-erdos-41 daily 0.9 https://conjectures.io/problems/erdos414-erdos-414 daily 0.9 https://conjectures.io/problems/erdos416-erdos-416-parts-i daily 0.9 https://conjectures.io/problems/erdos456-erdos-456-parts-iii daily 0.9 https://conjectures.io/problems/erdos477-erdos-477-variants-monomial daily 0.9 https://conjectures.io/problems/erdos477-erdos-477-variants-x-pow-three daily 0.9 https://conjectures.io/problems/erdos479-erdos-479 daily 0.9 https://conjectures.io/problems/erdos535-erdos-535 daily 0.9 https://conjectures.io/problems/erdos535-erdos-535-variants-first-open-case daily 0.9 https://conjectures.io/problems/erdos567-erdos-567-parts-i daily 0.9 https://conjectures.io/problems/erdos617-erdos-617 daily 0.9 https://conjectures.io/problems/erdos624-erdos-624 daily 0.9 https://conjectures.io/problems/erdos672-erdos-672 daily 0.9 https://conjectures.io/problems/erdos677-erdos-677 daily 0.9 https://conjectures.io/problems/erdos68-erdos-68 daily 0.9 https://conjectures.io/problems/erdos680-erdos-680-parts-i daily 0.9 https://conjectures.io/problems/erdos686-erdos-686-variants-four daily 0.9 https://conjectures.io/problems/erdos688-erdos-688-parts-ii daily 0.9 https://conjectures.io/problems/erdos723-erdos-723-variants-eq-12 daily 0.9 https://conjectures.io/problems/erdos727-erdos-727-variants-k-2 daily 0.9 https://conjectures.io/problems/erdos770-erdos-770-variants-three daily 0.9 https://conjectures.io/problems/erdos779-erdos-779 daily 0.9 https://conjectures.io/problems/erdos82-erdos-82 daily 0.9 https://conjectures.io/problems/erdos821-erdos-821 daily 0.9 https://conjectures.io/problems/erdos828-erdos-828-variants-lehmer-conjecture daily 0.9 https://conjectures.io/problems/erdos835-erdos-835 daily 0.9 https://conjectures.io/problems/erdos849-erdos-849 daily 0.9 https://conjectures.io/problems/erdos853-erdos-853-parts-i daily 0.9 https://conjectures.io/problems/erdos853-erdos-853-parts-ii daily 0.9 https://conjectures.io/problems/erdos859-erdos-859 daily 0.9 https://conjectures.io/problems/erdos887-erdos-887-parts-ii daily 0.9 https://conjectures.io/problems/erdos889-erdos-889 daily 0.9 https://conjectures.io/problems/erdos889-erdos-889-variants-general daily 0.9 https://conjectures.io/problems/erdos89-erdos-89 daily 0.9 https://conjectures.io/problems/erdos9-erdos-9 daily 0.9 https://conjectures.io/problems/erdos912-erdos-912 daily 0.9 https://conjectures.io/problems/erdos912-erdos-912-variants-tao daily 0.9 https://conjectures.io/problems/erdos913-erdos-913-variants-infinite-many-8p-sq-sub-one-primes daily 0.9 https://conjectures.io/problems/erdos932-erdos-932 daily 0.9 https://conjectures.io/problems/erdos936-erdos-936-variants-two-pow-add-one daily 0.9 https://conjectures.io/problems/erdos939-erdos-939 daily 0.9 https://conjectures.io/problems/erdos945-erdos-945 daily 0.9 https://conjectures.io/problems/erdos950-erdos-950-parts-i daily 0.9 https://conjectures.io/problems/erdos952-erdos-952 daily 0.9 https://conjectures.io/problems/erdos96-erdos-96 daily 0.9 https://conjectures.io/problems/erdos972-erdos-972 daily 0.9 https://conjectures.io/problems/erdos978-erdos-978-parts-iii daily 0.9 https://conjectures.io/problems/erdos982-erdos-982 daily 0.9 https://conjectures.io/problems/erdos985-erdos-985 daily 0.9 https://conjectures.io/problems/green12-green-12 daily 0.9 https://conjectures.io/problems/green15-green-15 daily 0.9 https://conjectures.io/problems/green18-green-18 daily 0.9 https://conjectures.io/problems/green24-variants-conjecture daily 0.9 https://conjectures.io/problems/green29-green-29 daily 0.9 https://conjectures.io/problems/green3-green-3 daily 0.9 https://conjectures.io/problems/green32-green-32 daily 0.9 https://conjectures.io/problems/green33-green-33 daily 0.9 https://conjectures.io/problems/green40-green-40 daily 0.9 https://conjectures.io/problems/green40-green-40-f-two-eq-one daily 0.9 https://conjectures.io/problems/green40-green-40-variants-arbitrary-subsets daily 0.9 https://conjectures.io/problems/green41-green-41-variants-polynomial-bound daily 0.9 https://conjectures.io/problems/green42-green-42 daily 0.9 https://conjectures.io/problems/green50-green-50 daily 0.9 https://conjectures.io/problems/green51-green-51-one-half daily 0.9 https://conjectures.io/problems/green54-green-54 daily 0.9 https://conjectures.io/problems/green60-green-60 daily 0.9 https://conjectures.io/problems/green7-green-7-variants-positive-density daily 0.9 https://conjectures.io/problems/green72-green-72 daily 0.9 https://conjectures.io/problems/green77-green-77 daily 0.9 https://conjectures.io/problems/green9-green-9-ii daily 0.9 https://conjectures.io/problems/green9-green-9-iii daily 0.9 https://conjectures.io/blog/why-formal-verification 2026-08-05T23:20:25.685Z monthly 0.5 https://conjectures.io/blog/why-now-ai-mathematics 2026-08-05T23:20:25.685Z monthly 0.5