业界呼吁支持开源AI数学工具

随着AI在数学领域的进展日益显著，有研究者强调，学术界需要成本可控且可审计的开源AI数学工具。由于大型科技公司对特定研究领域（如围棋AI）的兴趣往往会随时间消退，数学界不能单纯依赖科技巨头。为此，专家呼吁必须制定长远计划，以确保能持续获取和支持开源的AI数学工具，进而推动解决长期悬而未决的数学猜想。

2026-07-17 ~ 2026-07-17 · 2 条相关