AI数学需要开源工具

rbhar90 · x · 2026-07-17

作者从“曾是数学专业”出发，认为 AI 在数学上的进展已经值得关注，并强调研究者需要**成本可控、可审计**的开源 AI 数学工具。他进一步推测，一些长期悬而未决的数学猜想，可能已经进入 AI 可解的范围；因此相关工具不应只依赖少数大厂，而应有社区维护的开放方案，以保障研究可持续性。