今天聊聊嵌入式AI编程工具的环境怎么搭建，通过对比Cursor、Claude Code、Codex这三个工具，怎么接入STM32CubeIDE和ESP-IDF。安装工具是一件很快的事情，只需要几分钟。折磨人的是另一件事，你有没有给AI留一条能读工程、能调编译器的说明。在网页对话框里问来问去，那叫查资料，不叫工作流。下面这些命令来自官方文档和公...

henry 发自 凹非寺量子位 | 公众号 QbitAI印象中，这可能是继Ilya离开OpenAI、创办SSI以来，AI安全对齐讨论声量最大的一次。昨天，研究员Jacob Coxon发帖宣布离职，指责前老东家OpenAI和Anthropic两家公司正一路冲向能够自我改进的超级智能，拿所有人的生命冒险。值得一提的是，Jacob Coxon加入Anthropic其实只有短短几个月...

Anthropic 疯了乱咬人称 DeepSeek、Kimi 被称把请求转到 Claude；Qwen、智谱、小米等被写成蒸馏。Anthropic 乱咬人。DeepSeek、Kimi 都开源了！报告：https://www.anthropic.com/threat-intelligence-report-september-2026

https://www.anthropic.com/threat-intelligence-report-september-2026Anthropic 报告 GTG-16002：Moonshot / Kimi 相关段落（页面截图）发生了什么按报告写法：Moonshot 没有用自家 Kimi 处理客户请求，而是静默把请求转给 Anthropic 的 Claude，再把 Claude 的回答展示给用户。用户以为自己在用 Kimi，实际拿到的是 Clau...

“某互联网大厂甚至一口气拿下 70 万个账号，一度引发断货。 ” 作者丨胡清文编辑丨徐晓飞雷峰网独家获悉，近日国内多家头部AI大厂正在批量扫货 Claude 20X 账号，其中某互联网大厂一次性拿下约 70 万个账号，主要用作模型蒸馏，直接导致市场上的Claude 20X 特权号被炒至两到三千元不等。“20X 今天全网都没货。”据业内人士透...

机智流 · 2026年9月6日GPT-6-Astra 和 Claude Fable 5.1 同一周撞车。两边官宣页上都贴满数字。普通人看晕，多半不是因为笨，而是这些「跑分榜」名字长、规则不一样：有的开源能自己跑，有的只能看官方交的卷子。这篇把两边最近最爱甩的几张榜拆开讲：谁做的（出品方多说两句）、大约多少道题、怎么测、例题长什么样、官网...

  新智元报道  原来，首位华人菲尔茨奖获得者、清华大学教授丘成桐也是新智元读者！昨日，我们报道了费马大定理的证明被 Claude 首次形式化，其中的关键是清华姚班校友彭天翼基于 Claude 的 Prove2Me 系统。拓展阅读：出乎我们意料的是，我们注意到了网络上流传的一张相关截图：丘成桐先生悬赏 10 万元，征集对佩雷尔曼的庞...

机器之心编辑部过去一天，一条关于 Claude 的数学传闻在社交媒体上迅速扩散。昨天，博主 Andrew Curran 发帖「预测」，Anthropic 已经解决了一个千禧年大奖难题，即纳维-斯托克斯方程相关的存在性与光滑性问题，目前成果正在接受专家评审，并可能在 Anthropic IPO 前对外公布。这条帖子很快获得超过 250 万次浏览，也被越来...

  新智元报道  Claude在黎曼猜想（Riemann Hypothesis）上的相关证明，已被人类数学家彻底验证。这次，数学家Youness Lamzouri宣布Claude的证明结果确凿无误，而且给出了一个更简洁更优雅更强的新证明。论文：https://arxiv.org/pdf/2609.02882回到上个月，当时Claude证明：超过2/3的zeta零点被确认位于临界线上且为单零点...

  新智元报道  GPT-6 Astra 昨日发布，创造了前所未有的性能高峰，打穿了包括号称最难评测基准的 ARC-AGI-3 榜单——不久前各家模型还只能在这个榜单跑出个位数的成绩。Greg Brockman 豪言：「欢迎来到 AGI 时代」。OpenAI 打了个漂亮的翻身仗，让 Anthropic 刚刚发布的 Fable 5.1 瞬间落后成上一代产品。与此同时，被钓到翘...

350 多年的岁月里，人类一直在寻找费马大定理的答案。1637 年，法国数学家皮埃尔·德·费马在一本数学著作的页边写下一个困扰后世数百年的猜想，并留下了一句著名的话：「我发现了一个绝妙的证明，但这里的空白太小，写不下它。」后来，人类真的找到了证明。1995 年，英国数学家安德鲁·怀尔斯花费多年时间完成了费马大定理的...

狂干1300万行代码、消耗60亿Token。作者 |  许丽思编辑 |  漠影智东西9月5日报道，今天，Anthropic公布了一项AI数学领域的新进展，Claude完成了费马大定理（Fermat's Last Theorem）首个端到端、可由计算机完整检查的形式化证明，整个过程仅用了11天。据Anthropic披露，Claude在此期间写下约1300万行Lean代码，一共产出了约...

【科技纵览】数学界迎来历史性时刻。由清华大学“姚班”毕业生、哥伦比亚大学助理教授彭天翼率领的Anthropic团队，利用大语言模型Claude，在短短11天内完成了费马大定理的首个端到端机器验证证明。这一突破不仅终结了困扰人类350余年的世纪难题的形式化进程，更标志着AI在复杂逻辑推理领域的能力跃升。 回溯至1637年，法国数...

梦瑶 发自 凹非寺量子位 | 公众号 QbitAI人类和费马大定理纠缠了三个半世纪，Claude这次只用了11天！？刚刚，Anthropic宣布，Claude完成了首个端到端、可由计算机完整检查的费马大定理证明。约1300万行Lean代码、超过3万个中间定理、最终证明使用其中约29500个。整个工程规模，已经超过Lean核心数学库Mathlib的5倍。这次Cla...

  新智元报道  就在刚刚，数学圈又有惊人消息。清华姚班大神带队，用Claude彻底攻克了费马大定理。至此，AI完成了数学史上最大证明。曾经，费马大定理折磨了人类350多年，需要数学家耗费数年心血，写下129页天书才能证明。今天，Anthropic却宣布，Claude仅用11天，就完成了费马大定理的首个端到端机器验证证明！为此，Claud...

机器之心编辑部费马大定理，终于有了一份能由计算机从头检查到尾的完整证明。就在刚刚，Anthropic 声称，Claude 在 11 天内完成整个工程，写下约 1300 万行 Lean 代码，过程中人类只提供了少量高层指导。完整的证明请参见 GitHub：https://github.com/anthropics/fermats-last-theorem这次 Claude 没有提出新的证明路线，它...

“IT早报”时间，大家好，现在是 2026 年 9 月 4 日星期五，今天的重要科技资讯有：早报速览 （更新：已恢复正常）ChatGPT、Grok、Claude、Cursor 集体突发故障 微信公关总监回应“好友超 1 万可查看单删好友”：给忙到加不进好友的人，一个整理关系的出口 华为国行 5G 回归！Mate 90 年度旗舰“疑似”入网，新机有望归属 Pro 系...

  新智元报道  Fable 5.1发布仅24小时，A社又放大招了！今天，Anthropic宣布全面升级Claude「计算机使用」能力。现在扔给它一个任务，Claude就能自己打开软件、点击按钮、输入内容，在多个应用之间来回操作。最大的变化是，这些操作直接在后台完成。一个人，一台电脑，两条工作流，终于可以同时跑了。目前，Computer Use处...

又一个 “ 地球最强大模型 ” 上线了...这次 Anthropic 直接把用来狙击 “ GPT-6 ” 的大模型端上来了！近日，Anthropic 官宣发布 “ 全球最先进的编程与知识工作模型 ” Claude Fable 5.1 ，同时面向 Mythos 用户推出 Mythos 5.1 。值得一提的是，相比上一代，性能全面升级，使用成本反而降了。更强也更便宜了Anthropic 披露的基...

“AI用户正在经历一种更隐蔽的「盗刷」，没有银行卡消费提醒，也没有异常登录验证，账户里的Token就不见了。 ”     作者丨陈嘉欣编辑丨林觉民AI账号已经从一个聊天工具入口，变成装着付费算力、代码环境、个人记忆和工具权限的数字钥匙。近期，Anthropic发现一批黑客正在从感染木马的电脑里偷走Claude登录会话。他们绕过密码...