据新智元报道,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。该产品面向工业边缘场景,强调无风扇散热与丰富串口扩展能力。

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