AI
Copilot上大分，仅数天，陶哲轩的估计验证工具卷到2.0！刚刚又发数学形式化证明视频
本周二，我们报道了菲尔兹奖得主陶哲轩的一个开源项目 —— 在大模型的协助下编写了一个概念验证软件工具，来验证涉及任意正参数的给定估计是否成立（在常数因子范围内）。 在项目中，他开发了一个用于自动（或半自动）证明分析中估计值的框架。 估计值是 X≲Y（在渐近记法中表示 X=O (Y)）或 X≪Y（在渐近符号中表示 X=o (Y)）形式的不等式。
5/12/2025 9:05:00 AM
突发！OpenAI正与微软洽谈新融资，筹备IPO
昨晚，金融时报消息，OpenAI和微软正在重新洽谈数十亿美元的合作条款。 这场谈判旨在让OpenAI能够进行未来的首次公开IPO募股，同时保护微软对前沿AI的访问权限。 微软作为OpenAI最大的支持者，是其重组从非营利转向营利的关键阻碍。
5/12/2025 8:59:26 AM
曝国行版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
故渊
OpenAI o4-mini携强化微调正式上线，AI专业能力迈向专家级
5月8日，OpenAI o4-mini携强化微调正式上线。 这两项技术的结合彻底改变了AI专业化的成本结构和技术门槛，让企业能以少量训练数据将通用AI迅速转变为特定领域的专家系统。 从通用智能到专家级AI的跨越式飞跃强化微调技术作为此次发布的核心亮点，标志着OpenAI在定制化模型领域取得重大突破。
5/9/2025 5:00:51 PM
AI在线
OpenAI 新设“应用 CEO”：原 Meta VP 加入，与奥特曼平级
刚刚，OpenAI 搞了个大动作。 CEO Sam Altman 发文称原 Instacart 的 CEO Fidji Simo 将加入 OpenAI，担任“应用业务首席执行官”的职位（CEO of Applications），而他自己则是去守住 OpenAI 的核心技术和长期战略这块内容。 新的 CEO 的头衔听起来有点长，但简单说就是：她以后要全面负责 OpenAI 的产品、尤其是 ChatGPT 这一类面向用户的应用产品。
5/9/2025 3:54:00 PM
郑佳美
FDA全面部署AI:加速新药审批，OpenAI或成合作伙伴
美国食品药品监督管理局（FDA）于当地时间周四宣布，将在其所有下属中心全面启动人工智能(AI)的内部部署，目标是在6月30日前完成整合。 此前，FDA已成功完成面向科学审评人员的新生成式AI试点项目。 FDA表示，引入这些生成式AI工具旨在通过减少科学家及各领域专家重复性的工作，显著加快新药审批流程。
5/9/2025 3:00:51 PM
AI在线
OpenAI ChatGPT 推首个深度研究连接器，可 AI 洞察 GitHub 代码库
开发者现在可以直接将自己的 GitHub 代码库连接到 ChatGPT，AI 将深入分析代码结构、实现模式以及相关文档，快速生成详细的研究报告或技术总结。
5/9/2025 2:14:32 PM
故渊
OpenAI 突破传统微调，RFT 技术可精准定制 o4-mini 模型
OpenAI 公司在其 o4-mini 推理模型上，推出了强化微调技术（Reinforcement Fine-Tuning, 简称 RFT），为定制基础模型以适应特定任务带来了突破性工具。
5/9/2025 1:50:50 PM
故渊
OpenAI 推出 GitHub 连接器，ChatGPT 深度研究工具迎来新功能
OpenAI 宣布对其 AI 驱动的 “深度研究” 工具进行升级，新增 GitHub 连接器。 这一功能旨在帮助开发者更有效地分析代码库和工程文档，能够解答与代码相关的问题。 根据 OpenAI 的介绍，该连接器现已处于测试阶段，将为 ChatGPT Plus、Pro 和 Team 用户提供，未来也将推出 Enterprise 和 Edu 版本的支持。
5/9/2025 10:01:50 AM
AI在线
智能音箱迎来AI时代 新技术渗透率超20%
在技术迅速发展的今天，智能音箱的 “智商” 也在不断提升。 近日，快科技报道称，凭借 AI 大模型的加持，智能音箱在智能化领域实现了质的飞跃。 根据洛图科技（RUNTO）的数据显示，2025年第一季度，中国智能音箱市场的销量达到了369.9万台，尽管同比下降了5.6%，但整体行业的技术升级势头依然强劲。
5/9/2025 10:01:41 AM
AI在线
OpenAI神秘项目曝光：cderGPT，用AI加速药物评估
OpenAI又一个神秘项目曝光了——名字叫做cderGPT，专门用来给药物评估这事提一提速度。 据Wired发布的消息来看，OpenAI的高层为了这个项目，已经与美国食品药品监督管理局（FDA）和马斯克的效率部门进行了多次讨论。 至于为什么要做这么个事，FDA局长Marty Makary在X上发表了他的看法：FDA现在不得不直面一些前所未有的重大问题：为什么一款新药上市要耗费十年以上的时间？
5/9/2025 8:35:00 AM
OpenAI任命Fidji Simo为应用程序首席执行官，加速AI应用战略布局
OpenAI宣布任命Fidji Simo为全新设立的应用程序首席执行官（CEO of Applications），直接向首席执行官Sam Altman汇报。 Simo将负责OpenAI的应用业务和运营管理，包括财务等核心职能，为公司AI产品的商业化与全球化扩张注入新动能。 官方声明强调，此次任命旨在优化领导架构，让Altman更专注于研究、计算和安全等关键领域。
5/8/2025 5:00:57 PM
AI在线
商汤万象平台稳居国内AI大模型市场第二，未来前景光明
近日，国际数据公司（IDC）发布的最新报告《中国模型即服务 (MaaS) 及 AI 大模型解决方案市场追踪(2024H2)》显示，商汤科技旗下的万象平台在国内 AI 大模型解决方案市场中表现抢眼，凭借13% 的市场份额稳居第二，继续引领行业的第一梯队。 这一成就不仅展示了商汤在 AI 领域的实力，更凸显了整个行业的发展潜力。 报告指出，2024年中国的 AI 大模型解决方案市场正在迎来爆发式增长，全年市场规模预计将达到34.9亿元人民币，较去年同比增长高达126.4%。
5/8/2025 4:00:46 PM
AI在线
OpenAI 与 FDA 洽谈利用 AI 加速药物评估
据知情人士透露，美国食品药品监督管理局（FDA）近期与 OpenAI 进行了多次会议，讨论如何利用人工智能(AI)技术来加快药物审批流程。 FDA 专员马提・马卡里(Marty Makary)在社交媒体上发文指出，“为什么一款新药需要超过10年的时间才能上市?我们为何不利用 AI 等现代技术?” 他强调，FDA 已经完成了首个 AI 辅助的科学评审，这仅仅是个开始。 图源备注:图片由AI生成，图片授权服务商Midjourney在本周早些时候举行的美国医院协会年度会议上，马卡里提到 AI 在治疗糖尿病和某些癌症新疗法审批中的潜力。
5/8/2025 3:01:09 PM
AI在线
OpenAI新增应用部门CEO：Fidji Simo加盟，加速产品与运营布局
OpenAI 宣布了一项重大人事任命，前 Instacart 首席执行官 Fidji Simo 将于今年晚些时候加入公司，担任新设立的 应用部门首席执行官（CEO of Application Department）。 此举标志着 OpenAI 在组织架构上的战略调整，旨在进一步强化其产品开发、基础设施建设及业务扩展能力。 AIbase 基于最新社交媒体信息，整理了此次任命的背景、意义及未来展望，展现 OpenAI 如何通过高层人事变动加速其人工智能生态布局。
5/8/2025 3:00:31 PM
AI在线
OpenAI启动 “星际之门” 计划，全球布局AI基础设施
近日，人工智能公司 OpenAI 宣布了一项雄心勃勃的新计划，旨在全球范围内建设 AI 基础设施，这一举措被称为 “OpenAI for Countries”。 这一计划将作为美国 “星际之门” 项目的延伸，专注于在海外投资与合作，推动各国在人工智能领域的发展。 根据 OpenAI 的消息，该计划的初步目标是在全球范围内启动十个 AI 基础设施项目。
5/8/2025 10:00:55 AM
AI在线
DeepSeek公开致谢腾讯技术团队 助力DeepSeek通信框架提速100%
DeepSeek近日发文公开致谢腾讯技术团队，称其对DeepSeek开源通信框架DeepEP的优化是一项“huge speedup”级别的代码贡献。 此次优化聚焦于在多种网络环境下提升通信性能。 经测试，优化后的DeepEP在RoCE网络环境下性能提升高达100%，在IB（InfiniBand）网络环境下提升约30%，显著增强了通信效率，为AI大模型训练提供了更稳定、高效的底层支撑。
5/8/2025 10:00:55 AM
AI在线
资讯热榜
标签云
AI
人工智能
OpenAI
AIGC
模型
ChatGPT
DeepSeek
谷歌
AI绘画
大模型
机器人
数据
Midjourney
开源
Meta
AI新词
微软
智能
用户
GPT
学习
技术
智能体
马斯克
Gemini
图像
Anthropic
英伟达
AI创作
训练
LLM
论文
代码
算法
Agent
AI for Science
芯片
苹果
Claude
腾讯
Stable Diffusion
蛋白质
开发者
生成式
神经网络
xAI
机器学习
3D
RAG
人形机器人
AI视频
研究
大语言模型
具身智能
生成
百度
Sora
工具
GPU
华为
计算
字节跳动
AI设计
大型语言模型
AGI
搜索
视频生成
场景
深度学习
架构
生成式AI
DeepMind
编程
亚马逊
视觉
Transformer
AI模型
预测
特斯拉
MCP