Anthropic，今晚扔出了真正的核武器——全球最强编程模型Claude 4！能连续编码7小时不断的Opus 4，再一次让大模型能力实现了重大飞跃。网友实测后惊呼：不可能，从未见过一个AI做到这样的事！
在机器人操作中，物体运动往往涉及摩擦、碰撞等复杂物理机制。准确的物理属性描述可以实现对物体运动结果更准确的预测，并提升机器人在操作技能学习中的表现。
AI圈子好热闹。今天凌晨，Claude终于迎来了它的重大版本升级—— Claude 4来了！
OpenAI至少已经是第二次与苹果旧将合作了。上次是Humane的AI Pin，以惨败收场；这次是io，已经有了原型，目标出货1亿台。
就在刚刚，Anthropic正式发布Claude 4系列模型：Claude Opus 4和Claude Sonnet 4。没喊口号，没搞长篇论文，这次Claude升级的关键词只有一个：干活。据Anthropic宣称，Opus 4是目前全球最强的编程模型，能够稳定胜任复杂且持续时间长的任务和Agent工作流。而Sonnet 4则着重强化了编程和推理能力，能更精准地响应用户的指令。
微软扔出了一个重磅炸弹：VS Code 将开源 GitHub Copilot Chat 扩展，并采用最宽松的 MIT 协议。微软扔出了一个重磅炸弹：VS Code 将开源 GitHub Copilot Chat 扩展，并采用最宽松的 MIT 协议。
数学大师陶哲轩的第三支Lean 4自动化数学证明视频来了！他携手GitHub Copilot挑战分析学经典的「ε-δ」极限问题：加法定理Copilot挥洒自如，减法开始卡壳，乘法更是全面失控。Copilot究竟是神助攻还是添乱？
在Google I/O的第二天，硅星人有机会和Google CEO Sundar Pichai交流。在这场小范围的沟通中，Pichai及Google的多名核心业务负责人回答了从搜索到广告再到AI等多个问题。今年是Pichai执掌Google的第十年，过去三年带领Google从OpenAI的冲击中走出，如今看来很可能成为他CEO生涯至今打过的最重要一仗。
昨天，微软在 Build 大会上刚刚甩出“Windows 子系统”和“Copilot 开源”的重磅炸弹，整个开发者圈还没从热议中缓过劲来，转眼今天凌晨，谷歌就在 I/O 大会上掏出了自己的“王炸”牌——一场 AI 盛宴，正式上演！
视频新人博主陶哲轩又更新了！这次是“喂饭级”AI教程—— 手把手演示如何只用GitHub Copilot证明函数极限问题。
