腾讯与上海交通大学联合推出的DeepTheorem研究突破了大型语言模型在数学定理证明领域的限制。该项目创建了包含12.1万个IMO级别非形式化定理的大规模数据集，开发了专门的RL-Zero强化学习策略，并设计了全面的评估框架。研究表明，通过使用自然语言而非传统形式化系统，即使是7B参数的模型也能在复杂定理证明上取得显著成果，超越许多更大的专业模型。这一成果为AI数学推理开辟了新途径，使语言模型能够像人类数学家一样思考和证明。

Linux基金会日新成立了一个名为UXL基金会的行业组织，目标是简化能在多种类型加速器芯片上很好地运行的应用程序编写任务。

机器翻译越来越好用，但外语学习还是不能停。

第二届光合组织AI解决方案大赛上,锐思数智的RS Matrix 遥感影像智能解译联合解决方案,全方位展示了“遥感+AI”在自然资源调查监管等领域的应用前景,同时也进一步体现出国产技术生态的强大潜力,给出了一条技术应用突围的新路径。

今天，华为开发者大会2024（HDC 2024）在东莞篮球中心隆重揭幕。

日前，中国信通院“信创ERP产品服务能力要求”首批评估结果正式公布，端点科技新一代ERP企业核心管理系统凭借深厚的技术积累和完善的产品服务能力，顺利成为首批通过认证的厂商之一，为企业软件国产替代提供了一支新生力量。

UniGeo是一项开创性研究，它利用视频扩散模型来一致性地估计视频中的几何信息（如表面法线和坐标）。与传统方法不同，UniGeo在全局参考坐标系中进行预测，而非每帧的局部相机坐标系，从而有效利用视频模型中的帧间对应关系。研究团队提出了共享位置编码策略，并采用多任务联合训练方法，显著提高了几何属性预测的准确性和一致性。实验表明，即使只在静态视频数据上训练，UniGeo也能泛化到动态场景，为VR/AR、机器人技术和自动驾驶等领域提供了可靠的几何信息估计解决方案。

这项研究揭示了强化微调（RFT）在提升大语言模型推理能力的同时，会产生一种意外副作用——"幻觉税"：模型拒绝回答不可回答问题的能力显著下降，导致提供虚构答案的倾向增强。南加州大学的研究者通过创建"合成不可回答数学"（SUM）数据集，系统研究了这一现象，并发现在RFT过程中加入仅10%的SUM数据即可大幅改善模型的拒绝行为，且几乎不影响其解题精度。这一简单有效的方法不仅适用于数学推理，还能泛化到事实性问答等领域，教会模型在面对无法回答的问题时诚实地承认自己的知识边界。

AMD结束了长达一年的重组，今天公布的财报显示AMD实现了自2005年以来的最高季度收入。

SIGMOD Systems Award是该大会每年颁发的重磅奖项之一，其目标是在数据管理领域中选出同时具备理论创新，且在世界范围内被广泛应用的技术项目。

蚂蚁集团推出UI-Venus系统，这是一个能够仅通过屏幕截图就理解和操作用户界面的AI模型。该系统采用强化微调技术，在多个基准测试中达到业界最佳水平，其72B版本在界面识别任务上准确率达95.3%，在复杂的安卓操作任务中成功率达65.9%。研究团队还开发了创新的自进化轨迹对齐技术，显著提升了AI在多步骤任务中的规划能力，为智能化人机交互开辟了新途径。

电动汽车制造巨头表示，目前已购入15亿美元比特币，并计划开放使用比特币购买汽车产品的通道。

这项研究介绍了WikiDYK基准测试，利用维基百科"你知道吗"板块的实时更新内容评估大语言模型的知识注入能力。研究发现，双向语言模型(BiLMs)在记忆知识方面显著优于因果语言模型(CLMs)，准确率高出约23%。基于此，研究团队提出了一个模块化框架，将BiLMs作为知识库集成到LLMs中，进一步提升了29.1%的可靠性。这一发现挑战了当前主流LLM架构的优势假设，为AI系统的知识更新提供了新方向。

客户可借助由NVIDIA AI Foundry 服务和全新NVIDIA NIM微服务部署的定制化大模型，在SAP云解决方案中充分释放业务数据的潜力

9月19日，西门子和阿里云就MindSphere落地中国内地市场的技术路线图和具体实施计划进一步签订了合作协议，计划于2019年第一季度末面向国内客户发布“MindSphere on Alibaba Cloud”正式（general availability）版本。

Nutanix报告显示，随着传统数据中心加速衰落，中国企业正在混合云部署上领跑全球

12月6日，2018中国移动合作伙伴大会于广州正式开幕，小米首次展出旗下首款5G手机小米5G版MIX 3。下载速度最高可达2Gbps，预计明年第三季度推出支持中国移动5G网络的可商用终端。

爱沙尼亚塔林理工大学研究团队发现，先进AI视觉模型的问题不在于"看不清"图片，而在于"想不通"图片间逻辑关系。他们提出"线性分离天花板"概念，揭示了广泛存在的"线性推理瓶颈"现象，并证明通过针对性微调可以解决这一问题。研究为改进AI视觉推理能力提供了新思路。

官宣进军商用领域4个月后，华为终端于近日再度上线了多系列商用新品，包括华为MateBook B系列、华为擎云台式机系列＋华为商用显示器B3-243H及华为商用手表WATCH B7-738新品等

众多爆款科技好物最高优惠 3000，「人车家全生态」全面展开。