Pengbinghui/pipeline-math

本仓库收集了来自 [COLT 开放问题赛道](https://learningtheory.org/)、[交换环理论](https://www2.math.uconn.edu/~glaz/Publications_Selected%20Articles/OpenProblemsInCommutativeRingTheory.Springer14.pdf)、[Erdős 问题](https://www.erdosproblems.com/)以及作者在 [FOCS 2023 论文](https://ieeexplore.ieee.org/document/10353183)中提出的一个开放问题的若干开放问题的解答。 **证明发现。** 这些证明由 GPT-5.5 Pro 通过简单的 prover–verifier pipeline 生成；论文由 Claude Code 组装，随后由作者进行润色和验证。 **形式化。** 我们还使用我们的 agentic Lean formalization pipeline 将交换环理论的解决方案在 Lean 中进行了形式化，完全自动化，即将开源！ ## 新闻 - **2026-06-28:** 添加了关于 Erdős **问题 477**（tiling complement）的报告 — [论文](papers/tiling-complement.pdf)。