2026年伊始，国内再度掀起AI大战热潮，而全球人工智能产业似乎也正迎来一个微妙而关键的转折点。如果说过去三年是“百模大战”的喧嚣期，那当下已走向“价值落地”的深水区。 近日在世界经济论坛上，微软总裁萨提亚·纳德拉直言：“得让AI来干点真正有用的事了，要去创造实际价值，如果这些token不能让医疗更好、教育更棒、政府更高效、企业更有竞争力，那就白搭。” 这句话像是硅谷巨头的反思，但也更像中美AI竞 ...

这是一个关于人工智能如何学会更好地思考的故事。想象一下，你在教一个聪明但有点"散漫"的孩子做数学题。这个孩子通常能猜对答案，但他的推理过程常常有漏洞——他会说"因为看起来对所以就对了"，而不是真正理解为什么。如今，来自香港科技大学、上海人工智能实验室、浙江大学和香港浸会大学的研究团队发现了一个巧妙的办法，让这个"散漫的孩子"学会了像数学家一样严谨地思考。这项研究发表于2026年1月，论文编号为ar ...

盖世汽车讯 据外媒报道，仿真与验证解决方案提供商dSPACE与数学计算软件开发商MathWorks扩大合作，旨在利用开放标准简化交通仿真流程。自动驾驶应用程序的开发人员现在可以直接在dSPACE最新一代交通模型ASM OpenX中使用RoadRunner创建的道路模型，从而提高效率并缩短开发时间。 图片来源：dSPACE dSPACE产品经理Thorsten Püschl解释说：“通过将ASM O ...

人工智能在复杂推理任务中的表现长期受制于逻辑漏洞问题——即便最终答案正确，中间步骤也可能漏洞百出。香港科技大学、上海人工智能实验室、浙江大学及香港浸会大学联合团队提出突破性解决方案，通过引入形式化验证系统，让语言模型在推理过程中接受"实时逻辑检查"， ...