行业Christian Szegedy：AI将重塑数学研究新智元·10-06 04:55官方来源2 个来源交叉印证原文 AI 总结新智元解读了 xAI 联合创始人 Christian Szegedy 关于数学未来的一篇长文。Szegedy 认为，随着 AI 在定理证明和自动形式化方面进展，数学可能从少数专家的手艺转变为科学技术的基础设施；文章同时引用了 OpenAI 和 Anthropic 关于解决数学问题的说法，但未独立核实这些案例。深度见解这场讨论预示着自动形式化可能改变数学研究、评价体系和科学研发流程。Christian Szegedy·xAI·OpenAI·+5原文约 8 分钟读完·阅读原文