北大数学天才借力AI攻克孪生素数难题？
近日，Nature官网发布了一则令人振奋的消息：“无穷多素数成对存在的首次证明”，这个标题背后，是我国北大数学07级校友张益唐在孪生素数研究取得的突破性进展。这个突破，不仅让孪生素数猜想再次成为焦点，也让人们不禁好奇：当人工智能遇见数学难题，会擦出怎样的火花？让我们来了解一下这个突破性进展。张益唐证明了孪生素数猜想的一个弱化形式，找到了一个正数，使得有无穷多对素数之差小于这个给定正数。 这个正数是七千万，相对于孪生素数猜想给出的2还是有一段距离，但相比之前人们给不出来任何一个这样的正数，张益唐的结果无疑是
突破预设合成框架：生成式AI重塑游戏核心玩法
AI驱动游戏究竟能带来什么？渗透到各研发流程的生产环节，确实大幅提高了我们的研发效率与质量基线，但AI似乎只停留在游戏表层。无论是将大模型接入游戏让NPC多讲几句非剧本化的台词，还是"把文本框升级成聊天窗口"？AI好像变成了游戏的"装饰品"，而非"内核支柱"。AI绝不止于当"陪聊NPC"：我们借助多个Agent，重塑了游戏中的"核心体验"环节你近期在游戏中体验"武器锻造"是不是这种情况？依据配方消耗10块铁矿石+5根木材，点击"打造"，再等待5秒的进度条走完？或者在固定的合成公式引导下，将"火之石"与"铁
阿里上线AI音乐模型快乐虾米1.0版本
新浪科技讯 8月17日下午消息，今日，阿里巴巴集团微信公众号发文表示，"今天向大家介绍一位新朋友：AI音乐模型HappyShrimp 1.0，中文名快乐虾米。" 据介绍，HappyShrimp能精准理解自然语言，可以把你的一种情绪、一个故事或一段记忆变成一首完整的音乐。 HappyShrimp从研发之初就选择了降低创作门槛：在乐理、编曲等专业术语之外，精准理解自然语言，让每个人都能享受创作音乐等乐趣。针对AI音乐人声机械、词曲错位、听感嘈杂等痛点，HappyShrimp在声音细节与音乐性上实现了一些突破。
清华大学出版社AI技术系列图书概览
（清华大学出版社）人工智能技术丛书介绍《智能体工程驱动AI Agent开发》以智能体工程为主线，全面讲解智能体从范式演变到工程落地的完整过程，并搭配实战案例，协助读者熟悉智能体工程驱动AI Agent开发的技巧。《智能体工程驱动AI Agent开发》附带配套源码、PPT课件、读者交流微信群，所有代码经测试均能正确运行。《智能体工程驱动AI Agent开发》共13章，涵盖智能体工程概述、Agent环境安装与大模型基础应用、初识智能体（Qwen与Anthropic互通）、京韵导览Agent开发、从提示词工程到
AI新手入门核心术语速览
第一章节：AI顶层基础常识一直有个念头，想和大伙一起慢慢认识AI，也算督促激励自身，共同成长进步，期待各位一起探讨。1.AI 人工智能（Artificial Intelligence）核心定义：计算机科学的分支领域，探究怎样使机器模拟、扩展人类的感知、学习、推理、决策等智能化行为。通俗说法：让计算机具备类似人类的思考、判断本领，并非真正拥有自主意识，而是模仿人的智能来完成任务。例子：人脸识别、AI对话助手、导航路线规划都是AI的具体应用。2.弱人工智能 Narrow AI核心定义：专门应对某类特定任务的人
鸿蒙版支付宝大更新，AI助手“阿宝”公测
新浪科技讯 8月13日消息，鸿蒙版支付宝迎来重大更新，其内置的AI助手“阿宝”现已开启公测。鸿蒙用户若想使用，只需在华为应用市场更新APP，随后在首页右滑或点击左下角图标，便能体验“阿宝”，通过语音即可触发餐饮、缴费、政务等服务。该AI版本于今年6月份首次发布。 至此，“阿宝”已成功覆盖 iOS、Android 和 HarmonyOS 三大主流操作系统的应用场景。 AI版支付宝允许用户一键切换至AI原生界面。自6月16日发布以来，“阿宝”凭借自然语言交互技术，彻底改变了用户与支付宝的互动模式。 此次更新后
汉字与信息技术、人工智能的百年交织
曾想动笔却未成文的，是想评点一下某公号文章《西方专家：中国又打破"不可能"，让汉字进入电脑他们用了100年》，可惜原文已被作者删除，原因不明；幸而通过百度检索得以寻获，见文末"原文链接"。文章主要阐述的是汉字计算机输入法的演进历程。【王选借助数学公式将汉字压缩五百倍，王永民使键盘能够"吐出"每分钟一百三十余字——这不仅是技术的凯旋，更是文明的反攻】，并将历史追溯至百年前五四先驱所喊出的口号"不废汉字，必亡其种"，在【被"机械文明"放逐的一个世纪】这一标题下还谈及中文与西方打字机的渊源。由此可见，汉字与所谓
AINLP 2026会议圆满落幕，共探AI与NLP新未来
人工智能与自然语言处理作为科研核心，备受政产学各界瞩目，深刻改变了社会生活。为对标国际顶尖水平，加速国内相关研究，深化跨域协作至关重要。本届会议应运而生，旨在搭建国际学术桥梁，促进学者间关于AI及NLP最新成果、热点课题及未来趋势的深度探讨与经验分享。会议亮点在于汇聚了众多高层领导与顶尖专家，议题紧扣国内研究脉搏。组织机构由国内知名学者领衔，确保了会议的高水准与影响力。这不仅为业界提供了聆听行业领袖见解的契机，也为全球学者搭建了沟通的纽带。同时，会议重点展示了亚太及中国，特别是上海浦东在AI与NLP领域的
AI时代为何呼唤数据库3.0
前阵子跟一位制造业的CIO喝茶，他抛给我一个问题："我们现在有MySQL做业务库，MongoDB存日志，Milvus放向量，InfluxDB跑时序，这算不算数据库2.0？"我反问：“那你做AI项目时，这几个库之间来回倒数据，到底有多少次？”他愣住了，说：“光是做个RAG知识库，我们就写了6个ETL脚本。”这就是我写这篇文章的初衷。很多人误以为数据库3.0只是比2.0多加几台服务器、多分几个分片。但看了那张“数据库1.0→2.0→3.0”的演进图就懂了：真正的3.0，不是Y轴（机器）的延伸，
Revit AI智能助手
■瑞虎BIM-AI插件 v1.0周三下午三点，李工拿到了甲方发来的第三版图纸修改通知。他无奈地叹了口气，点开Revit，对着 DWG 底图一根一根地描画柱子。建模、校核、批注、推翻重做、再校核。一套图纸走完，少则三天多则五天。李工的办公位上始终摆放着两样东西：一杯浓咖啡，外加一沓已被翻得起毛边的设计说明。这并非李工一个人的烦恼。成千上万的建筑从业者每天都在重复同样的劳作——把图纸上的信息手工搬运进模型。倘若有那么一天，设计师只需对着 Revit 说出一句指令，AI 便能替其完成全部建模工作，会是怎样一种体
AI入门全解析：从零开始读懂人工智能核心概念
"AI究竟能否取代人类？""数亿从业者面临失业危机？AI风头真的势不可挡！""AI将接管人类岗位？大学生群体遭遇就业难题？"......人工智能的浪潮扑面而来，这类资讯你或许屡见不鲜，甚至可能由此心生焦虑与不安。对于刚踏入AI领域的初学者而言，这门学科的知识体系既浩瀚又错综复杂，各类专业术语铺天盖地，常常令人一头雾水、无从下手。AI究竟为何物？AI大模型又是何意？还有算力？AIGC指什么？GPT到底是什么？今天小编就带大家一探究竟AI，是artificial intelligence的英文缩写。Artif
顶尖AI写作工具大比拼，哪款最适合你？
说实话，如今的AI写作工具多得数不胜数，随便一查就是几十个，个个都夸得天花乱坠。真正用了才明白，要么功能虚有其表，要么收费藏猫腻，折腾半天一无所获。那么问题来了——这么多工具里，究竟哪些是真能帮上忙的？哪些只是凑热闹？ 这篇文章就是想把我踩过的坑、总结的经验，一次性给大家讲明白。排名主要看两点：第一是写作效果和逻辑能力，第二是价格性价比。废话不多说，直接上干货。 先说说AI技术的根基 不少人用AI写作，却未必了解背后的技术原理。现在市面上的AI工具，底层技术大致分三种：自然语言处理、机器学习和深度学习。
AI核心支柱技术全景解析
AI核心支柱技术机器学习：涵盖监督学习、无监督学习、强化学习深度学习：基于神经网络的智能学习范式自然语言处理：涵盖机器翻译、语音识别、文本挖掘等计算机视觉：包括图像识别、目标定位等专家系统：模拟人类专家判断的逻辑系统从技术原理、核心方法、前沿进展与典型场景四个层面系统梳理，构建完整技术图谱：机器学习是让机器从数据中自动发现规律的学科，关键在于构建最优映射函数。监督学习（有标签训练）：核心任务：分类（离散结果）与回归（连续预测）。经典算法：线性/逻辑回归、支持向量机（SVM）、决策树与随机森林、XGBoos
黑洞足迹本：AI 驱动的个人独家应用
黑洞足迹本是我打造的一款一人 APP，之前的作品是黑洞健身。你是否想过，我们一生游历过无数地方，却往往遗忘大半，甚至想寻回时却不知其所在。此外，工作中需记录众多合作伙伴的地址以便出差拜访，但这些信息缺乏便捷的存储与查询方式。此前我习惯在高德地图收藏地址并添加标签备注，然而这些信息难以检索，也不便于向 AI 大模型开放。因此，我开发了黑洞足迹本。这是一款专为 AI 时代打造的一人 APP，融合了大模型的自然语言理解能力与向量检索数据库。黑洞足迹本具备两大核心功能。其一，支持为地址添加图片及文字描述，如下图所
AI浪潮下语言学的反思
身处人工智能纪元，语言——特别是人类原创且富含创造力的表达——正遭遇被替代的风险。AI 的语言机能与人类自然语言能力呈现出惊人的趋同，甚至在诸多维度上已凌驾于普通人的水准之上。语言作为思维与认知的核心载体，在思维构建及表达的全链路中，AI 已深度渗透。可以预见，在不远的将来，AI 或许将在自然语言的认知、思维及表达层面全面超越人类。这一态势给人类带来了前所未有的严峻挑战。然而，令技术停摆几无可能。我们更应致力重新发掘并珍视那些 AI 无法复刻的人类特质，并将其悉心守护。其中最为根本的，便是人类独有的“具身