智核
DAILY AI INTELLIGENCE

每日 AI 资讯

过滤噪音,聚焦真正影响产品、行业和普通用户的人工智能动态。每天持续更新,重要信息一眼读懂。

18今日更新
94本周资讯

资讯时间线

今天 · 10月30日持续更新
OpenAI千禧难题证明引数学家解读:AI写作88小时,人类研读需7周

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

技术前沿新智元·9 阅读
OpenAI千禧难题证明引数学家解读:AI写作88小时,人类研读需7周
映泰推出无风扇边缘AI系统MS-U320:40TOPS本地算力,四串口设计

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

技术前沿IT之家·9 阅读
映泰推出无风扇边缘AI系统MS-U320:40TOPS本地算力,四串口设计

已展示全部资讯