搜索
数学大师陶哲轩的第三支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证明函数极限问题。
OpenAI与Anthropic高层最新发声：AI写代码已成现实，初级程序员或将被取代。从自动生成代码到自我进化AI，技术革命正在重构整个编程世界。程序员该何去何从？被淘汰还是转型？
深谙“整合”之道的字节，又做了件大事。
ChatGPT「舔狗化」事件背后，暴漏目前AI仍是「黑箱」。 一场关于「机制可解释性」的路线分歧，正撕裂AI研究最核心的价值共识。谷歌认怂，Anthropic死磕——AI还能被「看懂」吗？
强化学习（RL）+真实搜索引擎，可以有效提升大模型检索-推理能力。
AI市场风起云涌！Poe最新报告揭晓：OpenAI的GPT-4o称霸文本生成，谷歌的Gemini 2.5 Pro领跑推理，Kling在视频领域异军突起，企业如何在这场AI竞赛中抢占先机？
O家（OpenAI）刚免费上线GPT-4.1，A家（Anthropic）这边也被曝出新消息—— 新版Claude Sonnet和Claude Opus，已经在路上了！