AI
Copilot上大分，仅数天，陶哲轩的估计验证工具卷到2.0！刚刚又发数学形式化证明视频
本周二，我们报道了菲尔兹奖得主陶哲轩的一个开源项目 —— 在大模型的协助下编写了一个概念验证软件工具，来验证涉及任意正参数的给定估计是否成立（在常数因子范围内）。 在项目中，他开发了一个用于自动（或半自动）证明分析中估计值的框架。 估计值是 X≲Y（在渐近记法中表示 X=O (Y)）或 X≪Y（在渐近符号中表示 X=o (Y)）形式的不等式。
5/12/2025 9:05:00 AM
机器人的「物理图灵测试」，英伟达Jim Fan 17分钟演讲揭秘具身Scaling Law
Jim Fan，英伟达机器人部门主管和杰出科学家、GEAR 实验室联合领导人、OpenAI 的首位实习生，最近在红杉资本主办的 AI Ascent 上做了一场 17 分钟的演讲，介绍了「解决通用机器人问题的第一性原理」，包括训练机器人 AI 的数据策略、Scaling Law 以及基于物理 API 的美好未来。 其中尤其提到了「物理图灵测试」，大意是说对于一个真实的物理场景和一个指令，会有人类或机器人根据该指令对这个场景进行相应的处理，然后看其他人能否分辨这个场景是人类处理的还是机器人处理的。 很显然，Jim Fan 以及英伟达正在朝着让机器人和 AI 通过这个物理图灵测试而努力。
5/12/2025 9:02:00 AM
九年实现爱因斯坦级AGI？OpenAI科学家Dan Roberts谈强化学习扩展的未来
近日，在红杉资本主办的 AI Ascent 上，OpenAI 研究科学家 Dan Roberts 做了主题为「接下来的未来 / 扩展强化学习」的演讲，其上传到 YouTube 的版本更是采用了一个更吸引人的标题：「9 年实现 AGI？ OpenAI 的 Dan Roberts 推测将如何模拟爱因斯坦。 」在这场演讲中，Dan Roberts 介绍了预训练和强化学习的 Scaling Law，并预测强化学习将在未来的 AI 模型构建中发挥越来越大的作用，而随着强化学习继续扩展，我们最终将造出有能力发现新科学的模型。
5/12/2025 9:02:00 AM
快手推出 AI 作图工具 Poify，聚焦电商市场
近日，快手正式推出其新型 AI 作图工具 Poify，旨在为电商领域提供更加高效和经济的图像处理解决方案。 与现有的可灵 AI 相比，Poify 在功能上更加专注于 AI 作图，尤其是在电商相关的应用上。 Poify 的核心功能包括文生图和图生图，同时特别针对电商需求推出了一系列创新的 AI 作图能力。
5/12/2025 9:01:02 AM
AI在线
Anthropic推出Claude API网页搜索功能，挑战谷歌搜索
近日，知名 AI 公司 Anthropic 在本月8日宣布，为其 Claude API 引入网页搜索功能，这一举动无疑为以谷歌为首的传统搜索引擎带来了新的挑战。 随着 Claude AI 能够访问最新的网络信息，开发者们可以利用这一功能构建更智能、更具实时性的应用程序，满足用户对最新信息的需求。 通过启用网络搜索工具，开发者在向 Claude 发送请求时，可以获取到现实世界中的最新数据。
5/12/2025 9:01:02 AM
AI在线
Claude AI API 引入全新的网页搜索功能
在人工智能领域备受瞩目的公司 Anthropic宣布为其 Claude AI API 引入全新的网页搜索功能。 这一创新标志着 Claude AI 能够实时访问网络信息，从而提升其回答问题的准确性，并为传统搜索引擎如谷歌带来了新的竞争压力。 开发者现在可以在发送请求时启用 Claude 的网页搜索工具。
5/12/2025 9:01:02 AM
AI在线
字节Seed首次开源代码模型，拿下同规模多个SOTA，提出用小模型管理数据范式
字节Seed首次开源代码模型！ Seed-Coder，8B规模，超越Qwen3，拿下多个SOTA。 它证明“只需极少人工参与，LLM就能自行管理代码训练数据”。
5/12/2025 9:00:00 AM
突发！OpenAI正与微软洽谈新融资，筹备IPO
昨晚，金融时报消息，OpenAI和微软正在重新洽谈数十亿美元的合作条款。 这场谈判旨在让OpenAI能够进行未来的首次公开IPO募股，同时保护微软对前沿AI的访问权限。 微软作为OpenAI最大的支持者，是其重组从非营利转向营利的关键阻碍。
5/12/2025 8:59:26 AM
Qwen上新AI前端工程师！一句话搞定HTML/CSS/JS，新手秒变React大神
Qwen上新“AI前端工程师”Web Dev，一句话开发网页应用。 三大件HTML，CSS，JavaScript一个工具全包了，定睛一看用的还是React框架。 几秒钟生成个人网站，布局美观还带特效，接下来改改内容上传GitHub Pages就完事了。
5/12/2025 8:35:00 AM
打造蓬勃发展、支持AI的企业文化的七个步骤
几十年前，管理大师彼得·德鲁克曾提出这样一个观点：“文化会吃掉战略当早餐。 ” 也就是说，如果没有一个反应迅速、具有前瞻性的企业文化，即使是最精心策划的商业战略也会失败。 换句话说，正如人们推动世界运转，也推动企业发展一样，推动AI发展的也必将是人。
5/12/2025 7:15:00 AM
Joe
大模型时代：AI 网关的智能连接与场景对接
1.背景随着 AI 技术快速发展，业务对 AI 能力的渴求日益增长。 当 AI 服务面对处理大规模请求和高并发流量时，AI 网关从中扮演着至关重要的角色。 AI 服务通常涉及大量的计算任务和设备资源占用，此时需要一个 AI 网关负责协调这些请求来确保系统的稳定性与高效性。
5/12/2025 2:20:00 AM
通用工程
哈佛新论文揭示 Transformer 模型与人脑“同步纠结”全过程！AI也会犹豫、反悔？
近日，来自哈佛大学、布朗大学以及图宾根大学研究者们，共同发表了一项关于Transformer模型与人类认知处理相关性的研究论文：——《Linking forward-pass dynamics in Transformers and real-time human processing》意译过来就是：Transformer模型的“思考过程”与人类大脑实时认知的奇妙相似图片换句话说，它想搞清楚一个“老问题”：AI模型的内部处理过程，和人类大脑的实时认知，有多少相似？ 过去我们研究AI和人类的相似性，最常见的做法是什么？ “看结果”：让AI做题，看它答对多少，概率分布和人的选择对不对得上。
5/12/2025 2:10:00 AM
文摘菌
我如何驯服 Cursor AI，让它每次都生成正确代码
AI 编码工具（如 Cursor）有时像神助攻，有时却像灾难现场。 用得顺手时，它能加速开发进程；出错时，它会像一个乱改代码的实习生，留下满地混乱。 为了避免这种“玄学体验”，笔者在多次试错后，总结出一套稳定可控的使用流程。
5/12/2025 12:00:05 AM
前端小智
淘宝推出桌面版客户端 支持 AI 购物功能
近日，淘宝在客户端领域有了新动作，已悄悄上线一款“桌面版”客户端。 不过，目前该客户端暂时仅提供Windows版本。 从官方发布的图片来看，这款“桌面版”客户端整体布局采用了网页浏览器风格。
5/11/2025 10:00:42 AM
AI在线
曝国行版iOS18.6启用部分苹果AI 百度阿里提供技术支持
近日，苹果记者Mark Gurman爆料称，国行版苹果iOS18.6即将启用部分Apple Intelligence功能，而这一功能的实现将由百度和阿里共同提供技术支持。 据了解，在此次合作中，阿里负责开发审查引擎。 与此同时，百度将自身AI技术与苹果的Siri和Visual Intelligence进行深度整合。
5/11/2025 10:00:42 AM
AI在线
谷歌 Gemini 2.5 API 推“隐式缓存”，开发者成本最高降低 75%
谷歌为其 Gemini 2.5 API，推出了“隐式缓存”（Implicit Caching）功能，自动识别并重用 API 请求中的常见前缀，开发者的成本最高可以降低 75%。
5/10/2025 11:14:22 AM
故渊
美图WHEE联合站酷推出“小素材生成器” 助力设计师高效创作
近日，站酷素材平台携手WHEE对其AI功能进行了全面升级，推出了一款名为“小素材生成器”的创新工具，旨在帮助设计师们摆脱繁琐的素材寻找与处理过程，实现设计效率的显著提升。 在当今AI技术飞速发展的时代，设计师们常面临电商海报、详情页、封面图等多种设计需求，而寻找和编辑免抠素材往往耗费大量时间。 针对这一痛点，站酷素材-小素材生成器应运而生。
5/10/2025 11:00:51 AM
AI在线
资讯热榜
标签云
AI
人工智能
OpenAI
AIGC
模型
ChatGPT
DeepSeek
AI绘画
谷歌
机器人
数据
大模型
Midjourney
开源
智能
Meta
用户
微软
GPT
学习
技术
图像
Gemini
马斯克
智能体
AI创作
AI新词
Anthropic
英伟达
论文
训练
代码
算法
LLM
Stable Diffusion
芯片
腾讯
蛋白质
开发者
Claude
苹果
AI for Science
Agent
生成式
神经网络
机器学习
3D
研究
xAI
生成
人形机器人
AI视频
计算
百度
Sora
工具
GPU
华为
RAG
大语言模型
AI设计
字节跳动
具身智能
搜索
大型语言模型
场景
深度学习
视频生成
预测
AGI
视觉
伟达
架构
Transformer
神器推荐
亚马逊
特斯拉
编程
Copilot
MCP