资讯 · 科技与AI资讯聚合

刚刚，Claude首次形式化证明费马大定理！清华姚班大神出手了

新智元 2026-09-06 07:04 原文 0 阅读热度 50

刚刚，Claude首次形式化证明费马大定理！清华姚班大神出手了

人工智能数学证明

汽车之家发布“芝士车管家”AI智能体，打通汽车“选买用卖”全链路

TechWeb原创 2026-09-06 07:02 原文 0 阅读热度 60

【TechWeb】9月5日消息，汽车之家正式推出AI智能体产品“芝士车管家”。在汽车消费日益复杂、信息过载却信任稀缺的当下，芝士车管家试图回答一个核心命题：如何用AI真正打通选车、买车、用车、卖车的全生命周期。从“信息平台”到“可信决策” 汽车之家董事会主席兼首席执行官刘斥指出，AI带来的变化不止于技术升级，更在于汽车服务方式正在被重新定义。汽车之家董事会主席兼首席执行官刘斥 “过去20余年，...

AI智能体汽车服务全链路解决方案

AlayaLab：为AGI构建下一代游戏工程

机器之心 2026-09-06 07:00 原文 0 阅读热度 55

AlayaLab：为AGI构建下一代游戏工程

AGI 游戏工程 AlayaLab

微软杰出工程师称手搓代码时代已结束，Win11 开发模式已迎巨变

IT之家 2026-09-06 06:49 原文 0 阅读热度 85

IT之家 9 月 6 日消息，在微软工作 18 年的杰出工程师大卫 · 福勒（David Fowler）前天在 X 平台表示，手搓代码的时代已经结束了。据IT之家了解，大卫 · 福勒的这句话并不是在危言耸听。他曾开发过 SignalR、NuGet、Kudu 等项目，同时参与了 ASP.NET Core 核心部分的开发工作。当前阶段他正在微软负责 Aspire 项目。并且这名微软员工并不是说开发...

AI编程大模型微软

网游《RuneScape》员工利用开发者权限盗取玩家虚拟物品获利近 50 万英镑，被判 3 年缓刑

IT之家 2026-09-06 06:47 原文 0 阅读热度 60

IT之家 9 月 6 日消息，据外媒 kotaku 报道，英国剑桥郡警方于 2019 年逮捕网游《RuneScape》员工安德鲁 · 莱克曼（Andrew Lakeman），其利用开发者权限盗取游戏内道具和金币并转卖牟利，获利近 50 万英镑（IT之家注：现汇率约合 454.3 万元人民币）。本案于近日终于宣判，莱克曼被判处 3 年有期徒刑，但刑期暂缓执行。 IT之家获悉，莱克曼于 2015 年加...

游戏虚拟物品盗取

谷歌 Pixel Watch 5 智能手表获 iFixit 9 分可维修性评价：整体易维修、显示屏拆卸略复杂

IT之家 2026-09-06 06:40 原文 0 阅读热度 40

IT之家 9 月 6 日消息，iFixit 现已公布谷歌 Pixel Watch 5 智能手表拆解流程，该机延续了上一代 Pixel Watch 4 的易维修设计，在硬件方面进行了小幅升级，同时进一步优化了拆解指引。不过，显示屏的拆卸过程依然相对复杂。 IT之家综合 iFixit 拆解视频，该机继续使用类似潜水表结构的“卡扣 + O 形密封圈”设计，传感器玻璃仅需拧下两颗螺丝即可拆卸。用户无需进行...

智能手表拆解维修性

OpenAI新模型Astra思维链可监控性下降，首席科学家亲上阵阻止不可监控军备竞赛

赢政天下 2026-09-06 06:15 原文 0 阅读热度 70

OpenAI新模型Astra采用"循环深度"隐式推理架构，系统卡自曝思维链可监控性大幅下降。首席科学家帕乔基9月2日发文警示，当前计算图深度仍在GPT-4两倍以内，但承认思维链监控正走向更脆弱。安全研究者与加速派在X平台爆发尖锐对立，Anthropic和Google DeepMind亦在探索同类技术。

AI模型安全监控军备竞赛