AI「生肉证明」堆爆GitHub!陶哲轩重磅发声:只会解题没用了
AI「生肉证明」堆爆GitHub!陶哲轩重磅发声:只会解题没用了陶哲轩最新判断,数学正在从「证明稀缺」进入「证明过剩」时代——数学家最值钱的工作已不再只是「做出证明」,而是验证它、消化它,并把一块 AI 吐出的「生肉证明」变成人类真正吃得下的知识。
陶哲轩最新判断,数学正在从「证明稀缺」进入「证明过剩」时代——数学家最值钱的工作已不再只是「做出证明」,而是验证它、消化它,并把一块 AI 吐出的「生肉证明」变成人类真正吃得下的知识。
在前不久的 AI TECH DAY 上,斑马智能又新发布了“元神 AI 汽车机器人大脑”,同时推出 AutoOmni 全模态端模型产品矩阵与“龙虾上车”方案 AutoClaw,构成所谓的“一脑双引擎”升级。这不只是一轮产品迭代,更像在做一次预判:汽车正在从功能的集合机器,变成一个可以持续进化、还能主动协作的的智能体系统。
Manus收购案在AI的商业化发展中具有标志性意义。这其中,一个被科技圈忽视,但已经在法律界引起讨论的关键问题是:为什么这次对Manus的监管启动的是外商投资安全审查?
今天凌晨,谷歌母公司Alphabet公布2026财年第一季度财报。本财季,营收和净利润超出市场预期,营收达1098.96亿美元(约合人民币7506亿元),同比增长22%,按固定汇率计算同比增长19%,实现连续11个季度的两位数增长;归母净利润625.78亿美元(约合人民币4274亿元),同比暴增81%;摊薄EPS 5.11美元,同比增长82%。
OpenAI刚用Deep Research抢了先手,谷歌直接掀桌!DeepMind祭出研究智能体双杀,Max版质量评分从66.1%暴拉到93.3%,知识工作自动化的军备竞赛正式进入贴身肉搏。
最近,越来越多的AI助手盯上了“帮你花钱”这件事。ChatGPT早已上线购物功能,Gemini也在今年补齐AI购物体验。国内的淘宝、京东等电商平台,也都尝试将AI融入购物决策链路。原因也不难猜测:谁能帮用户更快、更准地做出消费决策,谁就有望握住离交易最近的那个入口。
深圳机器人凭什么惊艳全球?答案不在整机,在一颗电机。小象电动用轴向磁通路线突破量产瓶颈,累计出货近7万台,杀入华为、比亚迪、广汽、美团供应链,完成超亿元融资。这是深圳底层硬科技崛起的缩影,也是中国机器人产业链从「能做样机」到「真正量产」的关键一跃。
Snapchat 近日宣布,在其核心聊天功能中推出全新广告产品 AI Sponsored Snaps。这一产品是在原有 Sponsored Snaps 广告形式基础上的全新升级,广告主可以将自有 AI Agent 接入 Snapchat 聊天界面,与用户展开实时、个性化的深度交流互动。
OpenAI 的「星际之门」计划,今天有了新进度:承诺29年建成的10GW算力,现已超额完成,最近 90 天单独又加了 3GW。
上周二,一款名为 SpeakON 的AI硬件设备在美国发售,试图用简单的方式解决这个问题。一颗贴在 iPhone 背面的 MagSafe 按钮,按下说话,松开出字。不需要解锁,不需要切换 App。做这件事的人叫张岩(Ryan Zhang)。他曾联合创办摩拜单车,后来创立了 AI 转录平台 Notta,五年间做到全球超 1000 万用户。
4 月 20 日之后,想要给 Claude 花钱的人有难了:想花钱却下不去手。新的 Claude Pro 套餐付费用户,可能不包含 Claude 最强势的编程功能,Code 将会被「抬」进到 Max 5x 套餐,也就是每月 100 刀的订阅费用。
在数字中国建设峰会上,平头哥发布首款智能网卡磐脉 920。这是国内首个内置 PCIe Switch 的 400G 智能网卡,最大支持 400Gbps 吞吐带宽,可应用于万卡智算集群、通算集群和高性能存储等场景,目前已经量产,并将率先部署在阿里云数据中心。
今天,大洋彼岸,硅谷自动驾驶领域的秘密,终于有大佬站出来分享了。如果你对自动驾驶、人形机器人中炙手可热的 VLA、世界模型还有疑惑,全球“物理 AI” 领域头部的基础设施平台 Applied Intuition 两位创始人:CEOQasar Younis、CTO Peter Ludwig的分享可真的是太对口了。
美西时间4月28日,具身智能行业有史以来,第一场全球性峰会在硅谷落幕!这场大会星光熠熠—— 2015年图灵奖得主、公钥密码学奠基人Martin Hellman做开场主旨演讲,主题是「安全、智能与物理世界的交汇」。
Andrej Karpathy(OpenAI 联合创始人、前特斯拉 AI 负责人、现 Eureka Labs 创始人)在 AI Ascent 2026 上与红杉合伙人 Stephanie Zhan 对话,谈论自他提出 "vibe coding" 一年以来的变化。他解释了为什么作为程序员他从未感到如此落后,为什么 agentic engineering 是在 vibe coding 之上
Helio.im创始人王文锋在即刻上发了一个内测帖,介绍了Sheet 0团队的新产品Helio,计划进行一场小范围的内部测试。结果第二天醒来,官网申请列表因访问量过大自动扩容了4次。整个周末,团队都被潮水般涌来的消息和几百条用户建议淹没了……
今天没选题了,所以想开源一个我自己做的,已经用了快1个多月,迭代了好多版的一个我觉得很有用的Skill。我把它称为,洁癖.Skill。名字可能听着还挺呆逼的,但是我觉得它能干的事,虽然看着非常的简单,但是却又很实用,在公司内部同事和一些我们的合作伙伴使用后,还都反馈挺不错的。
Petoi Bittle 是一款开源、可编程、四足仿生AI机器狗,尺寸为20cm×11cm×11cm,只有手掌大小,重量不到280g,它的肚子下可以携带450g的「货物」。Bittle 机器狗有12个舵机,组合60多套动作,可跑可跳,还可以爬上纸箱子,能在实时指令下表演更多的花样。如果摔倒了,它会自己爬起来。就连在下雨天想走,沙地上也都完全没问题。
《读佳》独家获知,百度智能云团队做了一款AI短剧创作平台Hogee AI,并会推出APP版本。据了解,Hogee为AI短剧全链路创作平台,依托百度自研的OpenClaw数字员工体系,用不同工种的AI智能体替代传统短剧团队中的部分岗位,让创作者依托大模型实现从剧本到成片的落地,有利于优质故事以低成本走向市场。
据The Verge等多家外媒报道,今天凌晨,埃隆·马斯克(Elon Musk)与OpenAI CEO萨姆·奥尔特曼(Sam Altman)的世纪庭审在加州奥克兰联邦法院进入开庭陈词阶段。当天,马斯克身穿黑色西装、系黑色领带,出现在联邦法院。马斯克方、OpenAI方与微软方依次发表开庭陈词,随后马斯克作为本案第一证人进行举证。
今年,AI互动内容挺火。目前这个赛道上浮出很多AI互动小游戏公司。比如最近我见到的一位 95 后创业者,就要在生活方式赛道,做出可互动“下一代生活方式平台”。他的产品 Dreamova,就是从 00 后的需求出发,希望让 00 后们能在这里直接代入自己想体验的“屏幕中的生活”。
过去十年,压缩在 CV 学术圈一直是个边缘方向——做生成、做大模型才是显学。但 SparcAI 的两位95后创始人各自做了多年压缩,然后在同一间 NTU 实验室相遇,两年后发布了 Sparc3D。模型 demo 上线当日冲上 HuggingFace Trending 榜首,论文被 NeurIPS 2025 录用。如今他们创办了 SparcAI,目标是一家世界模型公司。
深度求索(北京子公司)和月之暗面都位于海淀区知春路一带,相距仅1.4公里,步行只需十几分钟。站在其中一家公司的会议室里,能隔空望见另一家公司的办公楼。或许在某些时刻,它们的研究员会隔着一片楼宇对望,脑海里浮现的尽是关于AGI蓝图的构想。
围绕 Coordination Engineering 这一下一跳工程范式,他们发布了一套完整的多智能体协同技术体系:Agent Team 实现团队自主协作,业界首发 Team Skills 沉淀协作经验,Team Skills Hub 打通共享生态,Team Skills 自演进 驱动团队持续进化。
近期,追觅在硅谷举办了「DREAME NEXT」发布会,并把视线投向 2036:未来十年的硬件形态和生活方式,将如何随着 AI 发生变化。在这个宏大命题下,这场发布会也给外界提供了一个观察切片:追觅将如何在 AI 时代重新定义自己。
OpenAI工程师公开发帖承认:哪怕用的是Codex,一个人能有效监督的coding agent也就3到5个,再多生产率直接往下掉。更劲爆的是,OpenAI没有选择"让人盯更多屏幕",而是直接开源了Symphony——一套把人类从"实时盯盘"解放成"异步验收"的全新工作流系统。近40万人围观,近3000人收藏。
今天,Anthropic一口气甩出9个设计师专属连接器,以后可以直接在Blender、Photoshop、Premiere这些专业设计软件中使用Claude了。与先前推出的Claude Design不同,这次Anthropic不是要在自家软件里大包大揽,而是把Claude塞进了各大设计软件,用户可以用自然语言在Claude中使用这些专业设计软件,实现对3D模型、平面设计以及音乐等文件的创造和修改。
世界模型黑马横空出世!就在刚刚,生数科技的MotuBrain零宣发登顶双榜,直接打通「看懂世界+执行行动」,而且不同的是,他们把World Action Model适配多个头部机器人本体,完成多个长程任务,这是国产AI的硬核突围!从此,具身智能彻底迈入新纪元。
英伟达于昨日正式推出全新多模态推理模型Nemotron 3 Nano Omni,将文本、视觉、语音三大模态能力深度融合至单一模型体系,目前可免费使用。
今日,腾讯混元开源翻译模型Hy-MT1.5-1.8B-1.25bit。该模型仅0.4G,就实现了33种语言高质量互译,且下载后可直接在手机本地离线运行,翻译表现优于谷歌翻译。这一原始模型的参数规模为1.8B,为降低用户手机内存压力,腾讯混元团队通过量化压缩推出了适配中高性能手机的2-bit、适配全系列手机的1.25-bit两种方案,模型体积分别被压缩至574MB、440MB。