当前分类：AI资讯
留给人类数学家的悬赏不多了！谷歌DeepMind一口气解决9道埃尔德什问题
谷歌DeepMind的AI系统成功自主解决了9道被悬赏数十年的埃尔德什开放问题，每道题的证明成本仅数百美元，并已通过Lean编译器进行形式化验证，彻底消除了AI推理中的幻觉问题。
从「会说」到 「会做」：一只「龙虾」爆改酒店智能化
从「会说」到「会做」：一只「龙虾」爆改酒店智能化
别再无脑装豆包了，实测五款国产 AI App，最强的竟是...
国产AI实测排名大洗牌：DeepSeek综合最强，豆包修图无敌，千问生态独霸
字节小荷再发力，我对AI医疗的几点思考
字节跳动上线“小荷AI医生”独立App，加速AI医疗C端布局，但面对巨头生态混战与数据孤岛难题，这场突围战才刚刚开始。
华为韬定律刷屏，程序员真正该读懂的信号是什么
华为“韬定律”以“时间缩微”代替“几何缩微”，宣告芯片产业从制程竞赛转向架构效率革命，程序员需看懂底层逻辑已变。
美团腾讯抢着送钱，66天过审，宇树科技IPO背后，是一场精心计算的“抢跑”
美团腾讯等机构争相投资，宇树科技仅用66天就完成经营者集中审查通过IPO，背后是散户筹码被机构“抽干”的精心抢跑策略。
求购Deepseek老股份额；求购长鑫存储老股份额｜资情留言板第183期
本期资情留言板重点显示市场对长鑫存储老股份额的强烈求购意向，其AI驱动下的全球DRAM市场份额突破与国产替代战略溢价成为核心吸引点。
Claude之父爱上中国留学生？AI短剧爆改大佬，这回旋镖太狠了
这是一部打着爱情狗血剧旗号的AI短剧，却巧妙暗藏了Claude之父从百度到谷歌再到创立Anthropic的硅谷真实奋斗史，技术硬核与剧情反转之狠让网友直呼“回旋镖太狠”。
OpenAI CEO 萨姆 · 奥尔特曼：AI 普及不太可能引发“就业末日”
AI普及不会导致“就业末日”，但变革速度和资本压力是真正风险。
三星电子下月起允许员工使用外部 AI 模型，不包括半导体部门
三星电子宣布下月起允许非半导体部门员工使用外部AI模型，但需先通过安全培训，此前因数据泄露事件曾全面禁用相关工具。
卡帕西Anthropic最新头衔：技术员工（MTS）
安德烈·卡帕西（Andrej Karpathy）正式入职Anthropic，担任技术员工（MTS），并主导一支新团队，探索利用Claude自身加速预训练研究。
全新发布AI钱包和Token Pay 支付宝全栈AI支付产品矩阵亮相
支付宝全新发布AI钱包与Token Pay，连同已有的“AI付”“AI收”，构建起目前AI产业最完善的AI原生支付产品矩阵，已累计完成3亿笔AI付交易。
美团推出“跑腿 Skill”，可对接各大 AI 助手实现“一句话点单”
美团推出“跑腿 Skill”，用户只需对 AI 助手说一句话，即可自动完成六步下单流程，生成真实配送订单。
苹果今年AI投入预计接近130亿美元 远不及谷歌亚马逊
苹果今年AI投入预计接近130亿美元，远不及谷歌亚马逊等科技巨头，但通过合作模式以低成本获取先进AI能力。
一季度净利腰斩、营收增速大幅回落，宇树IPO前夜业绩现拐点
一季度营收增速回落至68%，扣非净利润腰斩至4025万元，宇树科技在IPO上会前夕交出了一份冰火两重天的成绩单。
0.9B跑出90%真机成功率，上海交大为VLA补上空间感
0.9B参数模型在真实机器人任务中达到90%成功率，上海交通大学团队通过多视角几何信息为视觉-语言-动作模型补上缺失的空间感知能力。
龙虾之父教你省钱：开源Skill给你的Skill减肥
龙虾之父Peter开源Skill体检工具，用“路标式”描述减掉冗余token，帮你省成本提精度。
OpenAI差点没了？总裁亲述：奥特曼被罢免当天，我就辞职了
OpenAI总裁Brockman首次在播客中完整复盘奥特曼被罢免的72小时，披露自己当场辞职、95%员工联名逼宫，以及一家声称要造AGI的公司如何经历治理崩塌与重建。
全国小学课堂，正在变成AI宠物园区
背诵、发言、作业完成，这些日常课堂行为正被转化为“喂养值”喂养一只虚拟宠物，一种名为“班级电子宠物”的做法在全国小学课堂迅速走红，引发关于教育机制变革的激烈讨论。
画数独、烧蜡烛都不翻车了？浙大&阿里让AI先三思再下笔
浙大与阿里联合提出的“计划模式”让AI在画数独、烧蜡烛等复杂任务中先制定分步计划再执行，大幅减少翻车，相关成果已被ACL 2026接收。
约 4 分钟耗尽 5 小时额度，用户不满谷歌 Gemini AI 新规情绪升温
约4分钟耗尽5小时额度，谷歌Gemini AI新规引发重度用户集体声讨
华为发布AI DC数据基础设施全栈方案，加速行业智能化跃升
华为发布AI DC数据基础设施全栈方案，涵盖数据湖、知识与记忆平台、模型工程、Agent框架及数据韧性五大模块，旨在加速行业智能化跃升。
突破3亿笔 全球首个大规模商用AI原生支付基建诞生
支付宝“AI付”累计支付笔数突破3亿，成为全球首个大规模商用的AI原生支付基建。
AI资本狂潮背后：猛注水的ARR或成“定时炸弹”
AI资本狂潮背后，虚高的ARR正成为市场最大的隐患，机构已悄然转向。
荣耀600系列手机发布：4K闪光微单Live，国补价2294.15元起
荣耀600系列手机正式发布，定位“超级4K实况神机”，国补后2294.15元起，带来幸运星设计、全焦段4K影像与全方位体验升级。
AI来了，SaaS公司的销售反而多了数百人
AI让SaaS公司销售成本结构剧变，但销售团队反而扩张数百人，效果付费模式与AI BPO成为新引擎。
国产第一：阿里 Qwen3.7-Max 模型 AI 编程能力超 Claude Opus 4.6
阿里通义千问Qwen3.7-Max在AI编程任务中全面超越Claude Opus 4.6，拿下国产编程模型第一。
编程权威榜单：千问3.7仅次于Claude，阿里全球第二
编程权威榜单显示，千问3.7在代码能力上仅次Claude，阿里云跻身全球第二。
百川智能将发布新一代医疗大模型，事实性幻觉率降至3.3%
百川智能新一代医疗大模型Baichuan-M4通过原创事实性感知强化学习算法，将裸模型事实性幻觉率降至3.3%，再创全球新低，同时延续“证据锚定”技术，确保医学结论可追溯。
昆仑万维天工 AI 发布 SkyClaw-v1.0：面向真实工作流的百万上下文 Agent 模型
昆仑万维正式开源SkyClaw-v1.0，这是一款专为Agent场景设计的百万上下文模型，以极致性价比闯入全球第一梯队，并同步升级天工超级智能体为全流程多模态生产平台。