关于人工智能将如何改变软件开发，人们已经讨论了太多维度：效率提升、代码生成、自动测试、低代码乃至“人人都是程序员”。但有一个关键变化，却长期被忽视——人工智能正在把形式化验证这一曾经高度学术化、门槛......
前面的文章简单分析了电池包内部凝露可能产生的部位、防凝露的设计等，本文接着讨论凝露测试的内容。本文约1200字，5张图片阅读预计1-2分钟~ 01 凝露测试目的当电池......
当前自动驾驶行业，各车企的技术路径普遍选择了单车智能方向。而在实际落地过程中，不同企业选择了差异化的技术实现方式，部分车企侧重于视觉—语言—动作模型（VisionLanguageAction,VLA......
对水文工作者来说，水尺上的每一个刻度都是守护江河安澜的“密码”，直接关系到防汛抗旱调度、水资源优化配置、生态环境治理等决策的科学性。然而在传统水位监测中，这串“密码”却常因各类难题而难以精准解码：水......
（图片来源：摄图网）12月17日，特斯拉CEO埃隆·马斯克在X平台上对福特汽车收缩电动汽车战略发表的尖锐批评。直言这标志着传统汽车行业已经无可救药地走向衰落和死亡。根据报道，福特此次战......
在血管介入治疗中，颈动脉狭窄、下肢动脉闭塞、外周血管病变等病症的治疗，始终受限于器械通过性、扩张有效性与操作便捷性。传统器械常因头端粗大难以抵达病变部位、材料强度不足无法破解钙化斑块，导致手术效率低......
智通财经APP获悉，Robinhood(HOOD.US)正在推出更多体育博彩功能，例如针对职业橄榄球比赛的预设组合合约（presetcombinationcontracts）。该公司在周二的一份声明......
智通财经APP获悉，葛兰素史克(GSK.US)宣布，其一款治疗重度哮喘的新药已获美国监管批准，这一进展有望为该药物成为重磅产品铺平道路。葛兰素史克在周三发布的一份声明中表示，美国食品药品监督管理局......
在高端电视市场竞争日趋激烈的当下，消费者对画质、音效与综合体验的要求不断升级，单纯的参数堆砌已难以满足需求。追觅电视新推出的AuraMiniLED4K电视V3000系列凭借独家定制的“黑晶臻彩屏”......
阔别六年之后，第二十届上海国际纺织工业展览会(ShanghaiTex2025)于昨日在上海新国际博览中心开幕。在纺织业寻求突破与转型的关键时期，本届展会以50000平方米的展览面积，深度融合科技、商......
作者：中国科技新闻学会科幻传播与未来产业专委会委员高恒摩尔线程上市之后，国产GPU在资本市场的叙事被迅速推到了一个新的高度。在算力紧缺、国产替代加速、生成式AI持续放大的背景下，GPU不再只是芯片工......
2025年12月16日，中国电子信息博览会组委会在深圳召开新闻发布会，宣布第十四届中国电子信息博览会（CITE2026）将于2026年4月9日—11日在深圳会展中心（福田）盛大举办，并向社会各界发布......
01引子：一个被忽视的战场2025年，AI眼镜被冠以"元年"之名。当聚光灯几乎全部打在大模型能力、光学方案和软件生态上时，真正决定这场竞赛胜负的关键，却可能藏在一个最容易被低估的环节——制造。赛道拥......
（图片来源：摄图网）12月15日，工业和信息化部正式公布我国首批L3级有条件自动驾驶车型准入许可，长安深蓝SL03(长安牌SC7000AAARBEV型纯电动轿车)与极狐阿尔法S6(极狐牌BJ7001......
烈火烹油的短剧行业，正在捧起一个又一个新晋顶流。艺恩营销智库数据显示，短剧行业年播放量突破500亿次，用户规模超8亿，形成了独特的内容生态和受众群体。短剧造星的效率远超传统影视。DataEye研究院......
AI对产品的变革，往往可以从用户的反应中看到端倪。9月24日凌晨，快手直播间上线了一个名为“AI万象”的新礼物特效。上线当天，用户生成礼物的请求量突破10万次，服务器一度排队超4000人，平均等待时......
芝能科技出品如果只看今天的人形机器人，很容易被两件事吸引：一是动作像不像人，二是模型大不大、算力强不强。但傅利叶对机器人的思考，恰恰是从这两个问题之前开始的。在地平线生态大会上傅利叶的CEO顾捷强调......
当下，AI的能力，正在不断地完善和提升。以往，我们所认识的AI大模型还仅仅只是可以进行简单的文字创作和视频生成；现在，诸多的AI玩家们开始将关注的焦点聚焦在了借助AI大模型生成专业型的小说和影视的身......
当司美格鲁肽、替尔泊肽靠着“减肥神药”的光环席卷全球市场，靶点、剂型、疗效升级不断，另一群糖尿病患者的困境似乎被掩盖在这场“技术狂欢”之下——1型糖尿病（T1D）患者，全球约915万人，每天必须与胰......
作者：MingleiShi等解读：AI生成未来亮点直击首次在视觉特征模型（VFM）特征空间上对文本到图像的隐扩散模型进行了大规模验证。开源了SVG-T2I模型的完整训练与推理流程，并提供多个尺寸的预......