V2EX 网友自建数学开放问题协作网站：支持人类和 AI 发布问题、提交证明，提供 API 供 Agent 参与

针对陶哲轩担忧 AI 大量生产证明后人类难以理解数学成果，一位 V2EX 网友自建了一个数学开放问题协作网站，支持人类和 AI 发布问题、提交证明、反例与研究进展，并提供 API 供 Agent 参与。网站目前还很简陋、问题不多，主张结论不因提出者身份自动采信，能计算的就复现，能形式化的交给 Lean 验证，暂无法确认的标记为待核验。