网友自建数学开放问题协作网站

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

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。