行业观察

《新科学家》:难题证明不再稀缺:AI让数学进入混乱时代

人工智能正在进入数学最核心的领地。过去,人们习惯把计算机视为高速计算器或证明检查器,如今,新一代模型已经能够提出证明思路、搜索反例、形式化复杂论证,甚至直接参与开放问题研究,这让数学界第一次认真面对一个令人不安的问题:如果机器也能“做数学”,人类数学家的价值将转移到哪里?《新科学家》把这种变化称为数学史上最好也最糟糕的事情,并不夸张。AI正在拆除研究中的一些古老瓶颈,但也可能把数学推入一个答案过剩

发布时间:2026-09-14来源:人工智能学家编辑
百公里仅6.48度电!大众发布Mission Efficiency概念车:风阻0.158创纪录

快科技9月14日消息,近日,大众正式推出了Mission Efficiency(效能任务)纯电概念车,这款定位准量产的四座车型,以极致空气动力学设计刷新能效纪录,被视作经典节能车型XL1的纯电动继承者。 该车基于MEB+平台打造,采用前轮驱动,电机、电池硬件与ID.Polo同源,亮眼能耗成绩并非依靠特殊动力部件,而是通过优化空气动力学表现、轻量化结构,最大程度降低行驶损耗实现。 空气动力学是这台车

发布时间:2026-09-25来源:快科技
最火爆的国产旗舰!华为Mate 80系列销量突破900万台:千万大关近在眼前

快科技9月14日消息,博主RD观测发布的数据显示,截至2026年W36周,华为Mate 80系列销量突破900万大关,大约是911.1万台。 与W35周相比,华为Mate 80系列在1周内卖出大约13万台。按照这个销售速度,大约再过6周左右的时间,Mate 80系列就能突破千万大关。 在去年下半年发布的国产旗舰中,这是销量最高的一款。相关统计数据显示,2026年上半年国内手机市场中,华为Mate

发布时间:2026-09-25来源:快科技
标配前后双激光雷达、电池扩到53.9度!魏牌高山8/9 PHEV智慧版今日开订

快科技9月14日消息,长城魏牌官方今日宣布,高山新版型正式命名为“高山智慧版”,即日开启下订渠道,即刻下订可享5000元订金抵8000元购车尾款的限时权益,展车已同步到店。 并且,高山智慧版将与现款车型并行销售,两种风格、两种定位满足不同用户需求;此外,高山8 HEV版将在第四季度正式上市。 据悉,高山8 PHEV智慧版的核心升级在电池。新车搭载53.9kWh电池包,WLTC纯电续航210km,C

发布时间:2026-09-25来源:快科技
车主开着宾利去买小米:看完当场预定澎程N90 Max探索版

快科技9月14日消息,一位博主在抖音发布视频,她开着宾利前往小米线下门店体验小米澎程系列汽车,看完后当场预定了澎程N90 Max探索版。 与N90 Max相比,N90 Max探索版同样采用铠甲钢铝混合笼式车身,高强度钢及铝合金占比达91.14%,也有16处2200MPa小米超强钢增强;同时,它还配备了同样的2200MPa内嵌式防滚架、一体式热成型门环以及一体式热成型前地板骨架等。 区别在于,N90

发布时间:2026-09-25来源:快科技
DLSS 5这么强!RTX 2080 Ti再战4K:《生化4》能跑60帧

快科技9月14日消息,据知名硬件博主HYDRA AJAY实测视频显示,基于图灵架构的RTX 2080 Ti显卡在DLSS 5技术加持下,在《生化危机 4:重制版》4K超高清分辨率下稳定跑出了60帧的优异成绩。 据了解,本次测试的核心亮点在于对复杂材质的重构能力,在展示游戏场景中艾达·王的近景特写时,神经网络算法展现了强大的图像修复能力,不仅发丝根根分明,甚至连特工制服的纤维纹理都清晰可辨。 性能表

发布时间:2026-09-25来源:快科技
硬度离谱!RTX 5070主机遭亲爹连续暴摔:机箱变形硬是没坏

快科技9月14日消息,近日一名Reddit网友发帖讲述了一起因家庭纠纷导致的设备损毁事件:一台价值1300美元(约8721元人民币)、搭载RTX 5070的游戏主机被其父亲多次砸向桌面和地板,但令人意外的是,这台机器依然可以正常运行。 据了解,受害网友是一名即将成年的学生,这台电脑是他花费10个月打工积攒下来的全部积蓄组装而成。 起因是该网友在结束10.5小时的工作班次后于深夜入睡,直到次日中午才

发布时间:2026-09-25来源:快科技
史上最低价!华硕Zenbook A14狂降3150元:骁龙X2 Elite+16小时续航

快科技9月14日消息,近日,华硕Zenbook A14(2026款)在Best Buy迎来历史最低价,仅售879美元(约合人民币5990元),较1349美元的建议零售价直降470美元(约合人民币3150元),折扣幅度达34%。 处理器是Zenbook A14的核心升级,它搭载骁龙X2 Elite X2E-88-100,拥有18个核心,NPU算力高达80 TOPS。相比上一代,单核性能提升55%,多

发布时间:2026-09-25来源:快科技
祸起包装盒!电视外包装上印有歌手照片:三星被索赔1500万美元

快科技9月14日消息,据媒体报道,近日,三星与杜阿·利帕就三星电视包装盒使用这位歌手肖像一事陷入法律纠纷。 目前,三星已向法院申请驳回利帕提出的1500万美元诉讼,主张这张图片并不会让人误以为她为三星电视代言。 据悉,2026年5月,利帕的法务团队在加州地区法院对三星提起诉讼。 其代理律师指控,三星未经许可使用受版权保护的歌手照片,并将照片放在零售渠道售卖的三星电视外包装盒显著位置。 诉状指出,三

发布时间:2026-09-25来源:快科技
钢铁骨架1比1 永远飞不上天!吉祥鸟铁鸟试验机完成总装交付

快科技9月14日消息,据中国航空工业集团有限公司消息,“吉祥鸟”AC313A铁鸟试验机近日顺利完成总装交付,即将进入约50小时的地面试验阶段,为AC313A直升机型号研制提供关键数据支撑。 据介绍,铁鸟试验机是航空研制体系中一个特殊的存在,它拥有一架飞机的钢铁骨架,却永远不会飞上天空。 其核心作用是在地面以1:1比例还原真实飞行工况,把航电系统、飞控、液压、操纵装置等关键子系统集中安装在一个钢结构

发布时间:2026-09-25来源:快科技
公职人员醉驾超速撞死过路夫妻 责任认定行人担次则 家属质疑:背后来车怎么躲

快科技9月14日消息,近日,山西临汾市蒲县薛关镇政府公职人员杜某某醉驾致一对夫妻身亡,事件引发关注。 9月13日,死者儿子张鹏提供了一份全长2分13秒的事发监控视频,逐秒还原了父母被撞的完整过程。家属对事故认定书中行人承担次要责任提出强烈质疑,核心问题在于:面对一辆从身后驶来、未开车灯、超速且醉驾的车辆,行人如何避让? 视频显示,其父母在马路中被撞时,肇事车辆从身后驶来,撞到二人时车辆发生颠簸,刹

发布时间:2026-09-25来源:快科技
卫龙162吨进口魔芋粉涉二氧化硫超标被拦截 官方客服:没有用于任何产品

快科技9月14日消息,今日晚间,“魔芋爽二氧化硫”话题冲上热搜,起因是卫龙一批进口原料检出问题引发热议。 海关总署公示信息显示,河南卫龙食品企业电商发展有限公司从印尼进口的162吨魔芋粉,二氧化硫含量超出《食品安全国家标准食品添加剂使用标准》(GB2760-2024)限量,被青岛海关依法拦截。 而魔芋粉正是卫龙魔芋爽等爆款零食的核心原料。9月14日,卫龙电商平台客服回应:该批原料在口岸抽检时就判定

发布时间:2026-09-25来源:快科技
其他能打的一个都没有 ASML的EUV光刻机稳如泰山:明年产能几近卖光

快科技9月14日消息,无论多么先进的AI芯片及内存,最终都要依赖晶圆厂生产,ASML是EUV光刻机的唯一卖铲人,现在能打的对手一个都没有。 ASML倒不是光刻机市场唯一的厂商,日本还有佳能、尼康,中国市场上也有两三家在做光刻机的公司,尼康甚至一度表态要跟ASML搞价格战,希望扩大光刻机市场的份额。 然而就算其他公司能在DUV光刻机上分一杯羹,EUV领域依然无人能撼动ASML的地位,这部分市场价值也

发布时间:2026-09-25来源:快科技
2026福建省AI垂类模型创新应用大赛:人人都是AI主人公,金牌工匠+五一奖章等你来拿-AITOP100,AI资讯

AITOP100平台的各位AI创作者,你们好,我是元元!当人工智能从“通用能力”走向“行业深耕”,真正的价值不再取决于模型参数的大小,而在于能否与行业知识、业务流程深度融合,解决真实痛点。2026年福建省人工智能行业垂类模型创新应用大赛 现在已经启动报名,由福建省总工会、福建省大数据集团联合主办,以“建功‘555X’·奋进新福建”为主题,坚持“赛训同步、以赛促训”。赛事设置“智能体创新应用赛”(个

发布时间:2026-09-14来源:AI TOP100
Windows更新又曝出新Bug!Excel粘贴失效:没反应也没报错

快科技9月14日消息,微软发布的9月安全更新KB5002914又导致了新Bug,微软已在更新说明中确认Excel粘贴功能失效,用户按下粘贴后没有任何反应,也没有任何错误提示。 受影响版本涵盖Excel 2016、2019、2021和2024,包括MSI安装和即点即用两种方式,以及Office 2021和2024的LTSC版本,Microsoft 365目前未列入受影响范围。 微软表示正在调查,尚未

发布时间:2026-09-14来源:快科技