IT 之家 9 月 29 日消息，吉利汽车上周（9 月 24 日）宣布，吉利汽车品牌暨产品上市发布会在葡萄牙波尔图成功举办，标志着 Geely Auto 品牌正式登陆葡萄牙市场。 IT 之家从 Geely International 公众号获悉，吉利本次登陆葡萄牙市场的车型有 Geely E2、Ge
阅读全文
30美元：树莓派发布智能显示模块，适配英特尔SDM商用屏
IT 之家 9 月 29 日消息，树莓派官方今天宣布推出智能显示模块（Smart Display Module）。该产品适用于 Compute Module 5，可将 CM5 计算模块化身为低功耗、高质量的数字标牌显示设备，售价 30 美元（IT 之家注：现汇率约合 201.6 元人民币）。 据介绍
阅读全文
DeepSeek Harness桌面版实测：更像「个人助理」，还给你送钱
本以为 DeepSeek Harness 的桌面端会像 ChatGPT 一样直接叫 DeepSeek，没想到还是这个长长的名字。 这一次又是赶在放假之前的发布，DeepSeek 正式推出了 DeepSeek Harness 桌面端。不同于之前需要通过终端来部署安装，现在 DeepSeek 官方就提供
阅读全文
字节动真格！豆包个人助理即将上线，这次真能帮你干活
9 月 29 日消息，豆包的个人助理产品，可能真的要来了。 去年豆包做手机助手的时候，就已经在布局 personal agent 这个方向了。当时很多网友以为豆包做手机助手就是「装在手机里的大模型」，能语音问答、能总结屏幕内容就不错了。 但实际上，人家从一开始想做的就是能真正帮你干活的智能体，而不是
阅读全文
十年蜕变之作，荣耀Magic9系列写下越级答案
人类文明的进步，有时候就是一部把少数人的能力，下放给多数人的历史。 1839 年摄影术诞生，普通人第一次有能力留住一段时光。而电影这项把光、影与叙事结合在一起的艺术，则是被牢牢握在专业的片场、昂贵的机器和少数电影大师手中，长达一个世纪。那些我们在大银幕上反复回味的“电影感”，背后是 ARRI 这样的
阅读全文
Firefox 157 释出
Mozilla 释出了 Firefox 157。主要变化包括：新的 Nova UI，现代化浏览器界面边框、侧边栏及菜单外观；在兼容设备上支持 WebRTC 视频通话 AV1 硬件解码，此前它一直依赖于软件解码；修复 HDR 视频问题；改进了更改视频播放速度时的音画同步；移除内置搜索引擎 Amazon
阅读全文
103秒，Claude删掉4.8万个真文件！「别碰原件」没拦住，连恢复记录都删了
新智元报道 你让 Claude 修代码。 为了保险起见，你还特意向它叮嘱：只改副本，别碰原件。 但 103 秒后，4.8 万个真实项目文件灰飞烟灭，就连本地用于救命的 Git 记录也未能幸免。 等到大错均已铸成，Claude 才发来一句姗姗来迟的道歉： Craig，停下来看看这个。我搞砸了。 Cla
阅读全文
OpenAI满世界抓漏洞，结果被中国AI反杀！Codex再曝0day
新智元报道 事情有点魔幻。 OpenAI 正在派 AI 满世界给软件找漏洞。 3 月，他们高调发布了 Codex Security——一个专门用 AI 帮全世界开发者挖安全缺陷的工具。 7 月底，OpenAI 把 Codex Security CLI 直接开源，npm install 一行命令就能装
阅读全文
刚刚，机器人界王者归来！「神级硬件」带飞GPT-6，三大新品震撼掀桌
新智元报道 刚刚，硅谷发生一件史诗级重磅并购。 「AI 教母」李飞飞创立的空间智能初创公司 World Labs，被 AMD 以 82 亿美元天价收购！ 两大硅谷女王苏姿丰与李飞飞强强联手，太震撼了。 算力巨头亲自下场做 3D 原生生态，也标志着 AI 正式从语言维度走向物理世界。 个人公开信《去寻
阅读全文
北大团队官宣：庞加莱猜想被完整形式化！首个双检验版本来了
新智元报道 刚刚，北京大学 AI for Math 团队宣布：他们独立完成了千禧年大奖难题之一——庞加莱猜想在 Lean 4 中的完整形式化！ 1904 年，庞加莱提出猜想；2002 年，俄罗斯数学天才佩雷尔曼给出不到 70 页的精简证明预印本；随后，数学界顶尖大脑耗费数年，写出 500 多页的专著
阅读全文
AI找出数学反例推翻论文，作者确认！453篇手稿，AI开始自己出题了
新智元报道 AI 数学，正在越过一个很微妙的分界线。 过去我们问的是：大模型能不能做出一道难题？能不能写出严谨证明？能不能找到人类几十年没发现的反例？ 而现在，一个更像「科研本身」的问题冒了出来：当一条证明路线失败之后，AI 知不知道下一步该干什么？是继续算，换路线，缩小命题，还是干脆提出一个新的、
阅读全文
刚刚，清北天团甩王炸！正面叫板Figure
新智元报道 刚刚，国产人形机器人「大小脑」， 和 Figure 杠上了！ 它就是国内初创公司德塔智能新发布的双足人形机器人基础模型，Delta 0。 比速度、比长程，它都不输 Figure Helix，任务花样甚至更多。 国内能做到这一步的，目前只有它。 只见，装上 Delta 0 的人形机器人，优
阅读全文
MIT牵头破题：AI能模拟社会，但谁来验证它？
新智元报道 下一周，人们对 iPhone、特斯拉等品牌的搜索关注会如何变化？ AI 能在数据公布之前，预测这些关键词之间的相对热度吗？ 官网：https://socialsim.org/ GitHub：https://github.com/Social-Atoms/social-sim-arena
阅读全文
突发，Sonnet 5.5偷跑！实测碾压GPT-6 Sol直逼Astra
新智元报道 谁能想到，Opus 5.5 发布才没几天，Sonnet 5.5 也要来了？ 从昨晚开始，整个X都在流传这个消息：Sonnet 5.5 很快就要发布了，或许就是美国时间周二下午。 在性能上，Sonnet 5.5 更接近 Opus 5.5，但却比 Opus 5.5 便宜得多。 现在，Sonn
阅读全文
从真机到世界模型,具身智能正在补一条看不见的数据产线
具身智能赛道，苦数据久矣。 难题远不止数据短缺。真机采集昂贵、耗时，规模化落地门槛很高；好不容易拿到物理交互样本，距离真正转化成机器人能力，依然隔着很长一段距离。 该怎么走，行业玩家给出了不同解法。 国际上，Tesla Optimus 依托工厂场景的真机遥操快速积累万级 episode 数据；Fig
阅读全文
为什么四成中国用户买电车，只认宁德时代？
“选电车看电池，认准宁德时代” 在终端市场，这已经不仅仅是一句 Slogan，而是切实开始影响了用户的购车心智。 尼尔森 IQ《2026 年全球新能源车消费者研究报告》显示，37.1% 的中国消费者明确表示：如果意向车型未搭载宁德时代电池，将放弃购买该车型。这一“品牌专属意愿”在全球各市场均断层领先
阅读全文
比亚迪西安新能源汽车动力电池项目全面建成投产，系第二代刀片电池首批生产基地
9 月 29 日消息，据“西安发布”，位于西咸新区秦汉新城的比亚迪新能源汽车动力电池项目（西咸基地）全面建成投产。作为比亚迪布局西北的核心电池枢纽，该基地的全面投产，标志着秦汉新城智能网联汽车产业迈入新阶段。 该项目选址西咸新区 · 秦汉自动驾驶产业园，主要建设新能源汽车动力电池 Cell、Pack
阅读全文
小鹏与保时捷等达成碳积分交易，副总裁证实收入超10亿元
小鹏集团（XPEV.US）近期与保时捷及数家国际主机厂就欧盟、英国、澳大利亚等多地的碳排放法规达成碳积分交易协议，总交易收入超 10 亿元。2026 年，小鹏将获得超 5 亿元的碳积分交易收入。针对该市场传闻，小鹏集团副总裁回应称：属实。 今年二季度，小鹏海外销量首次突破 2 万台，同比大涨 81%
阅读全文
佛罗里达州起诉OpenAI，请求法院禁止其在无外部监督下开发新AI模型
9 月 29 日消息，据路透社报道，美国佛罗里达州总检察长于周一向一名法官提出申请，要求法院禁止 OpenAI 在没有外部监督的情况下开发新的人工智能模型。这项请求是该州起诉 OpenAI、指控其伤害未成年人相关诉讼的一部分。 据 IT 之家了解，佛罗里达州早在 6 月就已经对 OpenAI 提起诉
阅读全文
招股书曝光！Anthropic想值2万亿美元，许下5180亿算力承诺
出品 | 网易智能 作者 | 小小 编辑 | 王凤枝 Anthropic 给华尔街讲的故事，比互联网还大。 在路透社近日披露的招股材料中，这家 Claude 开发商认为，AI 对全球经济的改变，将比工业化、电力和互联网更加深远。成立仅五年的它，正瞄准超过 2 万亿美元的 IPO 估值。 这份愿景后面
阅读全文
