资讯列表
Slack 全面拥抱 AI:可以总结聊天内容、解释术语并实现工作自动化
Slack 正推出一系列广泛的人工智能功能，旨在简化日常任务，并将消息平台转型为企业生产力的核心枢纽。 此举标志着其母公司 Salesforce 对微软在工作场所 AI 领域主导地位的直接挑战。 这些预计在未来几个月内陆续推出的更新，将包括直接嵌入 Slack 画布中的 AI 写作辅助功能、上下文消息解释、自动化行动项目识别，以及横跨多个关联业务应用程序的企业搜索功能。
7/18/2025 10:12:01 AM
AI在线
全球最强开源「定理证明器」出世！十位华人核心，8B暴击671B DeepSeek
全球最强的开源「定理证明器」诞生了！ 来自普林斯顿、清华、英伟达、斯坦福等八大顶尖机构联手，祭出了第二版Goedel-Prover-V2模型。 项目地址： 2025顶会录用，曾在miniF2F Pass@32刷新SOTA，位列PutnamBench榜首。
7/18/2025 10:12:00 AM
Suno发布v4.5+ 推出人声替换功能，可将原唱人声换为其他人声音
Suno 正式推出其 AI 音乐生成模型的最新版本 v4.5 ，为音乐创作者带来了前所未有的创新功能。 此次更新不仅优化了音质和生成速度，还推出了备受期待的人声替换功能，进一步提升了音乐创作的灵活性和个性化体验。 人声替换功能:从伴奏到完整歌曲的飞跃Suno v4.5 引入了三项核心功能，其中最引人注目的当属“Add Vocals”人声替换功能。
7/18/2025 10:11:53 AM
AI在线
字节跳动视觉大模型负责人杨建朝宣布暂时休息，周畅接任引发关注
近日，字节跳动的视觉大模型团队迎来了重要人事变动。 该团队负责人杨建朝在内部宣布将 “暂时休息”，由周畅接任。 这一决定不仅引起了字节跳动内部的关注，也在外界引发了对公司未来技术路线稳定性的讨论。
7/18/2025 10:11:51 AM
AI在线
大模型转行土木工程！首个「打灰人」评估基准：检验读、改工程图纸能力
在AI竞速的今天，大语言模型（LLM）早已不满足只在象牙塔里「背书解题」。 当GPT-4o刷题通过物理奥赛、DeepSeek熟练搭建网站之后，LLM必须直面一个更现实的问题：这些号称「专家级」的大模型，能不能真的下工地？ 能不能帮工程打工人减负？
7/18/2025 10:08:17 AM
思维链之父跳槽Meta，不只因为1亿美元！离开OpenAI前泄天机
硅谷人才争夺战，火热升级！ 过去，是OpenAI从谷歌等公司吸引人才；现在，Meta直接砸钱抢人。 顶尖AI人才的薪酬包可谓天价，1亿美元还是扎克伯格给的起步价！
7/18/2025 10:04:44 AM
刚刚，奥特曼放出ChatGPT「统一智能体」！惊呼真AGI，最卷打工人来了
今晚，ChatGPT和Deep Research、Operator「三剑客」首度合体！ 奥特曼亲自带队，25分钟高能直播重磅发布ChatGPT agent，开启人类和智能体协作全新时代。 ChatGPT agent的核心，是一个统一的智能体系统。
7/18/2025 9:59:35 AM
AI招聘革命：为何专门招应届生？
想象一下这个场景：你是一个刚刚毕业的大学生，投简历屡屡碰壁，招聘方总是要求"3年以上工作经验"。 突然有一家公司告诉你："我们专门招应届毕业生，因为你们是AI时代最有价值的员工。 "听起来是不是很不可思议？
7/18/2025 9:50:26 AM
阿丸笔记
Le Chat全方面对标ChatGPT，欧洲AI新贵穷追不舍
最近几个月，由谷歌和 Meta 前研究人员建立的欧洲的 AI 初创公司 Mistral AI 有些躁动不安。 他们接连发布了好些个开源模型，覆盖不同的领域，包含号称「世界上最优秀」的 OCR 模型、「对标 Claude」的多模态模型、首个推理大模型 Magistral 以及两天前发布的「全球最佳」的开源语音模型 Voxtral。 这样似乎也很难让这位欧洲 AI「新贵」感到满意，他们还想在应用层面好好地卷一卷 OpenAI。
7/18/2025 9:39:57 AM
两位AI传奇预测编程的未来，但你想不到
当你刷着技术动态，忽然看到又一条大胆宣称：“AI将在2026年取代所有程序员。 ”这时，OpenAI联合创始人Andrej Karpathy和亚马逊、谷歌资深工程师Steve Yegge给出了他们的真实预测，结果完全颠覆了这种说法。 他们的观点是：大家都想反了。
7/18/2025 9:35:43 AM
前端小智
o1核心贡献者离职后首发声：AI是史上最强杠杆，超越人力、资本和代码
又一位离职OpenAI的核心研究员发声！ 刚刚被曝加入Meta的Hyung Won Chung，分享了他对AI未来的深刻思考：人工智能正在成为有史以来最强大的杠杆机制。 Hyung Won Chung和一同离开OpenAI的Jason Wei是长期搭档，他们的合作可以追溯到谷歌大脑时期，两人曾共同作为第一作者发表了关于模型微调的重要论文《Scaling Instruction-Finetuned Language Models》。
7/18/2025 9:33:26 AM
人类击败OpenAI守住编程冠军！10小时激战两次反超，AI最后关头功亏一篑
10小时激战！ 人类最后关头实现超越，获得编程总决赛冠军~而原本始终保持领先优势的OpenAI，最终屈居第二。 在刚刚落幕的AtCoder世界巡回总决赛上，12名决赛选手两天时间里展开角逐。
7/18/2025 9:28:55 AM
Cursor首席设计师谈 AI 应用的 UI 和 Cursor 的 UX 经验
最近，我看了很多遍 Cursor 首席设计师 Ryo Lu 的访谈。 Ryo 曾是 Notion 的首席设计师，今年跳槽到了 Cursor。 Ryo 不是那种传统意义上只关注界面设计的设计师，尤其是加入 Cursor 之后，他已经开始通过 Vibe Coding 写代码，参与产品原型的开发。
7/18/2025 9:20:31 AM
特朗普宣布 900 亿美元 AI 中心投资计划，谷歌和黑石集团领投
近日，在宾夕法尼亚州举办的首届能源与创新峰会上，美国前总统特朗普宣布了一项重磅投资计划，总额超过900亿美元，旨在将宾夕法尼亚州打造成美国人工智能的核心地带。 此次投资不仅涵盖数据中心的建设，还包括能源基础设施的提升及人工智能相关人才的培训。 图源备注：图片由AI生成，图片授权服务商Midjourney在这一投资计划中，谷歌作为主要参与者，将投资于建设大型数据中心，并已与当地的水电站签署了一项为期20年的供电协议。
7/18/2025 9:01:47 AM
AI在线
老黄一夜被偷家！特斯拉Dojo 2芯片量产倒计时，算力直逼英伟达最强B200
杰西卡 发自 副驾寺. 智能车参考 | 公众号 AI4Auto老黄人在北京侃侃而谈，没想到转眼老家被“偷”，客户变对手。 特斯拉的最新消息，Dojo二代芯片量产进入倒计时，性能比第一代提高10倍，算力直逼英伟达Blackwell B200芯片。
7/18/2025 8:50:22 AM
杰西卡
一文彻底搞懂智能体Agent基于Function Calling的工具调用
前言AI智能体是指具备一定自主性、能感知环境并通过智能决策执行特定任务的软件或硬件实体。 它结合了人工智能技术（如机器学习、自然语言处理、计算机视觉等），能够独立或协作完成目标。 基于大语言模型（LLM）的Function Calling可以令智能体实现有效的工具使用和与外部API的交互。
7/18/2025 8:46:33 AM
AI大模型应用开发
ChatGPT智能体正式发布，多个创业赛道昨夜无眠
实用，太实用了！ 这才是OpenAI Agent该有的样子。 就在刚刚，OpenAI最新发布来了，ChatGPT Agent正式对外亮相。
7/18/2025 8:45:56 AM
白交
Codex CLI vs Gemini CLI：谁是更出色的编程智能体？
译者 | 布加迪审校 | 重楼开发者可以利用这些CLI提高代码理解能力、加快调试速度，并自动执行复杂的编程任务。 像Codex CLI这样的工具将基于AI的强大功能（比如代码生成、重构和内联文档）直接引入到命令行中，帮助用户更高效地编写、分析和改进代码。 随着谷歌推出轻量级开源替代品Gemini CLI，市场变得更激动人心，Gemini CLI 正迅速普及。
7/18/2025 8:06:07 AM
布加迪