新闻资讯7
菲尔兹奖得主：AI或杀死数学！
新智元
AI 摘要
菲尔兹奖得主Jacob Tsimerman称2年内AI将超越人类做数学证明，陶哲轩、Timothy Gowers等也忧心。《莱顿宣言》获众多数学家签名抵制AI，Gowers亲测ChatGPT后态度转变，还面临AI抢成果无奈。
阅读原文 · 新智元
菲尔兹奖得主预警：AI可能杀死数学！
今年菲尔兹奖得主多伦多大学教授Jacob Tsimerman宣布加入OpenAI从事AI安全研究，因其认为2年内AI将在数学证明领域超越人类。陶哲轩、Timothy Gowers等也对此表示担忧。《莱顿宣言》发布，众多数学家签名抵制AI对数学的冲击。
关注公众号
扫码关注
第一时间收到每日精选
相关文章
推荐文章9
陶哲轩：AI开启数学2.0时代
本文报道菲尔兹奖得主陶哲轩发表《数学2.0》演讲，梳理近期AI接连攻克重大数学难题的进展，提出AI将数学带入证明过剩的新时代，警示人类不能丢失对数学的理解，呼吁人机合作增强认知。
新智元
新闻资讯9
Gemini 4 Argon实测，谷歌归来
本文带来谷歌新发布Gemini 4 Argon大模型的多场景实测，对比竞品性能价格，验证其物理推理能力，同时曝光该模型现存问题。
新智元
新闻资讯9
谷歌Gemini 4 Argon全球可用
本文报道谷歌正式全球上线Gemini 4 Argon，详细说明了开放范围与定价规则，放出大量谷歌内部及合作方的实际应用案例，覆盖多领域，回应了此前对该模型实用性的质疑。
AGI Hunt
推荐文章9
三万字讲透大语言模型入门
本文是面向零基础的大语言模型入门长文，无需机器学习背景，只用简单例子讲清大语言模型的核心逻辑，覆盖从原理到产品化的全流程，适合新人系统学习。
腾讯技术工程