标签：自然语言处理

（由多段落组成）： 随着科技的快速发展，教育领域的数字化转型也在不断推进。近日，教育部召开国家教育数字化战略行动2025年部署会议，并正式发布了国家智慧教育平台2.0智能版。这一平台旨在通过整合优质教育资源和先进技术，为用户提供更加智能化、个性化的学习与职业发展服务。 作为首批入选的AI应用之一，科大讯飞的AI求职助手成功上线该平台，为用户提供了全新的求职体验。与此同时，北京大学、清华大学、上海交通大学、复旦大学等知名高校以及人民网也推出了各自的AI产品，包括数学解题助手、代码纠错助手、AI课堂、...

长文本处理能力的突破：互信息缩放定律与 L²M 条件 在追求更强大的 AI 系统过程中，大语言模型处理长上下文的能力一直是发展的关键瓶颈。尽管 DeepSeek、GPT-4 和 LLaMA-3 等顶尖模型已能处理数万 token 的文本，但学术界对「模型究竟需要何种能力才能有效理解长文本」这一根本问题仍缺乏理论指导。近日，麻省理工学院的研究团队提出了自然语言中隐藏的互信息缩放定律（Mutual Information Scaling Law），并由此提出了长上下文语言建模的 L²M 条件（Long-context Language Modeling condition），为理解大语言模型的长文本...

研究团队介绍 香港科技大学、中国科学院软件研究所、西安电子科技大学和重庆大学共同组成了一个跨学科的研究团队。该团队的核心成员包括香港科技大学的研究助理教授曹嘉伦，主要研究领域涵盖AI与软件工程（AI&SE）、人工智能测试及形式化验证等；以及中国科学院软件研究所的副研究员陆垚杰，专注于大语言模型及其应用。 形式化推理与验证的需求增长 随着DeepSeek-R1的流行和AI4Math研究的深入，大模型在辅助形式化证明写作方面的需求日益增长。作为数学推理最直接的应用场景，形式化推理与验证（formal reasoning and v...

OpenAI 发布新推理模型 o3 和 o3-mini，安全测试先行 近日，OpenAI 经历了为期12天的发布周期，终于迎来了尾声。正如外界所预期的那样，新的推理系列模型——o3 和 o3-mini 成为了这次发布的收官之作。o3 系列模型是继 o1 之后的新一代产品，其显著特点是在回答问题之前进行更深入的思考（推理），从而提高回答的准确性和质量。 值得注意的是，OpenAI 在命名上跳过了 o2。据 The Information 报道，这一决定是为了避免与英国电信公司 O2 的名称混淆，进而引发版权问题。OpenAI 的 CEO Sam Altman 在今天的直播中也确认了这一...

计算语言学协会公布2024年度Fellow名单 本周四，计算语言学协会（ACL）公布了2024年度的新一届Fellow名单。今年共有9位学者入选，其中包括四位华人学者。自然语言处理（NLP）作为人工智能的重要研究方向之一，受到了广泛关注。ACL作为全球最具影响力的计算语言学国际学术组织，成立于1962年，会员遍布60多个国家和地区，代表着自然语言处理领域的最高水平。 ACL Fellow的评选标准 ACL Fellow旨在表彰在科学和技术领域有卓越贡献的ACL成员，以及为协会和技术社区提供服务或在教育方面有杰出表现的个人。要被任命为Fellow...

10月29日，站长之家（ChinaZ.com）报道，努比亚公司宣布将于11月6日举办12周年庆典及星云AIOS沟通会。此次活动中，努比亚将展示其最新的技术成果，其中最引人注目的当属即将发布的努比亚Z70 Ultra，该机型将首次搭载努比亚星云AIOS系统。 星云AIOS系统的命名暗示了其核心特点——人工智能技术。该系统集成了努比亚自主研发的星云AI大模型，标志着努比亚正式迈入AI时代，明确其AI产品战略。据努比亚官方透露，星云大模型的研发基于公司自有的星环大模型，并进行了增量预训练。研发过程中，团队整合了丰富的领域数据、专业知识...

OpenAI 近日发布了一款名为 Swarm 的多功能协同 AI Agent，引起了业界广泛关注。与传统的单一 AI Agent 不同，Swarm 能够同时创建多个智能体协同工作，共同完成各种任务。这些任务涵盖了客户服务、销售支持以及售后服务等多个领域。每个智能体都配备了专门的工具集，以提高工作效率。 例如，在电商行业中，当用户遇到商品问题时，Swarm 可以通过一系列智能体的协作来解决这些问题。首先，智能体会深入了解问题的具体情况，然后尝试提出解决方案。如果用户对解决方案不满意，Swarm 会进一步提供退款等服务，从而显著提升客服...

自2019年10月成立以来，全球首所人工智能大学穆罕默德·本·扎耶德人工智能大学（MBZUAI）迅速崭露头角，并在多个AI领域取得了显著成就。今年5月，MBZUAI成立了Institute of Foundation Models，并在去年10月与G42合作开发了先进的阿拉伯语大模型后，又独立研发了K2开源模型，成为全球唯一能够自行训练开发65B规模大模型的大学。 此外，MBZUAI在生命大模型研究、人脑控制机器人研究和虚拟现实世界模型研究等多个前沿领域取得了突破性进展。最新的Csrankings.org排名显示，MBZUAI在ML、CV、NLP、CS和Robotics五个专业的总排名...

重塑搜索的旅程 Richard Socher, 一位计算机科学家，在斯坦福大学攻读博士学位期间便萌生了创立You.com的想法。尽管谷歌在2009年至2014年间几乎垄断了搜索市场，Socher仍然坚信搜索技术能够进一步发展。随着提示工程和自然语言处理技术的进步，Socher与其联合创始人Bryan McCann认为搜索可以进化成提供综合答案的形式。在观察到谷歌并未朝着这个方向前进后，他们在2020年推出了You.com。 与众不同的定位 You.com旨在通过处理复杂的查询来服务于企业用户，以此区别于谷歌、OpenAI和Perplexity等竞争对手。该初创公司专注...

大型语言模型（LLMs）的推理能力竟然受到输出格式的显著影响，尤其是当输出格式被严格限定为JSON时，这种影响更为明显。台湾大学与Appier AI Research的一项最新研究揭示了这一现象，并提出了一种有效缓解该问题的方法。 研究背景 在现实世界的应用场景中，为了使大型语言模型能够更好地融入各种工业应用程序，往往需要它们遵循特定的标准化输出格式，如JSON或XML。然而，如何在保持模型推理能力的同时满足这些格式要求，一直是研究者们关注的重点。 实验设计 研究团队选取了一个具体的例子进行实验：计算Eliza一周工作...