Horizon3.ai 是一家提供自主渗透测试等工具的网络安全初创公司，该公司本周在提交给美国证券交易委员会的文件中透露，正在寻求新一轮 1 亿美元的融资，并已锁定至少 7300 万美元。
新版DeepSeek-R1重磅开源，凌晨已放出权重！此次模型性能几乎与o4-mini（Medium）相当，编程实测超越Claude 4 Sonnet。网友纷纷惊叹：开源又一次胜利了。
对话即编程，更适合普通人的开发平台。
上周的开发者大会，谷歌冷不丁地掏出个 Veo3 就惊艳了全球。
近半年来，OpenAI 形象开始变得灰暗： 团队骨干相继离职引发猜疑、组织转型遭受口诛笔伐、GPT-4.5/Sora 等模型表现不及预期，还有被 DeepSeek R1 打破的叙事神话……
又是一个让程序员狂欢的研究！来自 OpenHands、耶鲁、南加大和斯坦福的研究团队刚刚发布了 LocAgent—— 一个专门用于代码定位的图索引 LLM Agent 框架，直接把代码定位准确率拉到了 92.7% 的新高度。该研究已被 ACL 2025 录用。
Google I/O 2025 结束后，Google CEO Sundar Pichai 接受了《The Verge》主编专访，这也是双方连续第三年于 I/O 后展开对谈，而今年的背景更为特殊：Gemini 模型全面更新、多模态生成工具 Veo3 登场、AI 功能深度融入 Android 与 XR 平台，Google 展现出前所未有的产品化信心。
GPA是死线 or 没那么重要？ 有人表示，比起发表的论文，其实GPA并不是那么重要，因此TOP 20绝对是可以达到的。
30年码龄程序员4年都没搞定的bug，Claude Opus 4只用几个小时轻松破解了。
大模型做数独，总体正确率只有15%？？？
