https://devs-conjectures.rebelhub.eu 2026-08-04T18:45:23.486Z daily 1 https://devs-conjectures.rebelhub.eu/problems 2026-08-04T18:45:23.486Z daily 0.7 https://devs-conjectures.rebelhub.eu/results 2026-08-04T18:45:23.486Z daily 0.7 https://devs-conjectures.rebelhub.eu/results/in-review 2026-08-04T18:45:23.486Z daily 0.7 https://devs-conjectures.rebelhub.eu/how-it-works 2026-08-04T18:45:23.486Z daily 0.7 https://devs-conjectures.rebelhub.eu/faq 2026-08-04T18:45:23.486Z daily 0.7 https://devs-conjectures.rebelhub.eu/blog 2026-08-04T18:45:23.486Z daily 0.7 https://devs-conjectures.rebelhub.eu/status 2026-08-04T18:45:23.486Z daily 0.7 https://devs-conjectures.rebelhub.eu/terms 2026-08-04T18:45:23.486Z daily 0.7 https://devs-conjectures.rebelhub.eu/privacy 2026-08-04T18:45:23.486Z daily 0.7 https://devs-conjectures.rebelhub.eu/problems/erdos-236 2026-08-04T16:11:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-41 2026-08-02T16:15:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-912 2026-08-04T16:11:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-28 2026-08-04T16:11:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-677 2026-08-04T16:11:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-233 2026-08-04T16:11:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-373 2026-08-04T16:11:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-89 2026-07-02T18:16:48.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-243 2026-08-04T16:11:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-617 2026-08-04T16:11:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-952 2026-08-04T16:11:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-1107 2026-08-04T16:11:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-364 2026-08-04T16:11:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-859 2026-08-04T16:11:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-242 2026-08-04T16:11:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-535 2026-08-04T16:11:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-932 2026-08-04T16:11:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-11 2026-08-04T16:11:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-340 2026-08-04T16:11:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-82 2026-08-04T16:11:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-274 2026-08-03T16:15:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-624 2026-07-14T16:15:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-982 2026-08-04T16:11:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-184 2026-08-01T16:15:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-371 2026-08-04T16:11:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-889 2026-08-04T16:11:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-1094 2026-08-04T16:11:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-282 2026-08-04T16:11:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/problems/erdos-779 2026-08-04T16:11:18.000Z daily 0.9 https://devs-conjectures.rebelhub.eu/results/56e817df-96c4-4ab5-afbe-e353ddb8c6bf 2026-07-02T18:16:48.000Z monthly 0.8 https://devs-conjectures.rebelhub.eu/blog/why-formal-verification 2026-08-04T18:45:23.486Z monthly 0.5 https://devs-conjectures.rebelhub.eu/blog/why-now-ai-mathematics 2026-08-04T18:45:23.486Z monthly 0.5