Kim
PulseAugur coverage of Kim — every cluster mentioning Kim across labs, papers, and developer communities, ranked by signal.
- 2026-05-18 research_milestone Researchers release the Grounded Integration Measure (GIM) benchmark for evaluating AI models. 来源
3 天有情绪数据
-
在 Lean 4 中形式化自对偶码的构造
本文介绍了在 Lean 4 中对自对偶码构造的形式化，重点关注各向同性线。它建立了 Chinburg 和 Zhang 在二元希尔伯特符号实现中的约简与 Kim 的构造法之间的等价性。该工作还将这些机制扩展到 q 同余于 1 模 4 的 q 元类似物，从而在构造有限域上的最优自对偶码方面得到应用。
-
中国暗示愿协助安排特朗普与金正恩在亚太经合组织会议上会面
中国已表示愿意促成美国前总统特朗普与朝鲜领导人金正恩之间的会晤。据报道，北京正在积极且建设性地发挥作用，以重新建立美朝之间的外交渠道。这样的峰会可能在11月于中国深圳举行的亚太经合组织峰会期间举行。
-
在中国地缘政治格局变化之际，中国寻求促成特朗普与金正恩的新峰会
中国正积极定位，以促成唐纳德·特朗普与金正恩可能举行的第四次会晤，旨在重塑其在朝鲜半岛外交中的核心地位。据报道，北京已准备好支持恢复美朝对话的可靠努力，但寻求华盛顿就任何峰会的具体目标作出保证。金正恩预计将要求重大让步，包括解除制裁和承认朝鲜的核地位，并利用其与俄罗斯和中国的牢固关系。
-
参议员呼吁禁止在政治竞选中使用AI深度伪造
Kim参议员呼吁禁止在政治竞选活动和超级政治行动委员会中使用AI生成的深度伪造内容，理由是其欺骗性质以及误导选民的潜力。她强调需要采取行动保护个人免受此类深度伪造策略的侵害。参议员强调了与政治领域中这些由AI驱动的方法相关的欺诈和腐败问题。
-
马普切语语法分析：前动词词根与韵律-拼写假说
本文研究了马普切语中前动词词根的语法作用，特别关注“wuno”一词，意为“返回/再-”。作者批判性地回顾了对这些词根的现有分类，如助动词或情态前缀，并提出了一个新假说。他们对四百年语料库的分析表明，这些词根的表观变化是由于早期传教士对韵律停顿的转录，这些停顿后来被重新解释为句法边界。这一韵律-拼写假说支持马普切语语法的激进连接模型，为缺乏接触前书面传统的语言提供了见解。
-
研究发现：对抗性自我博弈对人工智能法律推理无益
一项最近在arXiv上发表的研究调查了对抗性自我博弈在提高人工智能模型法律推理能力方面的有效性。研究发现，对抗性自我博弈的竞争性方面，即学生模型的论点受到对手的攻击，并未比非竞争性训练方法提供任何可靠的益处。在多项测试中，竞争性成分未带来显著改进，盲审结果显示两种方法胜率接近50%。该研究强调了可验证的训练环境而非竞争本身对于增强人工智能法律推理能力的重要性。
-
人形机器人Kim获得个性化情景记忆，以改善社交互动
研究人员为人形机器人Kim开发了一个轻量级情景记忆模块，将大型语言模型与基于向量的语义检索相结合。该模块通过使机器人能够回忆过去的互动来增强对话式AI，从而提高人机互动中感知的社交性、可信度和温暖度。评估表明，该记忆系统在不增加干扰感或隐私担忧的情况下，显著提升了这些社交指标。
-
新方法在实值函数中编码序和树
研究人员开发了在实值函数中编码序和树的新方法，这与组合学和统计学习理论中的定量结果有相似之处。这些进展改进了从树中提取阈值属性和顺序 fat-shattering 维度的界限。这项工作解决了与稳定函数的定量正则性引理和对偶顺序 fat-shattering 维度相关的开放性问题，与之前的研究相比，提供了更强的形式和改进的界限。
-
Sam Altman 考虑持有 OpenAI 3 亿美元股份；韩国婚介新闻浮出水面 · 跟踪 3 个来源
据报道，OpenAI 首席执行官 Sam Altman 正在考虑持有该公司 3 亿美元的股份，旨在按照此前的承诺，将人工智能财富与美国人分享。此消息传出之际，其他报道则突出了韩国的独特情况，包括芯片工人因父母的担忧而被纳入婚介服务，以及个人接受眼部移植手术。
-
阿里巴巴被指与大规模Claude AI模型蒸馏攻击有关 · 追踪到1个来源
Anthropic公司披露了一起前所未有的AI盗窃企图，据称与阿里巴巴有关的运营者在44天内使用了2880万次查询来蒸馏Claude的高级能力。这次通过近25000个欺诈账户进行的超大规模数据泄露事件，远超以往任何事件，并凸显了不断升级的“蒸馏军备竞赛”。该事件重新点燃了中美科技紧张关系，并引发了对新AI安全措施的呼吁，包括可能将蒸馏攻击者列入黑名单。
-
朝鲜将为海军装备核武器，建造更大军舰
朝鲜领导人金正恩宣布计划为国家海军装备核武器并建造更大的军舰。在新型驱逐舰“崔贤”号的服役仪式上，金正恩表示海军的核武装计划正按计划进行。他还概述了连续建造万吨级战略军舰的战略，目标是每年生产两艘。
-
朝鲜承诺与俄罗斯建立军事同盟
朝鲜领导人金正恩已表达对俄罗斯及其政策的坚定支持，标志着两国之间军事同盟的深化。这种被描述为“牢固的军事同盟”和“历史新篇章”的加强关系，建立在2024年6月签署的《全面战略伙伴关系条约》之上。金正恩在俄罗斯日致普京的贺电，凸显了朝鲜与俄罗斯联邦站在一起的承诺。
-
GIM基准测试在整合认知任务上评估LLM
研究人员推出了Grounded Integration Measure (GIM)，这是一个旨在通过整合多个认知域来评估大型语言模型的新基准。GIM包含820个原创问题，需要对可访问的知识进行各种认知操作的协调，旨在评估基于现实任务的推理，而不是纯粹的记忆或抽象推理。该基准包括一个公共-私有划分，用于污染诊断，并利用在28个模型超过200,000个提示-响应对上校准的IRT模型来生成强大的能力估计和全面的排行榜。