• Thomas Bloom’s Erdös problem site now thrives with AI‑assisted solutions. • Human, AI, and hybrid contributions are discussed and approved as updates. • A curated problem database enables systematic progress across many fields. • Proposal: a crowdsourced repository for optimization constants and their bounds. • Repository records best known upper and lower bounds, encouraging further research. • Proof‑of‑concept GitHub repo hosts 20+ constants, including Sidon set and Erdös overlap. • The platform invites professionals, amateurs, and industry groups to improve bounds.
Article Summaries:
- Thomas Bloom has launched a proof‑of‑concept GitHub repository to catalogue “optimization constants” - numerical values that bound optimal solutions to mathematical problems such as functional inequalities or combinatorial extremal questions. The minimal database already lists over 20 constants, including those from Sidon set autocorrelation and Erdős’ minimum overlap problem, and records their best known upper and lower bounds. Bloom invites the community-mathematicians, amateurs, and AI researchers-to submit pull requests that add new constants or improve existing bounds. Paata Ivanisvili and Damek Davis have agreed to help run and expand the project, signalling growing interest in a collaborative, AI‑augmented knowledge base.
Sources: