产品应用7

Claude 4解决4年老Bug

机器之心2025-05-27

AI 摘要

Anthropic推出Claude 4系列，Claude Opus 4是优秀编码模型。30多年经验的前FAANG工程师称它解决4年C++ Bug，AI分析代码能力强，需与人类经验结合发挥最大效果。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

陶哲轩发声：必须放缓AI发展

菲尔兹奖得主陶哲轩发声呼吁放缓AI发展，其博客引发数学界关于AI冲击下传统研究体系存亡的大辩论，探讨数学界的转型出路。

本文是甲子光年九周年纪念文章，作者甲小姐通过两个核心行业数据，提出AI刚进入“第二序章”远未到下半场，拆解八大核心问题，纠正当前市场的两种极端判断。

本文围绕AI普及后知识成本下降、学历信号弱化的现状，引用经济学教授杰森的最新论文，分析大学核心价值与AI冲击逻辑，给出转型方向，并探讨中国高校的应对思路。

本文报道OpenAI一次性放出722篇AI生成的重大数学难题证明，引发全球数学界震动，美国CS教授称其为数学末日，数学家联合抵制OpenAI，学界观点撕裂，揭露了AI给数学界带来的巨大冲击和争议。