这项研究提出了QCompiler，一个神经符号框架，旨在提升检索增强生成系统中的搜索意图识别精确度。研究团队设计了最小且充分的BNF语法来形式化复杂查询，并开发了包含查询表达式翻译器、词法语法分析器和递归下降处理器的编译系统，将查询编译为抽象语法树。叶节点子查询的原子性确保了更精确的文档检索和回答生成，显著提升了处理复杂查询的能力。实验证明该方法在多个基准测试中表现优异，尤其在处理依赖型查询时优势明显。

“忒修斯”还是“忒修斯”，“Magic”还是“Magic”。

北京智源人工智能研究院等机构联合发布的AgentCPM-Report系统，首次实现了"写作即推理"的AI报告生成框架。该系统让80亿参数的小模型在写作过程中不断思考调整，突破了传统"先规划后执行"模式的洞察力天花板，在多项基准测试中超越了大型商业AI系统，为本地化深度研究提供了隐私安全的解决方案。

Palo Alto推出首款基于机器学习技术的下一代防火墙，能实现智能和主动式安全保护网络及物联网设备，并即时防御大多数已知和未知威胁。

Informatica希望通过收购Compact Solutions为客户解决数据治理相关挑战。

依靠强大的平台功能和扩展性，以及开发者生态，FileMaker正在成为一个企业应对数字化转型的强有力工具。而且背靠苹果公司，FileMaker在软硬件结合方面优势明显。

公有云能省钱，也能省事，这是对公有云比较普遍的认知，但答案并不绝对。公有云也有适合的群体，并不是所有企业都适合公有云。

港科大研究团队开发的MemFly系统为AI代理记忆管理带来突破性进展。该系统运用信息瓶颈理论，设计了三层记忆架构和三路径检索机制，让AI能够智能地整理、压缩和检索记忆信息。实验结果显示，MemFly在多个基准测试中显著提升了AI的长期推理能力，为构建更智能的AI助手奠定了重要技术基础。

尽管2018年加密货币价格急剧下跌，但风险投资依然继续流向区块链市场——今年迄今为止，这部分风投规模已经达到8.5亿美元，相比2017年全年几乎翻了一番。

爱因斯坦机器人是在去年11月的Salesforce Dreamforce会议上推出的，主要是提供给客服人员用的，可以在打电话来的客户与人类操作员交谈之前帮助客服人员了解所遇到的问题。

拉斯维加斯市现在正全力以赴吸引更多的游客，要将拉斯维加斯打造成美国未来之城。首席信息官Michael Sherwood表示，“拉斯维加斯正在再次振兴旅游业。我们能做的大事就是为这座城市最先进的技术提供基础，其中之一就是联网道路。”

腾讯混元团队开发了AutoCodeGen自动化系统，能够无需人工干预生成高质量编程测试题目。基于此创建的AutoCodeBench包含3920道题目，覆盖20种编程语言，是首个大规模多语言自动生成的代码评测平台。对30多个主流AI模型的测试显示，即使最先进的模型通过率也仅有52.4%，揭示了当前AI编程能力的局限性，特别是在小众语言和复杂多逻辑编程方面仍有很大提升空间。

四川大学和北京智源人工智能研究院研究团队发现，当前最先进的大语言推理模型存在"装懂"问题：面对信息不完整的数学题时，只有25%会主动询问缺失信息，大部分选择猜测答案。研究构建CRITIC-math数据集系统测试了这一现象，发现AI表现出思维背叛、过度思考、幻觉填空三种典型行为，揭示了当前AI训练中忽视求助意识培养的根本缺陷。

美国密苏里州默西医院团队开发了一个能在浏览器中运行的医疗AI模型，专门用于将医患对话转录生成标准化病历。该模型基于Llama 3.2 1B，通过1500个内分泌科病例训练，在保证隐私安全的前提下，显著提升了病历生成的准确性和完整性，严重医疗幻觉减少58.8%，为医疗AI的本地化部署提供了可行方案。

AI技术“能够还原一个早在10年之前关于特定事件的样貌”，利用患者记录中的不同数据整理出结构化概述。它还可以在各种意外的临床状况之下检测出异常：例如一位56岁的女性感到左胸疼痛，没有外伤史，放射科医生竟然漏诊了她的肋骨骨折。与人类放射科医生不同，人类可能会在对复杂病例的诊断达到一定数量之后陷入停滞，诊断能力再无寸进；而AI却可以提炼出一切可能性，而不会因为病理学层面的影响因素而分心。

Linux Foundation近日表示，将发起一个新的基金会，旨在将全球最重要的开源安全计划纳入一个新的框架下。新成立的Open Source Security Foundation（OpenSSF）将承载一系列安全项目。

据Gartner预测，2019年全球公有云服务市场将增长17.5％，规模达到2143亿美元，高于2018年的1824亿美元。

腾讯AI西雅图实验室推出的R-Zero框架实现了AI系统从零数据自主学习的突破。该框架通过挑战者和求解者两个角色的协同进化，无需人类标注数据即可显著提升大语言模型的推理能力。在Qwen3-4B模型上，数学推理能力提升6.49分，通用推理能力提升7.54分。这种自进化机制为AI超越人类知识边界提供了新路径。

刘佳烜介绍说，他们计划继续深化与华为的全方位合作，与华为健康深度融合。“作为以‘爱国奋斗、公能日新’为价值追求的南开人，为国家和社会贡献新时代青年的力量！”

上海交通大学团队开发的OPUS框架解决了AI大语言模型训练中的关键问题：如何根据具体优化器特性智能选择训练数据。该方法通过优化器诱导的投影实用性选择，仅增加4.7%计算开销就实现了平均2.2%的性能提升和8倍的训练效率。实验表明OPUS在多种场景下都能显著降低数据需求，为大规模AI训练提供了更经济高效的解决方案。