56年无人解开的数学难题，被 谷歌 的新 AI 突破了

去年，AI 能解出博士级别的数学题，已是轰动一时的大新闻；而今年，能攻克...

人工智能AI 2025-05-16

OpenAI 发布升级版 GPT-4.1 全家福：推理、编程性能升级

OpenAI在美国当地时间15日凌晨宣布，正式向ChatGPT用户推出G...

人工智能AI 2025-05-15

AI 智能体 平台 Manus 开放注册，“一码难求”成过去式

5月12日，曾因注册码被爆炒至10万元、长期处于“一码难求”状态的AI智...

人工智能AI 2025-05-13

红杉 AI 闭门峰会新共识：AI 不卖工具，卖的是收益

最近，第三届红杉资本 AI 峰会刚刚在旧金山落幕。150 位全球顶尖 A...

人工智能AI 2025-05-13

OpenAI 转型计划遇阻，继续由非营利实体控制

OpenAI的组织结构转型计划在历时4个月后未能如愿。5月6日，Open...

人工智能AI 2025-05-10

谷歌 发布Gemini 2.5 Pro I/O，AI 编程模型 领域迎新王？

美国当地时间周二，谷歌DeepMind人工智能研究团队发布了Gemini...

人工智能AI 2025-05-08

梁文锋 和 杨植麟 再“撞车”

继2月论文“撞车”之后，梁文锋和杨植麟又在另一个大模型赛道上相遇了。4月...

人工智能AI 2025-05-06

DeepSeek 公布 Prover-V2 技术报告，专为数学AI编程语言打造，定理证明达到业内最佳

继昨日放出新开源模型 Prover V2 之后，DeepSeek 在今天...

人工智能AI 2025-05-01

阿里云 发布 Qwen3，拉开新一轮开源模型竞赛的序幕

2025 年已经过去 1/3，如果用关键词来概括 AI 领域的发展你会想...

人工智能AI 2025-04-29

马斯克 预测：机器人 5年内超越顶尖外科医生

埃隆·马斯克最新发帖预测，机器人将在五年内超越人类最优秀的外科医生。在回...

人工智能AI 2025-04-28

文心 4.5 发布，但 李彦宏 说应用才是王者

在 AI 技术迭代速度远超预期的 2025 年，开发者与企业正面临的一个...

人工智能AI 2025-04-25

想吞下 Chrome 的 OpenAI，要做数字世界的「唯一入口」

在反垄断大棒持续击打 Google、要求剥离 Chrome 的同时，Op...

人工智能AI 2025-04-23