Erdős 问题开放记录库上线，整理 Thomas Bloom 目录并支持 Lean 形式化证明

Erdős 问题开放记录库已在 erdosproblems.ai 发布，为 Thomas Bloom 目录中的每个 Erdős 问题建立页面，标注开放、已声明或已解决状态及来源。仓库包含来源文库、研究笔记和 Lean 形式化证明项目，并按 0/1/2 三级验证体系审核声明，支持社区提交结果、来源、更正与证明。