Zulip Chat Archive
Stream: Formal conjectures
Topics:
- Open Erdös Problems Milestone: Which Status count as open (16 messages, latest: Feb 25 2026 at 09:36)
- Existence of monochromatic quantum graphs (12 messages, latest: Feb 23 2026 at 22:43)
- Issue Agent Feedback Topic (16 messages, latest: Feb 22 2026 at 22:33)
- Post on Formal Conjectures Benchmark (3 messages, latest: Feb 17 2026 at 16:29)
- Git issues in formal-conjectures (4 messages, latest: Feb 16 2026 at 15:00)
- Millenium Prize Problems (10 messages, latest: Feb 16 2026 at 13:53)
- Autonomous Agents (8 messages, latest: Feb 11 2026 at 21:40)
- AGENTS.md (7 messages, latest: Feb 06 2026 at 17:14)
- Statement: Tao's lower bound for Lonely Runner (10 messages, latest: Feb 06 2026 at 05:22)
- Proposal: Categorizing Conjectures, Milestones, and SOTA Bou (16 messages, latest: Feb 04 2026 at 07:27)
- Issue for already formalized problems (8 messages, latest: Feb 02 2026 at 21:22)
- Referencing OEIS (4 messages, latest: Jan 31 2026 at 08:14)
- Green's open problem list (10 messages, latest: Jan 30 2026 at 22:27)
- Erdős Problem 848 - Formalization (4 messages, latest: Jan 30 2026 at 16:39)
- Kourovka (4 messages, latest: Jan 30 2026 at 07:47)
- Optimization constants (16 messages, latest: Jan 28 2026 at 02:30)
- Problems that appear in two or more problem collection (2 messages, latest: Jan 26 2026 at 11:59)
- Talagrand Problems (4 messages, latest: Jan 22 2026 at 17:33)
- Custom Agent for Issue Generation (3 messages, latest: Jan 21 2026 at 10:45)
- Juggler Sequence (3 messages, latest: Jan 19 2026 at 09:20)
- MathWorld Unsolved Problems (2 messages, latest: Jan 18 2026 at 20:54)
- Erdos Problem 375 (6 messages, latest: Jan 17 2026 at 23:51)
- Hilbert problems (9 messages, latest: Jan 17 2026 at 00:48)
- Zhi-Wei Sun collection (6 messages, latest: Jan 05 2026 at 12:03)
- Erdos Problem 1102 (1 message, latest: Dec 21 2025 at 14:43)
- linkifier (1 message, latest: Dec 10 2025 at 11:41)
- Bumping lean versions (2 messages, latest: Dec 09 2025 at 22:32)
- Erdős Problem 774 (4 messages, latest: Dec 01 2025 at 14:34)
- Vaught conjecture (3 messages, latest: Nov 21 2025 at 13:12)
- Erdős Problem 1080 (9 messages, latest: Nov 18 2025 at 02:11)
- student exercise: contributing to formal conjectures (16 messages, latest: Nov 15 2025 at 20:00)
- Tracking update of Erdos problem website (and Erdos 975) (7 messages, latest: Oct 17 2025 at 20:23)
- Erdős Problem 330 (11 messages, latest: Oct 10 2025 at 07:59)
- Erdős Problem #348 (5 messages, latest: Sep 25 2025 at 11:45)
- Erdős Problem 288 (6 messages, latest: Sep 25 2025 at 03:29)
- Did this (2 messages, latest: Sep 24 2025 at 19:15)
- Algorithms and Complexity Theory (5 messages, latest: Sep 24 2025 at 00:25)
- Erdős 312 (11 messages, latest: Sep 18 2025 at 17:22)
- Erdős 625: random graphs (5 messages, latest: Sep 12 2025 at 17:39)
- Erdős 196 (6 messages, latest: Sep 03 2025 at 20:51)
- Good first issues (2 messages, latest: Aug 26 2025 at 12:51)
- channel events (1 message, latest: Aug 26 2025 at 11:43)
Last updated: Feb 28 2026 at 14:05 UTC