据新智元报道,OpenAI针对千禧年数学难题生成的证明正进入人类数学家的解读阶段。该证明由AI连续生成约88小时,而人类完整研读预计需要约7周,形成鲜明的时间不对称。报道称数学家已开始读懂这份证明,意味着AI在高难度数学推理上的产出正从“生成”走向“可被专业共同体审阅”。目前公开信息未披露具体难题名称、证明正确性结论及参与解读的数学家身份,证明是否成立、是否具备数学价值仍待同行评议确认。事件的核心意义在于:AI长时程推理能力与人类验证效率之间的落差,正在成为数学研究的新变量。

过滤噪音,聚焦真正影响产品、行业和普通用户的人工智能动态。每天持续更新,重要信息一眼读懂。
开源中国资讯报道,零代码平台敲敲云推出AI Skills功能,主打“一句话搭建CRM、进销存、OA系统”,并强调开源免费。素材指出,传统零代码平台虽宣称“人人都是开发者”,但实际配置一张十几个字段的表单往往需要半小时,之后还要绘制审批流、设置审批人与回写规则,再拼装仪表盘、绑定数据并调整栅格,整体操作负担不轻。敲敲云此次试图用AI能力替代部分拖拽式配置环节,让用户通过自然语言描述需求来生成业务系统。报道未披露AI Skills的具体技术实现、生成准确率、支持的场景边界及上线时间等细节,相关能力边界尚待确认。
Anthropic 平台负责人 Katelyn Lesse 指出,软件工程师正经历身份危机,但 AI 能否释放其应有潜力,取决于工程师能否解决多 Agent 系统运行后暴露的工程难题。她将这件事定性为“生存级”问题,同时认为过程本身具有趣味性。素材显示,这些难题出现在多个 Agent 协同运行之后,属于当前尚未解决的技术挑战,但原文未逐一展开四个难题的具体内容。整体来看,Lesse 的判断把 Agent 规模化的瓶颈从模型能力转向工程实现,强调工程师角色不是被替代,而是需要承担新的关键任务。
Google DeepMind 宣布推出 Gemini 4 Carbon,距上一代 Argon 发布仅两周。官方将其定位为迄今网络安全能力和长程任务能力最强的版本。基准测试方面,Gemini 4 Carbon 在 Artificial Analysis Intelligence Index v5.0 上以 59 分排名第一;在 WebDev Arena 上因网页开发与产物质量提升,elo 上涨 89 分至 1768,位列第四。值得注意的是,其安全能力并未全面开放,而是先向白帽子群体开放,这一策略既体现对安全能力的信心,也带有受控测试的意味。整体来看,谷歌正以更短迭代周期和更聚焦的差异化能力推进模型竞争。
据新智元报道,OpenAI针对千禧年数学难题生成的证明正进入人类数学家的解读阶段。该证明由AI连续生成约88小时,而人类完整研读预计需要约7周,形成鲜明的时间不对称。报道称数学家已开始读懂这份证明,意味着AI在高难度数学推理上的产出正从“生成”走向“可被专业共同体审阅”。目前公开信息未披露具体难题名称、证明正确性结论及参与解读的数学家身份,证明是否成立、是否具备数学价值仍待同行评议确认。事件的核心意义在于:AI长时程推理能力与人类验证效率之间的落差,正在成为数学研究的新变量。

映泰于10月29日发布无风扇边缘AI系统EdgeComp MS-U320,基于英特尔酷睿5处理器320(Wildcat Lake),提供合计40TOPS本地AI算力。设备尺寸310×202×72mm,重1.2kg,内置1个DDR5 SO-DIMM插槽和3个M.2插槽,分别用于PCIe Gen4×2固态硬盘、无线网卡和蜂窝模组。接口方面配备双2.5GbE网口、HDMI 2.1、DisplayPort 1.4、多个USB-A及四路COM串口,支持-20至50℃宽温运行和9至24V宽幅DC供电,可选DIN导轨、壁挂及VESA安装,兼容Windows与Ubuntu 24.04。该产品面向工业边缘场景,强调无风扇散热与丰富串口扩展能力。

开源中国资讯介绍了一款名为 EVEngine 的轻量游戏引擎,定位为适合 AI Agent 自主迭代开发游戏。其核心优势包括:支持脚本与资源随时热重载,缩短修改迭代时间;内置 MCP 和 debug 服务器,可截图、控制运行与调试,让 Agent 能像人一样调试脚本;还可创建编辑器供 Agent 使用。该引擎试图降低 Agent 造游戏的门槛,但素材未披露具体技术架构、性能数据、开源协议及实际案例,相关细节尚待确认。

据新智元编译报道,OpenAI 的模型在数学领域取得一项引发关注的进展:被称为「王的猜想」的难题据称被全维度告破,同时一项延续约 30 年的「ETH 铁律」也被指出现动摇。报道将这一事件描述为对人类科学史叙事的改写,核心主体是 OpenAI 及其推理模型,关键变化在于长期被视为难以自动求解的数学猜想出现系统性突破迹象。若相关结论获得数学界独立验证,其意义将不止于单点解题,而可能影响 AI 参与基础科学发现的方式,以及围绕模型推理能力边界的既有判断。目前素材未提供完整证明细节与同行评议信息,结论的严谨性仍待确认。

10月27日,乐奇Rokid在杭州发布三款新品:第二代AI眼镜Rokid Glasses 2、首款全彩AI眼镜Rokid Color及智能戒指Rokid Ring。Glasses 2起售价3699元,国补后3199元,搭载高通骁龙AR1+与恒玄6nm双芯,续航提升约50%,AI响应更快并支持主动提醒。Color起售价4999元,采用与JBD定制的0.16cc全彩Micro-LED光机,支持1677万色,重量55g,使AI眼镜可观看彩色视频与股票。Ring预售价998元,以微手势实现隔空操作。Rokid称其带显示AI眼镜上半年全球份额第一,全彩时代竞争开启。

据新智元报道,Anthropic近期在未作显著公告的情况下调整了Claude的使用额度,受影响最大的是使用强度最高的那批用户。报道将这一变化形容为对“薅羊毛最狠的人”的精准回收,指向平台对高消耗账户的限制趋严。素材未披露具体额度数值、生效时间、覆盖范围及官方说明,因此调整幅度与执行方式尚待确认。可确认的核心信息是:Claude的用量规则出现变化,重度使用者的实际可用空间被压缩。这一动作延续了生成式AI服务在算力成本压力下收紧免费或高频用量的行业趋势,也提示依赖Claude高频调用开展工作的用户需重新评估成本与替代方案。

Counterpoint Research最新全球人形机器人追踪报告预计,到2030年全球人形机器人AI加速器累计出货量将突破100万台,2026至2030年复合年增长率达144%。当前市场由英伟达主导,其凭借芯片、模型与仿真工具的全栈生态,与智元机器人、宇树科技、优必选、Figure AI等头部本体厂商深度合作。高通以异构计算和能效、物料成本优势切入,已与Neura Robotics、Figure AI等达成设计合作,但出货规模与英伟达差距明显。随着视觉-语言-行动模型向世界行动模型演进,GPU短期仍是主流,AI ASIC加速崛起,特斯拉、小鹏等垂直整合车企正把自研芯片经验迁移至人形机器人,地平线拆分出的地瓜机器人也在强化国内算力生态。

开源桌面工具箱 ToolForge 发布 v0.2.2,核心变化是让 AI Agent 能够调用工具,并支持 MCP、CLI 与插件级权限管理。该项目基于 Rust 与 Tauri 2 构建,面向开发者与效率工作者,通过插件化架构整合开发调试、数据转换、文件处理、系统管理和日常效率工具。此前版本已先后引入 WASM 插件市场(v0.1.10)、官网一键安装(v0.2.0),v0.2.1 则继续完善插件能力。此次更新意味着 ToolForge 从单纯的桌面工具集合,向可供 AI Agent 调用的工具平台演进,权限管理粒度也细化到插件层面。

技嘉近日在官网正式上线 WRX90 AI TOP 工作站主板,面向高性能工作站与 AI 计算场景。该主板采用 Socket sTR5 插槽和 E-ATX 板型,基于 14 层超低损耗 PCB,供电规格为 32+3+3+3 项。内存方面配备 8 通道 DDR5 RDIMM 插槽,最高支持 2TB 容量。扩展能力包括 6 条 PCIe Gen5 ×16、1 条 PCIe Gen5 ×8、2 个 MCIO 8i、3 个 M.2 2280 盘位和 4 个 SATA III 接口。网络提供 2 个 10GbE RJ45 网口,另集成 ASPEED AST2600 BMC SoC,支持 IPMI 远程管理。散热部分针对内存、VRM 和芯片组均配置主动风扇。

10月23日,国内首部获得国家电影局公映许可证的AI全流程院线长片《三星堆:未来往事》正式上映。猫眼专业版数据显示,截至10月25日,该片票房已达116.2万元。影片片长100分钟,所有角色均为原创数字形象,不含对真实演员的数字复制。故事设定在未来人类将决策权交给算法而引发全球危机,破解困局的线索指向三星堆七个古老刻符,形成“答案在过去,危机在未来”的叙事结构。全片依托博纳自研的“博卡电影云片场”完成,团队历时两年产出120余万张底图,完成上百次全片迭代,AI主要承担生成与执行环节,创意构思、剧本、镜头设计与审美判断由博纳AIGMS团队负责。

已展示全部资讯
按下浏览器快捷键,即可将智核保存到书签,下次可直接打开。