京东直降叠加国补，华为Mate X6折叠屏立省5000元，到手8999元起还享12期免息，想入折叠旗舰正当时。
华为 Mate X6 折叠屏手机 2024 年 12 月开售，12+512G 上市价 13999 元。 今日京东直降至 9999 元，叠加国补 500~1000 元，实付仅需 8999 元起 +12 期免息： 京东 HUAWEI Mate X6 12GB+512GB 8999~9499 元 直达链接…
Rust 1.98 正式发布，新增代数浮点运算优化，可重排更多运算，大幅提升性能并稳定多项API。
IT之家 8 月 22 日消息，科技媒体 Linuxiac 昨日（8 月 21 日）发布博文，报道称 Rust 团队更新推出 1.98 版本， 重点加入面向 f32 和 f64 浮点类型的“代数浮点”（algebraic floating-point）方法，同时加快整数格式化，并稳定多项标准库 AP…
用Flow Matching生成模型攻克3D医学图像中细小管状结构分割难题，方法新颖且应用价值高。
arXiv:2608.19965v1 Announce Type: cross Abstract: Segmentation of curvilinear anatomical structures in 3D medical images remains challenging due to co…
Automattic 的轻量级 CRM Mesh 登陆 Android，用 AI 帮你经营好友与客户关系，免费额度 1000 联系人。
Mesh, an AI-powered contacts app and relationship manager from Automattic is now an Android app.
德国拟将身份证住址信息移入芯片，并加二维码与放大照片，数字身份安全再升级。
IT之家 8 月 10 日消息，据外媒 Computer Base 今天报道，德国联邦内政部与国土部（BMI）正计划重新设计德国身份证，目前印在身份证背面的公民住址信息，未来可能会完全以数字形式存储在芯片里。 IT之家从原报道获悉， 德国身份证未来可能会将公民住址信息完全放在芯片中 。所有德国身份证…
华为MateBook Pro获鸿蒙系统升级，优化虚拟化与打印体验，提升稳定性
IT之家 7 月 29 日消息，据用户反馈，华为 MateBook Pro 笔记本开启了鸿蒙 HarmonyOS 6.1.0.135 SP9 升级，系统包大小约 4.47GB。新版本优化了文件管理、日历等在部分场景的使用体验，同时提升了整机系统性能和稳定性。 IT之家附华为 MateBook Pro…
Schemathesis 自动生成 API 测试用例，精准发现单元测试遗漏的 4xx/5xx 错误，并直接集成 FastAPI 等框架
Stop testing the happy path. Learn how to use property-based testing and Schemathesis to automate chaos and break your API before your users do The Pr…
人类从经验中提炼抽象知识，LLM能否也学会这一招？这篇论文在MAT环境中给出了初步答案。
arXiv:2607.20372v1 Announce Type: new Abstract: Humans distill experience into reusable abstractions, e.g., strategies and cautionary reminders, and a…
一个帮你按条件筛选最佳前端框架的神器，Vue 往往胜出，但谁才是你的真命天子？
#795 — July 21, 2026 Read on the Web JavaScript Weekly Framework Benchmarks: Compare Frontend Frameworks — An experienced developer built and benchma…
华为MateBook Pro拿下国家级AI认证L3首证，AI能力获官方认可，轻薄本再升级。
IT之家 7 月 18 日消息，近日，华为 MateBook Pro 获得国家级人工智能终端智能化分级 L3 等级首证，成为首批通过该国家级人工智能分级标准认证的终端产品。 据IT之家 相关报道 ，工业和信息化部、国家市场监督管理总局、商务部等部门于今年 5 月联合发布《人工智能终端智能化分级》（G…
金山办公推出WPS Comate AI客户端，集成技能生态、自动化任务与知识库，助力企业全场景提效。
IT之家 7 月 15 日消息，在今天的 2026 金山办公 AI 生产力大会上，金山办公正式推出了 WPS 365 家庭新成员 —— WPS Comate。根据官方定义， 这是一款面向员工的 AI 办公客户端 。 据介绍，WPS Comate 可连接组织数据、系统、流程，让 AI 融入到组织工作流…
华为平板系统更新，新增3D影像壁纸与教育空间投屏，锁屏交互更炫酷
IT之家 7 月 12 日消息，华为 MatePad Pro Max 旗舰平板已开启鸿蒙 HarmonyOS 6.1.0.130 SP17 版本升级。据介绍，本次更新将新增 3D 影像壁纸功能，晃动平板或双指滑动锁屏即可呈现富有空间感的 3D 效果。 IT之家附华为 MatePad Pro Max …
SageMath增强LLM智能体，一场计算与实验数学的自动化探索，看AI如何攻克严谨数学推理。
arXiv:2607.06820v1 Announce Type: new Abstract: Recent advances in AI for Mathematics have focused largely on autoformalization and theorem proving, l…
Perplexity自研AI编程工具“队友”曝光，估值200亿美元的公司内部已用，或成编程赛道新玩家。
IT之家 7 月 8 日消息，Perplexity 或将成为火热的 AI 编程工具赛道最新入局者。据 Business Insider 报道，知情人士透露，这家总部位于旧金山的 AI 搜索初创公司已开发一款内部 AI 编程工具，未来或将对外正式推出。 Business Insider 获取的截图显示…
大疆发布首款无人机降落伞AP100，售价7488元，还有涨价辟谣及新品麦克风动态
IT之家 7 月 8 日消息，大疆今日发布了大疆行业应用首款无人机降落伞产品 ——DJI AP100 降落伞。该产品专为 Matrice 400 无人机设计，官方定价 7488 元，目前仅通过代理商渠道销售。 据官方介绍，AP100 降落伞重量约 935 克，具备 IP55 防护等级，可在-20°C…
英伟达与d-Matrix强强联合，GPU+ASIC混合算力方案为AI模型运行开辟新路径。
IT之家 7 月 8 日消息，据美媒 The Information 当地时间 7 日报道，AI 芯片巨头 NVIDIA（英伟达）正与 ASIC 初创企业 d-Matrix 合作，打造一个结合双方硬件的混合型混合算力基础设施，支持 AI 模型的运行。 IT之家注意到，d-Matrix 在一份美国当地…
索尼宣布停售光盘游戏后，GitHub反向操作送出1000张代码光盘，数字与实体的反差幽默。
几天前索尼官方宣布自2028年1月起，PlayStation 游戏机上的新游戏将仅以数字形式发售，不再推出实体光盘版本。 昨天，GitHub 自豪地宣布：你现在可以获得你的公共仓库的 CD-ROM 版本。 留着它。借给朋友。传给你的孩子。 你的代码从物理上属于你，永远。直到你丢了它，说真的。 并且，
亿万富豪投资人Chamath转投AI咨询赛道，名人光环如何搅动AI落地服务市场值得一看
Article URL: https://www.aienablementinsider.com/p/chamath-8090-labs-consultant Comments URL: https://news.ycombinator.com/item?id=48785168 Points: 2 …
诊断强化学习训练的Lean定理证明器在推理时的多样性缺陷，为AI数学推理的鲁棒性提供新视角。
arXiv:2601.16172v3 Announce Type: replace Abstract: RL-trained Lean theorem provers mode-collapse at inference time: on miniF2F-test with DeepSeek-Pro…
一篇聚焦提示优化新范式的论文，提出对比反思机制实现迭代改进，为AI代理的信息检索场景提供创新方案。
arXiv:2606.30840v1 Announce Type: new Abstract: LLM agents are becoming central to information retrieval: they issue retrieval queries, synthesize ans…