Robinhood CEO 推出的数学 AI“Aristotle”宣称实现无幻觉推理
由 Robinhood CEO Vlad Tenev 联合创办的 Harmonic 公司推出了 Aristotle，这是一款承诺实现无幻觉数学推理的 AI 聊天机器人应用。该模型在 2025 年国际数学奥林匹克竞赛中取得金牌表现，采用 Lean 编程语言对答案进行形式化验证。Harmonic ...
由 Robinhood CEO Vlad Tenev 联合创办的 Harmonic 公司推出了 Aristotle，这是一款承诺实现无幻觉数学推理的 AI 聊天机器人应用。该模型在 2025 年国际数学奥林匹克竞赛中取得金牌表现，采用 Lean 编程语言对答案进行形式化验证。Harmonic ...
Google在其搜索AI模式中引入了由迄今为止最智能的Gemini 2.5模型驱动的新教育功能。这些功能专为学习者、教育者及好奇心强的用户设计，通过高级推理和多模态能力，帮助用户探索复杂主题。此次更新包括PDF上传支持、互动学习工具以及更深入的研究能力，彻底改变了用户与教育内容的互动方式。
Yelp 正在测试创新的 AI 拼接视频功能，能够自动将用户上传的照片、视频及商家信息整合为生动的本地餐厅视觉预览。这些动态视频不仅展示用餐体验，还突出热门菜品，为用户带来比静态图片更具沉浸感的预览。该功能体现了 Yelp 通过 AI 创新不断提升本地商家发现与连接的持续努力。
Google于2025年7月29日正式向部分Workspace客户开放其先进的Veo 3 AI视频生成模型，此前该技术已于5月的Google I/O大会首次亮相。Veo 3能够生成高质量、音画同步的视频，包括对话和环境音效。此次功能首先在“快速发布”域上线，“计划发布”域将于8月陆续开放。Wo...
总部位于悉尼的Archistar公司正式与洛杉矶当局合作，推出其AI驱动的eCheck平台，加速1月毁灭性野火后的重建进程。这项技术可自动验证建筑设计是否符合当地规范，成为加州首次在灾后恢复中大规模部署人工智能。此举紧随Archistar与国际建筑规范协会（ICC）达成战略合作，将该平台定位为...
总部位于洛杉矶的 Steadfast Robotics 正在通过人工智能驱动的机器人和软件，彻底改变南加州野火灾后重建流程，将工地准备时间缩短了60%。该公司由工程师 Elena Vasquez 于2023年创立，结合自主机器设备与合规软件，并与澳大利亚公司 Archistar 合作，将 eC...
Adobe 正式发布了 Harmonize，这是一项由 Firefly 驱动的开创性 AI 功能，可在 Photoshop 中自动调整色彩、光线、阴影和视觉基调，仅需几次点击即可实现无缝照片合成。该功能最早以 Project Perfect Blend 之名在 2024 年 Adobe MAX...
OpenTools.AI于2025年7月27日发布了其每日AI新闻简报，为专业人士和爱好者提供了一份关于人工智能及新兴技术最新进展的精选合集。该简报重点关注了基因组研究中关于病毒DNA序列的最新突破，以及The Browser Company和Perplexity推出的AI驱动浏览器创新。这份...
据多方可靠消息，包括AI Unraveled播客和OpenAI首席执行官Sam Altman的最新表态，OpenAI正计划于2025年8月发布GPT-5。这一代模型将整合OpenAI多项AI技术，将传统语言处理与高级推理能力相结合。此次发布是OpenAI路线图上的重要里程碑，继GPT-4.5和...
微软于2025年7月28日为其Edge浏览器推出了Copilot模式，将传统的浏览体验转变为AI辅助之旅。这一实验性功能将搜索、聊天和导航整合为统一界面，能够理解用户在多标签页下的研究背景，并预测其下一步操作。目前，拥有Copilot访问权限的Windows和Mac用户可免费体验该功能，使微软...
Google推出了Opal，这是一款全新的实验性工具，让用户无需编写任何代码即可创建由AI驱动的迷你应用。Opal于2025年7月24日作为美国地区公测版在Google Labs上线，用户只需用自然语言描述需求，即可生成功能性应用。该平台会将描述转化为可视化工作流，串联提示词、AI模型和工具，...
The Browser Company 的 Dia 和 Perplexity 的 Comet 浏览器推出了技能库，彻底改变了用户与 AI 浏览器的互动方式。这些技能库允许用户保存用于重复性任务（如代码生成或活动发现）的提示词，并可探索社区创作的技能。a16z 合伙人 Olivia Moore ...
2025年7月26日，华为技术有限公司在上海世界人工智能大会（WAIC）上发布了CloudMatrix 384 AI计算系统。该系统基于384颗昇腾910C处理器打造，计算性能几乎是英伟达GB200 NVL72系统的两倍，标志着在美国持续出口管制背景下，中国本土AI能力取得重大突破。业内分析人...
2025年7月25日，阿里巴巴推出了升级版的Model Studio平台，为开发者提供了构建和部署AI应用的全套工具。该平台开放了阿里巴巴Qwen系列大语言模型，并引入了多项新功能，以优化AI开发流程。本次发布是阿里巴巴在日益激烈的全球AI市场中巩固自身地位的战略举措。
Meta 首席执行官马克·扎克伯格正以史无前例的高额薪酬吸引顶级 AI 研究人员，积极推进其实现人工超级智能的愿景。公司新成立的超级智能实验室由前 Scale AI CEO Alexandr Wang 和前 GitHub CEO Nat Friedman 领导，已成功从 OpenAI、Goog...
2025年7月23日，NVIDIA 宣布通过结合 OpenUSD、Omniverse 平台与 agentic AI 技术的解决方案，在营销内容创作领域实现突破。这一整合让营销团队能够以前所未有的规模和速度，快速生成个性化且符合品牌调性的内容。包括可口可乐、酩悦轩尼诗、雀巢和联合利华在内的全球品...
Google 正式发布了 Gemini 2.5 Flash 和 Pro 模型，并推出了 2.5 Flash-Lite——该系列中速度最快、性价比最高的模型。公司还发布了 Gemini CLI，这是一款开源 AI 代理，将 Gemini 直接引入开发者终端，用于编程、问题解决和任务管理。这些扩展...
谷歌研究院、地球火灾联盟和Muon Space联合发布了FireSat的首批图像。这是一套由AI驱动的卫星系统，能够在20分钟内发现最小5x5米的野火。该革命性星座不仅探测到了现有卫星系统未能发现的俄勒冈小型火灾，还捕捉到澳大利亚、加拿大和阿拉斯加的多起野火。这项突破性技术标志着早期野火监测的...
本周末在上海举行的世界人工智能大会（WAIC）汇聚了数千名科技领袖、官员和投资者，聚焦推动中国的AI雄心。中国AI初创企业DeepSeek凭借其今年早些时候发布的低成本高性能模型震动全球市场，将成为本次峰会的核心话题。此次盛会凸显了中美科技竞争的加剧，两国正竞相争夺人工智能领域的领导地位。
2025年7月24日，Anthropic正式发布其迄今为止最先进的AI模型家族Claude 4，采用突破性的混合推理架构。Claude 4包括Opus 4和Sonnet 4两个版本，均具备革命性的双模式操作，既能实现即时响应，也支持深度思考。该系列在复杂任务中表现卓越，Opus 4更是在长达七...