Christian Szegedy

Headlines · 1

1. 2d
   Christian Szegedy：AI将重塑数学研究

   新智元解读了 xAI 联合创始人 Christian Szegedy 关于数学未来的一篇长文。Szegedy 认为，随着 AI 在定理证明和自动形式化方面进展，数学可能从少数专家的手艺转变为科学技术的基础设施；文章同时引用了 OpenAI 和 Anthropic 关于解决数学问题的说法，但未独立核实这些案例。

   新智元 · 🔥 7

Experience and discussion from the community

Share my Christian Szegedy experienceAsk about Christian Szegedy