🔥热榜：2025-07-18

11:06  虎嗅  华为将首次线下展出昇腾384超节点真机
华为将首次线下展出昇腾384超节点真机。

2025世界人工智能大会（WAIC）将于7月26日至7月29日启幕。本次WAIC，华为将首次线下展出昇腾384超节点真机。华为此前推出昇腾超节点技术，实现业界最大规模的384卡高速总线互联。据悉，华为本次的展区面积超过800平方米，覆盖超过60个展点，展现昇腾软硬件能力，训推解决方案和开源软件生态。
11:06  36氪  一台3万元，打工人养不起小电驴
11:06  36氪  折叠屏手机的“厚度战争”，是否真的有意义？
11:06  36氪  在招聘平台投沉了300份简历，为何被校友内推就中了？
11:06  人人都是产品经理  搜索，你还用“百度”吗？
过去几年，你可能早就把百度搜索当成“临时跳板”，用完即走。但这次，它动了大手术：搜索框变聪明了，结果页更贴心了，AI助手也真的开始“帮你干事”。不是说百度翻身了，但这波改版，确实让人有点想重新点开试试看。
11:06  人人都是产品经理  最快从0粉涨到100万的原生UP主，凭什么是侯翠翠？
在B站，@侯翠翠 可能成了最快从0增至百万粉丝的原生UP主。 今年4月17日，@侯翠翠 开始在
11:06  人人都是产品经理  8000字讲解MCP与Function Call、Agent的关系
11:06  人人都是产品经理  当 AI 学会“为我代言”：Second Me 如何重新定义数字时代的身份主权
与传统虚拟助手不同，Second Me 重构了 AI 时代的人机关系，这款产品正在将 “数字分身承担实质职能” 从设想变为现实。本文将解析 Second Me 的技术架构、产品体验及其开源战略，探讨其如何重新定义数字时代的身份主权，以及这一变革对人性与技术关系的深层影响。
11:06  人人都是产品经理  OpenEvidence，医疗领域诞生了第一个广告模式 Chatbot
在医疗领域，AI技术正逐渐改变医生的工作方式。OpenEvidence作为一款专为医生设计的AI诊断辅助工具，通过精准的临床支持和创新的商业模式，迅速在美国医生群体中普及。
11:06  51CTO  清华陈麟九人天团，攻克几何朗兰兹猜想！30年千页证明，冲刺菲尔兹大奖？
历经30年，九位天才数学家终于攻克了「几何朗兰兹猜想」！五篇近千页重磅论文，彻底为这一猜想画上句号，更为未来数学研究打开了一扇全新的大门。令人振奋的是，清华学者陈麟也是论文的重要作者。
11:06  51CTO  全球最强开源「定理证明器」出世！十位华人核心，8B暴击671B DeepSeek
迄今为止最强大的开源定理证明器登场！Goedel-Prover-V2仅用8B参数击败671B的DeepSeek-Prover，并再次夺下数学PutnamBench冠军。十位核心贡献者，八大顶尖机构，让AI形式化证明再破纪录。
11:06  51CTO  大模型转行土木工程！首个「打灰人」评估基准：检验读、改工程图纸能力
首个工程自动化任务评估基准DrafterBench，可用于测试大语言模型在土木工程图纸修改任务中的表现。通过模拟真实工程命令，全面考察模型的结构化数据理解、工具调用、指令跟随和批判性推理能力，研究结果发现当前主流大模型虽有一定能力，但整体水平仍不足以满足工程一线需求。
11:06  51CTO  C++ 模板特化：90% 程序员面试必挂的知识点，你敢试试吗？
说实话，我见过太多这样的程序员了：STL用得很溜，各种容器信手拈来，但一涉及到模板的底层原理，立马就露馅了。
11:06  51CTO  思维链之父跳槽Meta，不只因为1亿美元！离开OpenAI前泄天机
离开OpenAI，只是为了Meta天价薪资？Jason Wei离职博客，泄露天机：未来AI更令人向往！
11:06  51CTO  刚刚，奥特曼放出ChatGPT「统一智能体」！惊呼真AGI，最卷打工人来了
ChatGPT agent诞生了！奥特曼深夜带队直播，首个统一智能体无缝融合三大AI，自主思考决策，还能上网直出PPT、Excel。2025年，作为全新AI杠杆，ChatGPT正在解锁「超级个体」新模式。
11:06  51CTO  普林斯顿团队领衔发布最强开源数学定理证明模型：32B性能大幅超越前代SOTA DeepSeek 671B
由普林斯顿大学牵头，联合清华大学、北京大学、上海交通大学、斯坦福大学，以及英伟达、亚马逊、Meta FAIR 等多家顶尖机构的研究者共同推出了新一代开源数学定理证明模型
11:06  51CTO  强化学习的两个「大坑」，终于被两篇ICLR论文给解决了
实时强化学习来了！AI 再也不怕「卡顿」。
11:06  51CTO  AI招聘革命：为何专门招应届生？
最近AI领域正在发生的事情。一家叫Genspark的公司，全力招聘应届毕业生，理由让人大开眼界：AI代理能将全球用户生产力提升10倍，而应届生+AI增强=不可阻挡的力量。
11:06  51CTO  ICCV 2025｜训练太复杂？对图片语义、布局要求太高？图像morphing终于一步到位
想深入了解 FreeMorph 的技术细节？我们已经为你准备好了完整的论文、项目主页和代码仓库！
11:06  51CTO  同步 vs 异步性能差十倍！SpringBoot 高吞吐接口实现终极方案
在 Java 世界里，同步接口就像这位 “一根筋” 的柜员 ——Tomcat 线程池里的每个线程都必须从头到尾处理一个请求，哪怕中间需要等待数据库查询、调用第三方接口这类耗时操作。

历史热榜