资讯

本文深入分析AI在数学领域的应用及其引发的行业变革，探讨大模型技术对数学研究的挑战与机遇。

从「构建 AI」到「驾驭 AI」，100+ 实战案例拆解 AI Native 时代的工程新实践！ 2026 年 QCon 全球软件开发大会大会 · 上海站 将于 10 月 22 日—24 日举办，聚焦 Harness AI 时代的工程实践，围绕 AI Native 架构、Agent Runtime、AI Infra、Data Systems、Agent 安全与可观测、Loop Engineerin...

下一代HBM的竞争，正从DRAM芯片性能延伸至先进封装工艺。 据Damnang于10月7日报道，根据对相关技术人员的采访，SK海力士在下一代HBM混合键合技术开发中遭遇困难，而三星电子据称已经开始向客户交付采用该技术的样品。如果这一消息得到进一步证实，三星有望在下一代HBM的先进封装技术验证环节取得先机。 不过，这一信息并非来自两家公司的官方公告，而是基于技术人员采访及相关二手报道。报道没有明确说...

汽车踏板断裂事件，给商业火箭公司警示是什么？ 近日，某汽车品牌在公开制动测试中出现踏板支架断裂，引发关注。 企业随后表示，制动系统已完成相关开发与验证，实际用户使用中未发生该故障，并宣布优化设计，为已交付用户提供免费升级选择。 目前从公开信息中尚不足以确定断裂的具体原因是什么。 测试如何施力，支架采用什么材料、怎样制造，都需要原始数据支持。 可以确定的是，支架承担着支撑和传力的职责，一旦断裂，即使...

憋，咱老谷歌憋的就是个大的！ 这边Gemini 4 Argon还在等待全面开放，那边内部已经偷偷测上更强的Carbon版本了—— 甚至，人家内部员工的说法是：写代码的表现，已经能直接对打隔壁Opus 5.5了哈～（真滴吗） 而且吧，漏，咱就大漏特漏，因为Carbon只是这次泄露的模型之一。 除了已经官宣的Argon，谷歌内部还出现了Barium、Carbon等多个研发代号。 氩、钡、碳…… Gem...

IT之家 10 月 10 日消息，科技媒体 NeoWin 昨日（10 月 9 日）发布博文，报道称微软已紧急通知各组织机构，基于 Chromium 的浏览器在 11 月更新后，可能会导致 Windows Server 中的远程桌面 Web 访问（RD Web Access）出现故障。 谷歌已公布公告，Chromium 浏览器计划于 2026 年 11 月中旬停止客户端 XSLT 支持。IT之家注：...

马斯克、黄仁勋、苏姿丰、布林、戴尔、纳德拉，六位科技巨头同一天获得美国最高级别的科学与技术荣誉。其中包括2个奖，即美国国家科学奖章和美国国家技术与创新奖章。 过去，美国国家科学奖章曾颁给费曼、香农、麦克林托克等著名科学家，也颁给研究组织决策的诺贝尔经济学奖得主赫伯特·西蒙。而国家技术与创新奖章的获奖者中，既有乔布斯和沃兹尼亚克，也有质量管理大师戴明。 这一次，六位获奖者全部来自科技产业界。他们究竟...

IT之家 10 月 10 日消息，技嘉 (GIGABYTE) 昨日宣布，该企业率先为旗下英特尔 H610 / B760 芯片组主板提供对英特尔预计于 2027 年初发布的下代 Socket FCLGA1700 处理器的支持，相关 UEFI (BIOS) 现已开放下载。 技嘉在其新闻稿中提到的处理器即桌面版的 "Raptor Lake Next"，这些产品与 "Raptor Lake Refresh...

【TechWeb】10月10日消息，据外媒报道，美国政府当地时间10月8日宣布无限期暂停微软、Adobe等8家科技公司参与“永久劳工认证（PERM）”计划的资格。该计划是H-1B签证持有者通过雇主申请美国绿卡的关键第一步。美国副总统JD·万斯与劳工部长基思·桑德林当天在白宫举行的新闻发布会上共同宣布了这一决定。 被暂停资格的公司共8家，包括微软、Adobe、高知特（Cognizant）、印孚瑟斯（...

微软推出专为结构化决策任务打造的新一代AI模型，在速度与成本上大幅领先现有大型语言模型。 周五，微软推出新一代快速决策AI模型Microsoft-Decision-1，该模型专为结构化决策任务设计。 微软称，Microsoft-Decision-1的P50已在内部多个场景完成测试，涵盖事故响应、质量控制和科学发现等领域。运行速度是OpenAI的GPT-6 Sol的35倍，Quyet-1.0-Lar...

个体能力强大的AI Agent正不断涌现。从编写代码、开发软件，到检索文献、辅助科学研究，它们能独立完成的工作越来越多。 但随着这些「超级个体」变得更强，一个同样重要的问题也浮现出来：它们能否合作？ 回看人类社会，许多复杂成就都依赖一群人的分工与协作。假如我们要组建一家公司，制造火箭、登上月球，首先要考虑的，恐怕不是寻找一个无所不能的天才，而是如何组织一支团队：需要哪些专业人才，怎样分工，如何共享...

OpenAI，已经引起全球数学家的众怒！ 10月6日，他们一次性放出了722篇重大数学难题论文。 美国CS教授、ACM会士Scott Aaronson惊呼：数学末日来了！ 全球数学家们已经联合起来，集体抵制OpenAI。 陶哲轩借自己博客发出一份AMH牵头的联合声明，直接跟OpenAI撕破脸。 声明中，他们这样称呼OpenAI：「昨天，OpenAI——这家目前正因非法抄袭、侵犯版权和商标淡化等指控...