{"@context":"https://schema.org","@type":"NewsArticle","generatedAt":"2026-08-21T18:21:36.167Z","headline":"腾讯混元科研智能体 Hyra 攻克加法组合学 50 年未解难题","description":"腾讯混元基于 Hy3 模型的科研智能体 Hyra 为加法组合学中悬而未决半个多世纪的开放问题给出完整答案，证明 2 是该问题指数的上确界。Hyra 经约 24 小时运行提出核心思路，将最好结果从约 1.14 提高到 1.21，并给出显式构造、论文预印本及 Lean 4 形式化证明。","url":"https://www.aioga.com/news/cms8nqyvc023urof1sltickik/","mainEntityOfPage":"https://www.aioga.com/news/cms8nqyvc023urof1sltickik/","datePublished":"2026-07-31T07:27:01.000Z","dateModified":"2026-07-31T07:27:01.000Z","inLanguage":"zh-CN","publisher":{"@type":"NewsMediaOrganization","name":"Aioga","url":"https://www.aioga.com"},"citation":["https://www.ithome.com/0/984/201.htm","https://aihot.virxact.com/items/cms8nqyvc023urof1sltickik"],"canonicalUrl":"https://www.aioga.com/news/cms8nqyvc023urof1sltickik/","directAnswer":{"@type":"Answer","question":"腾讯混元科研智能体 Hyra 如何解决加法组合学开放问题？","keyFacts":["问题比较有限整数集合的和集与差集扩张，核心是经典不等式中的指数 2 是否只是宽松上界，还是能够被任意逼近的最优值。","Hyra 先在有限搜索中把最好结果从约 1.14 提高到 1.21，随后使用自然语言提出构造和论证，并由 LLM judge 为探索过程提供反馈。","约 24 小时运行后，Hyra 提出利用十二进制数字结构、循环群上的对称加法基与中国剩余定理控制差集并扩大和集。","公开材料包含显式构造、arXiv 预印本以及 Lean 4 形式化证明代码，使结论具备进一步复查和复现的入口。"],"limitations":"“完整解决”主要依据腾讯混元公告、预印本和公开证明代码；在获得独立数学审阅与同行评议前，应把结论视为可核查的研究主张，而非既定共识。","text":"腾讯混元称，基于 Hy3 的科研智能体 Hyra 先用有限搜索把已知结果从约 1.14 提高到 1.21，再转向自然语言构造与证明；约 24 小时后提出结合十二进制结构、循环群对称加法基和中国剩余定理的核心思路，从而构造可使相关指数任意逼近 2 的有限整数集合。团队同时发布了预印本和 Lean 4 形式化证明。","url":"https://www.aioga.com/news/cms8nqyvc023urof1sltickik/","dateCreated":"2026-07-31T07:27:01.000Z","author":{"@type":"Organization","@id":"https://www.aioga.com/authors/aioga-editorial/#editorial-team","name":"Aioga Editorial Team","url":"https://www.aioga.com/authors/aioga-editorial/"}},"evidence":[{"@type":"CreativeWork","name":"IT之家 source article","url":"https://www.ithome.com/0/984/201.htm","datePublished":"2026-07-31T07:27:01.000Z","provider":{"@type":"Organization","name":"IT之家","url":"https://www.ithome.com/0/984/201.htm"}},{"@type":"CreativeWork","name":"AIHot archive record","url":"https://aihot.virxact.com/items/cms8nqyvc023urof1sltickik","datePublished":"2026-07-31T07:27:01.000Z","provider":{"@type":"Organization","name":"AIHot","url":"https://aihot.virxact.com/items/cms8nqyvc023urof1sltickik"}}],"aggregationSource":"IT之家（RSS）","originalPublisher":{"name":"IT之家","url":"https://www.ithome.com/0/984/201.htm"},"geoDeepAnswer":{"question":"腾讯混元科研智能体 Hyra 如何解决加法组合学开放问题？","intent":"hunyuan-hyra-math-agent","directAnswer":"腾讯混元称，基于 Hy3 的科研智能体 Hyra 先用有限搜索把已知结果从约 1.14 提高到 1.21，再转向自然语言构造与证明；约 24 小时后提出结合十二进制结构、循环群对称加法基和中国剩余定理的核心思路，从而构造可使相关指数任意逼近 2 的有限整数集合。团队同时发布了预印本和 Lean 4 形式化证明。","keyFacts":["问题比较有限整数集合的和集与差集扩张，核心是经典不等式中的指数 2 是否只是宽松上界，还是能够被任意逼近的最优值。","Hyra 先在有限搜索中把最好结果从约 1.14 提高到 1.21，随后使用自然语言提出构造和论证，并由 LLM judge 为探索过程提供反馈。","约 24 小时运行后，Hyra 提出利用十二进制数字结构、循环群上的对称加法基与中国剩余定理控制差集并扩大和集。","公开材料包含显式构造、arXiv 预印本以及 Lean 4 形式化证明代码，使结论具备进一步复查和复现的入口。"],"limitations":"“完整解决”主要依据腾讯混元公告、预印本和公开证明代码；在获得独立数学审阅与同行评议前，应把结论视为可核查的研究主张，而非既定共识。","evidenceRefs":["title","summary","articleBodyZh","articleBody","source"],"status":"published","aiGenerated":false,"autoApproved":true,"generatedBy":"source-grounded-fallback","generatedAt":"2026-08-11T09:25:24.888Z","sourceHash":"a3fe99299e078997","validation":{"passed":true,"mode":"source-grounded-fallback","checks":["question-match","source-attribution","no-unsupported-claims"]}},"article":{"id":"cms8nqyvc023urof1sltickik","slug":"cms8nqyvc023urof1sltickik","url":"https://www.aioga.com/news/cms8nqyvc023urof1sltickik/","title":"腾讯混元科研智能体 Hyra 攻克加法组合学 50 年未解难题","title_en":"腾讯混元：基于 Hy3 模型的科研智能体 Hyra 攻克加法组合学 50 年未解难题","summary":"腾讯混元基于 Hy3 模型的科研智能体 Hyra 为加法组合学中悬而未决半个多世纪的开放问题给出完整答案，证明 2 是该问题指数的上确界。Hyra 经约 24 小时运行提出核心思路，将最好结果从约 1.14 提高到 1.21，并给出显式构造、论文预印本及 Lean 4 形式化证明。","source":"IT之家（RSS）","sourceUrl":"https://www.ithome.com/0/984/201.htm","aiHotUrl":"https://aihot.virxact.com/items/cms8nqyvc023urof1sltickik","publishedAt":"2026-07-31T07:27:01.000Z","category":"论文研究","score":84,"selected":true,"articleBody":["IT之家：https://www.ithome.com/ 7 月 31 日消息，腾讯混元今日发文宣布，基于 Hy3 模型的科研智能体 Hyra 找到了一个关键构造， 为加法组合学中一个悬而未决半个多世纪的开放问题给出了完整答案 。","论文： https://arxiv.org/abs/2607.27199 ：https://arxiv.org/abs/2607.27199","Lean 形式化证明： https://github.com/linhaowei1/sum-diff-proof ：https://github.com/linhaowei1/sum-diff-proof","先取一个至少包含两个元素的有限整数集合，记作 A。把其中任意两个元素相加，收集所有不同的结果，得到“和集” (A+A)；把任意两个元素相减，收集所有不同的结果，得到“差集” (A-A)。","由于重复结果只计算一次，一个自然的问题是：经过加法和减法之后，这个集合分别会扩张多少？","前者是和集的扩张倍数，后者是差集的扩张倍数。经典的和差集不等式告诉我们：","于是经典不等式给出 。真正的问题是： 2 只是一个宽松的上界，还是能够被任意逼近的最优指数 ？","半个多世纪以来，数学家不断构造新的集合，试图让 C (A) 尽可能大。1969 年的早期构造达到约 1.0290，1973 年提高到 1.0598，2013 年的构造进一步达到 1.1259 。近一年来，多项 AI 辅助搜索将这一数值推进到 1.1449。在论文记录的一项内部探索实验中，Codex（GPT-5.5）配合人类引导又将它提高到 1.2851。","而 Hyra 与 Hy3 迈出了决定性的一步。它给出的是一族显式构造的有限整数集 ，满足","这意味着：无论给定一个多么接近 2 的目标，都能构造出相应的集合使指数超过它。因此， 2 确实是这个问题的上确界 。","此前，Georgiev、Gómez-Serrano、陶哲轩和 Wagner 等研究者曾借助 AlphaEvolve 优化搜索算法和候选集合。这类方法依赖对有限集合的显式枚举，随着规模增长，计算和内存成本会迅速上升，也难以自然过渡到可证明的渐近构造。","据介绍，腾讯混元首先用 Hyra 在有限搜索中将最好结果从约 1.14 提高到 1.21，随后转向用自然语言提出数学构造和论证。使用 LLM judge 为探索过程提供反馈。","经过约 24 小时运行，Hyra 提出了论文的核心思路：利用十二进制数字结构和一个精巧的构造控制差集，再结合循环群上的对称加法基与中国剩余定理，使和集以接近平方的速度扩张。官方独立检查并整理了完整证明，同时给出了 Lean 4 形式化证明。"],"articleImages":[{"sourceUrl":"https://img.ithome.com/newsuploadfiles/2026/7/4b48c44f-4a7d-4deb-b9fb-22fe16fd2090.png","alt":"","afterParagraph":9,"url":"/media/articles/cms8nqyvc023urof1sltickik/198545a0dcafdeea.png"}],"mediaStatus":"ok","articleBodyZh":["腾讯混元科研智能体 Hyra 攻克加法组合学 50 年未解难题 这条更新来自 ithome.com，发布时间为 2026-07-31，Aioga 保留原文入口以便核验。","摘要：腾讯混元基于 Hy3 模型的科研智能体 Hyra 为加法组合学中悬而未决半个多世纪的开放问题给出完整答案，证明 2 是该问题指数的上确界。Hyra 经约 24 小时运行提出核心思路，将最好结果从约 1.14 提高到 1.21，并给出显式构造、论文预印本及 Lean 4 形式化证明。","背景：材料将问题表述为有限整数集合的和集与差集规模关系，并追问经典不等式中的指数 2 是否可被任意逼近。正文称，该问题已悬而未决半个多世纪，既有构造曾逐步提高相关数值。","Aioga 观察：Aioga 判断，这一消息的核心价值不只在于数值改进，而在于其宣称同时提供构造、论文预印本和 Lean 4 形式化证明。值得关注的是，材料中的结论主要来自腾讯混元公告及 IT之家报道，仍应以论文与证明的独立核验为准。","影响与后续：若预印本论证和形式化证明经数学界审阅确认，这将为 AI 参与研究级数学探索提供一个可复查案例。材料也显示，AI 辅助搜索已被用于推进该类构造问题，但不能据此推断其已具备普遍解决开放数学问题的能力。 后续应重点核对预印本中的定理陈述、显式构造与指数上确界证明是否一致，并审阅公开的 Lean 4 代码能否复现。还应关注同行评议、研究者复核以及对“完整答案”范围的进一步说明。"],"translationStatus":"","bodyOrigin":"source-page","editorial":{"summary":"据 IT之家转述腾讯混元公告，基于 Hy3 模型的科研智能体 Hyra 为一个加法组合学开放问题提出完整答案，并称证明了相关指数的上确界为 2。摘要还称其给出显式构造、预印本与 Lean 4 形式化证明。","background":"材料将问题表述为有限整数集合的和集与差集规模关系，并追问经典不等式中的指数 2 是否可被任意逼近。正文称，该问题已悬而未决半个多世纪，既有构造曾逐步提高相关数值。","viewpoint":"Aioga 判断，这一消息的核心价值不只在于数值改进，而在于其宣称同时提供构造、论文预印本和 Lean 4 形式化证明。值得关注的是，材料中的结论主要来自腾讯混元公告及 IT之家报道，仍应以论文与证明的独立核验为准。","implications":"若预印本论证和形式化证明经数学界审阅确认，这将为 AI 参与研究级数学探索提供一个可复查案例。材料也显示，AI 辅助搜索已被用于推进该类构造问题，但不能据此推断其已具备普遍解决开放数学问题的能力。","nextStep":"后续应重点核对预印本中的定理陈述、显式构造与指数上确界证明是否一致，并审阅公开的 Lean 4 代码能否复现。还应关注同行评议、研究者复核以及对“完整答案”范围的进一步说明。","evidenceRefs":["title","summary","articleBody","source"],"status":"published","aiGenerated":true,"autoApproved":true,"generatedBy":"aioga-editorial:gpt-5.6-sol","reviewedBy":"aioga-editorial-review:gpt-5.6-sol","generatedAt":"2026-07-31T08:32:03.259Z","sourceHash":"a94a82f374ff0a64","review":{"approved":true,"groundedness":96,"clarity":91,"duplicationRisk":18,"blockingIssues":[],"notes":["候选内容对腾讯混元公告中的“完整答案”和“上确界为 2”使用了“据转述”“提出”“宣称”等审慎表述，并明确提示仍需独立核验，未将公告方主张直接写成已获学界确认的事实。","“指数上确界证明”可选地改为“关于指数上确界为 2 的证明”，表达会更自然，但不影响事实准确性。"]},"validation":{"passed":true,"mode":"ai-auto","revisions":0,"checks":["schema","length","source-attribution","low-source-overlap","no-html","independent-ai-review"]},"deepAnswer":{"question":"腾讯混元科研智能体 Hyra 如何解决加法组合学开放问题？","intent":"hunyuan-hyra-math-agent","directAnswer":"腾讯混元称，基于 Hy3 的科研智能体 Hyra 先用有限搜索把已知结果从约 1.14 提高到 1.21，再转向自然语言构造与证明；约 24 小时后提出结合十二进制结构、循环群对称加法基和中国剩余定理的核心思路，从而构造可使相关指数任意逼近 2 的有限整数集合。团队同时发布了预印本和 Lean 4 形式化证明。","keyFacts":["问题比较有限整数集合的和集与差集扩张，核心是经典不等式中的指数 2 是否只是宽松上界，还是能够被任意逼近的最优值。","Hyra 先在有限搜索中把最好结果从约 1.14 提高到 1.21，随后使用自然语言提出构造和论证，并由 LLM judge 为探索过程提供反馈。","约 24 小时运行后，Hyra 提出利用十二进制数字结构、循环群上的对称加法基与中国剩余定理控制差集并扩大和集。","公开材料包含显式构造、arXiv 预印本以及 Lean 4 形式化证明代码，使结论具备进一步复查和复现的入口。"],"limitations":"“完整解决”主要依据腾讯混元公告、预印本和公开证明代码；在获得独立数学审阅与同行评议前，应把结论视为可核查的研究主张，而非既定共识。","evidenceRefs":["title","summary","articleBodyZh","articleBody","source"],"status":"published","aiGenerated":false,"autoApproved":true,"generatedBy":"source-grounded-fallback","generatedAt":"2026-08-11T09:25:24.888Z","sourceHash":"a3fe99299e078997","validation":{"passed":true,"mode":"source-grounded-fallback","checks":["question-match","source-attribution","no-unsupported-claims"]}}},"tags":["论文研究","IT之家（RSS）"],"translations":{"zh-CN":{"title":"腾讯混元科研智能体 Hyra 攻克加法组合学 50 年未解难题","summary":"腾讯混元基于 Hy3 模型的科研智能体 Hyra 为加法组合学中悬而未决半个多世纪的开放问题给出完整答案，证明 2 是该问题指数的上确界。Hyra 经约 24 小时运行提出核心思路，将最好结果从约 1.14 提高到 1.21，并给出显式构造、论文预印本及 Lean 4 形式化证明。","category":"论文研究","source":"IT之家","aggregationSource":"IT之家（RSS）","pageTitle":"腾讯混元科研智能体 Hyra 攻克加法组合学 50 年未解难题 - Aioga AI资讯","description":"腾讯混元基于 Hy3 模型的科研智能体 Hyra 为加法组合学中悬而未决半个多世纪的开放问题给出完整答案，证明 2 是该问题指数的上确界。Hyra 经约 24 小时运行提出核心思路，将最好结果从约 1.14 提高到 1.21，并给出显式构造、论文预印本及 Lean 4 形式化证明。","url":"https://www.aioga.com/news/cms8nqyvc023urof1sltickik/","articleBody":["腾讯混元科研智能体 Hyra 攻克加法组合学 50 年未解难题 这条更新来自 ithome.com，发布时间为 2026-07-31，Aioga 保留原文入口以便核验。","摘要：腾讯混元基于 Hy3 模型的科研智能体 Hyra 为加法组合学中悬而未决半个多世纪的开放问题给出完整答案，证明 2 是该问题指数的上确界。Hyra 经约 24 小时运行提出核心思路，将最好结果从约 1.14 提高到 1.21，并给出显式构造、论文预印本及 Lean 4 形式化证明。","背景：材料将问题表述为有限整数集合的和集与差集规模关系，并追问经典不等式中的指数 2 是否可被任意逼近。正文称，该问题已悬而未决半个多世纪，既有构造曾逐步提高相关数值。","Aioga 观察：Aioga 判断，这一消息的核心价值不只在于数值改进，而在于其宣称同时提供构造、论文预印本和 Lean 4 形式化证明。值得关注的是，材料中的结论主要来自腾讯混元公告及 IT之家报道，仍应以论文与证明的独立核验为准。","影响与后续：若预印本论证和形式化证明经数学界审阅确认，这将为 AI 参与研究级数学探索提供一个可复查案例。材料也显示，AI 辅助搜索已被用于推进该类构造问题，但不能据此推断其已具备普遍解决开放数学问题的能力。 后续应重点核对预印本中的定理陈述、显式构造与指数上确界证明是否一致，并审阅公开的 Lean 4 代码能否复现。还应关注同行评议、研究者复核以及对“完整答案”范围的进一步说明。"]},"en":{"title":"Tencent Hunyuan Research AI Hyra Solves a 50-Year-Old Unsolved Problem in Additive Combinatorics","summary":"Tencent HunYuan's research AI Hyra, based on the Hy3 model, provides a complete answer to an open problem in additive combinatorics that has remained unresolved for more than half a century, proving that 2 is the upper bound of the problem's exponent. After running for about 24 hours, Hyra proposed the core idea, improving the best result from approximately 1.14 to 1.21, and provided explicit constructions, a paper preprint, and a Lean 4 formal proof.","category":"Research","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Tencent Hunyuan Research AI Hyra Solves a 50-Year-Old Unsolved Problem in Additive Combinatorics - Aioga AI News","description":"Tencent HunYuan's research AI Hyra, based on the Hy3 model, provides a complete answer to an open problem in additive combinatorics that has remained unresolved for more than half...","url":"https://www.aioga.com/en/news/cms8nqyvc023urof1sltickik/","contentTranslated":true,"sourceHash":"f49bc2963311e8e3","translatedAt":"2026-07-31T08:25:59.157Z"},"ja":{"title":"テンセント混元科研インテリジェントエージェント Hyra が加法組合せ学の50年間未解決の難問を突破","summary":"テンセントの混元は、Hy3 モデルに基づく研究用知能体 Hyra によって、加法組合数学で半世紀以上未解決だったオープン問題に完全な解答を提示し、この問題の指数の上限が 2 であることを証明しました。Hyra は約 24 時間の運転で核心的なアイデアを提示し、最良の結果を約 1.14 から 1.21 に向上させ、明示的な構成、論文プレプリント、および Lean 4 による形式的証明を提供しました。","category":"論文研究","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"テンセント混元科研インテリジェントエージェント Hyra が加法組合せ学の50年間未解決の難問を突破 - Aioga AIニュース","description":"テンセントの混元は、Hy3 モデルに基づく研究用知能体 Hyra によって、加法組合数学で半世紀以上未解決だったオープン問題に完全な解答を提示し、この問題の指数の上限が 2 であることを証明しました。Hyra は約 24 時間の運転で核心的なアイデアを提示し、最良の結果を約 1.14 から 1.21 に向上させ、明示的な構成、論文プレプリント、および Lea...","url":"https://www.aioga.com/ja/news/cms8nqyvc023urof1sltickik/","contentTranslated":true,"sourceHash":"f49bc2963311e8e3","translatedAt":"2026-07-31T08:26:15.444Z"},"ko":{"title":"텐센트 혼원 과학연구 지능체 Hyra, 덧셈 조합학 50년 미해결 난제 해결","summary":"텐센트 혼원은 Hy3 모델을 기반으로 하는 연구용 인공지능 Hyra를 통해 덧셈 조합학에서 반세기 넘게 미해결된 열린 문제에 대한 완전한 답을 제시하고, 2가 해당 문제 지수의 상한임을 증명했다. Hyra는 약 24시간 동안 실행되어 핵심 아이디어를 제안했고, 최적 결과를 약 1.14에서 1.21로 향상시켰으며, 명시적 구성, 논문 사전 인쇄본 및 Lean 4 형식화 증명을 제공했다.","category":"연구","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"텐센트 혼원 과학연구 지능체 Hyra, 덧셈 조합학 50년 미해결 난제 해결 - Aioga AI 뉴스","description":"텐센트 혼원은 Hy3 모델을 기반으로 하는 연구용 인공지능 Hyra를 통해 덧셈 조합학에서 반세기 넘게 미해결된 열린 문제에 대한 완전한 답을 제시하고, 2가 해당 문제 지수의 상한임을 증명했다. Hyra는 약 24시간 동안 실행되어 핵심 아이디어를 제안했고, 최적 결과를 약 1.14에서 1.21로 향상시켰으며, 명시적...","url":"https://www.aioga.com/ko/news/cms8nqyvc023urof1sltickik/","contentTranslated":true,"sourceHash":"f49bc2963311e8e3","translatedAt":"2026-07-31T08:26:54.898Z"},"es":{"title":"El agente inteligente de investigación científica Hyra de Tencent resuelve un problema no resuelto de la combinatoria de adición que llevaba 50 años","summary":"El agente inteligente de investigación Hyra de Tencent Hunyuan, basado en el modelo Hy3, proporciona una respuesta completa a un problema abierto en la combinatoria aditiva que ha estado sin resolverse durante más de medio siglo, demostrando que 2 es la cota superior exacta de los exponentes de dicho problema. Hyra propuso la idea central después de aproximadamente 24 horas de ejecución, elevando el mejor resultado de alrededor de 1.14 a 1.21, y presentó una construcción explícita, un preprint del artículo y una demostración formal en Lean 4.","category":"Investigación","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"El agente inteligente de investigación científica Hyra de Tencent resuelve un problema no resuelto de la combinatoria de adición que llevaba 50 años - Aioga Noticias de IA","description":"El agente inteligente de investigación Hyra de Tencent Hunyuan, basado en el modelo Hy3, proporciona una respuesta completa a un problema abierto en la combinatoria aditiva que ha...","url":"https://www.aioga.com/es/news/cms8nqyvc023urof1sltickik/","contentTranslated":true,"sourceHash":"f49bc2963311e8e3","translatedAt":"2026-07-31T08:26:50.795Z"},"fr":{"title":"L'agent intelligent de recherche mixte de Tencent, Hyra, résout un problème non résolu de combinatoire additive depuis 50 ans","summary":"L'agent intelligent de recherche scientifique Hyra, basé sur le modèle Hy3 de Tencent Hunyuan, fournit une réponse complète à un problème ouvert en combinatoire additive qui est resté en suspens pendant plus d'un demi-siècle, démontrant que 2 est la borne supérieure de l'exposant de ce problème. Après environ 24 heures de fonctionnement, Hyra a proposé l'idée centrale, augmentant le meilleur résultat d'environ 1,14 à 1,21, et fournissant une construction explicite, le préprint de l'article et une preuve formelle en Lean 4.","category":"Recherche","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"L'agent intelligent de recherche mixte de Tencent, Hyra, résout un problème non résolu de combinatoire additive depuis 50 ans - Aioga Actualités IA","description":"L'agent intelligent de recherche scientifique Hyra, basé sur le modèle Hy3 de Tencent Hunyuan, fournit une réponse complète à un problème ouvert en combinatoire additive qui est re...","url":"https://www.aioga.com/fr/news/cms8nqyvc023urof1sltickik/","contentTranslated":true,"sourceHash":"f49bc2963311e8e3","translatedAt":"2026-07-31T08:27:33.932Z"},"de":{"title":"Tencent Hyra, die intelligente Forschungseinheit von Tencent, löst ein seit 50 Jahren ungelöstes Problem der additiven Kombinatorik","summary":"Der auf dem Hy3-Modell basierende wissenschaftliche Intelligenzagent Hyra von Tencent Hunyuan liefert eine vollständige Lösung für ein offenes Problem der additiven Kombinatorik, das über ein halbes Jahrhundert ungelöst war, und beweist, dass 2 die obere Schranke des Exponenten dieses Problems ist. Hyra lief etwa 24 Stunden und schlug die Kernidee vor, verbesserte das beste Ergebnis von etwa 1,14 auf 1,21 und lieferte eine explizite Konstruktion, ein Preprint der Arbeit sowie die formale Beweisführung in Lean 4.","category":"论文研究","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Tencent Hyra, die intelligente Forschungseinheit von Tencent, löst ein seit 50 Jahren ungelöstes Problem der additiven Kombinatorik - Aioga KI-News","description":"Der auf dem Hy3-Modell basierende wissenschaftliche Intelligenzagent Hyra von Tencent Hunyuan liefert eine vollständige Lösung für ein offenes Problem der additiven Kombinatorik, d...","url":"https://www.aioga.com/de/news/cms8nqyvc023urof1sltickik/","contentTranslated":true,"sourceHash":"f49bc2963311e8e3","translatedAt":"2026-07-31T08:27:33.269Z"},"pt-BR":{"title":"O agente inteligente de pesquisa científica Hyra da Tencent rompeu o problema não resolvido de combinatória da adição há 50 anos","summary":"O agente de pesquisa inteligente Hyra da Tencent Hunyuan, baseado no modelo Hy3, forneceu uma resposta completa para um problema aberto que estava pendente por mais de meio século na combinatória aditiva, provando que 2 é o limite superior do expoente do problema. Hyra, após aproximadamente 24 horas de execução, propôs a ideia central, elevando o melhor resultado de cerca de 1,14 para 1,21, e forneceu uma construção explícita, um preprint do artigo e uma prova formal em Lean 4.","category":"论文研究","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"O agente inteligente de pesquisa científica Hyra da Tencent rompeu o problema não resolvido de combinatória da adição há 50 anos - Aioga Notícias de IA","description":"O agente de pesquisa inteligente Hyra da Tencent Hunyuan, baseado no modelo Hy3, forneceu uma resposta completa para um problema aberto que estava pendente por mais de meio século...","url":"https://www.aioga.com/pt-BR/news/cms8nqyvc023urof1sltickik/","contentTranslated":true,"sourceHash":"f49bc2963311e8e3","translatedAt":"2026-07-31T08:28:07.762Z"},"ru":{"title":"Интеллектуальная система Tencent Hunyuan Hyra решает нерешённую проблему комбинаторики сложения, не решавшуюся 50 лет","summary":"Научный интеллектуальный агент Hyra компании Tencent Hunyuan, основанный на модели Hy3, дал полное решение открытой проблемы более чем полувековой давности в аддитивной комбинаторике, доказав, что 2 является верхней границей экспоненты этой задачи. Hyra, проработав примерно 24 часа, предложил ключевую идею, повысив лучший результат с примерно 1,14 до 1,21, а также предоставил явную конструкцию, препринт статьи и формальное доказательство в Lean 4.","category":"论文研究","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Интеллектуальная система Tencent Hunyuan Hyra решает нерешённую проблему комбинаторики сложения, не решавшуюся 50 лет - Aioga Новости ИИ","description":"Научный интеллектуальный агент Hyra компании Tencent Hunyuan, основанный на модели Hy3, дал полное решение открытой проблемы более чем полувековой давности в аддитивной комбинатори...","url":"https://www.aioga.com/ru/news/cms8nqyvc023urof1sltickik/","contentTranslated":true,"sourceHash":"f49bc2963311e8e3","translatedAt":"2026-07-31T08:28:06.865Z"},"ar":{"title":"وكيل الذكاء العلمي المختلط Tencent Hyra يحل لغز الجمع التركيبي الذي ظل دون حل منذ 50 عامًا","summary":"تعتمد وكيلة البحث العلمي Hyra من Tencent Hunyuan على نموذج Hy3، وقدمت حلاً كاملاً لمسألة مفتوحة لم تُحل في علم الجمعيات الإضافية لأكثر من نصف قرن، مثبتة أن 2 هو الحد الأعلى الأقصى لمؤشر هذه المسألة. بعد حوالي 24 ساعة من التشغيل، اقترحت Hyra الفكرة الأساسية، ورفعت أفضل نتيجة من حوالي 1.14 إلى 1.21، كما قدمت بناءً صريحاً، ونسخة أولية من الورقة البحثية، وإثباتاً شكلياً باستخدام Lean 4.","category":"论文研究","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"وكيل الذكاء العلمي المختلط Tencent Hyra يحل لغز الجمع التركيبي الذي ظل دون حل منذ 50 عامًا - Aioga أخبار الذكاء الاصطناعي","description":"تعتمد وكيلة البحث العلمي Hyra من Tencent Hunyuan على نموذج Hy3، وقدمت حلاً كاملاً لمسألة مفتوحة لم تُحل في علم الجمعيات الإضافية لأكثر من نصف قرن، مثبتة أن 2 هو الحد الأعلى الأقصى...","url":"https://www.aioga.com/ar/news/cms8nqyvc023urof1sltickik/","contentTranslated":true,"sourceHash":"f49bc2963311e8e3","translatedAt":"2026-07-31T08:28:45.134Z"},"hi":{"title":"टेनसेंट मिक्स्ड यूनिवर्स रिसर्च इंटेलिजेंट एजेंट Hyra ने 50 साल से अनसुलझी जोड़ संयोजन समस्या को हल किया","summary":"टेंसेंट मिश्रित मूल Hy3 मॉडल पर आधारित शोध बुद्धिमान एजेंट Hyra ने जो आधे से अधिक दशक से हल नहीं हुआ खुला प्रश्न था, जो कि जोड़ात्मक संयोजन में था, उसका पूर्ण उत्तर प्रदान किया और सिद्ध किया कि 2 इस समस्या के सूचकांक की ऊपर की सीमा है। Hyra ने लगभग 24 घंटे की संचालन अवधि के बाद मुख्य विचार प्रस्तुत किया, सर्वोत्तम परिणाम को लगभग 1.14 से बढ़ाकर 1.21 कर दिया, और स्पष्ट निर्माण, पेपर प्रिंट और Lean 4 रूपरेखा प्रमाण प्रदान किया।","category":"论文研究","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"टेनसेंट मिक्स्ड यूनिवर्स रिसर्च इंटेलिजेंट एजेंट Hyra ने 50 साल से अनसुलझी जोड़ संयोजन समस्या को हल किया - Aioga AI समाचार","description":"टेंसेंट मिश्रित मूल Hy3 मॉडल पर आधारित शोध बुद्धिमान एजेंट Hyra ने जो आधे से अधिक दशक से हल नहीं हुआ खुला प्रश्न था, जो कि जोड़ात्मक संयोजन में था, उसका पूर्ण उत्तर प्रदान किया और...","url":"https://www.aioga.com/hi/news/cms8nqyvc023urof1sltickik/","contentTranslated":true,"sourceHash":"f49bc2963311e8e3","translatedAt":"2026-07-31T08:28:45.098Z"},"it":{"title":"L'agente intelligente di ricerca mista Tencent Hyra risolve un problema irrisolto da 50 anni sulla combinatoria dell'addizione","summary":"Hyra, l'agente intelligente per la ricerca scientifica basato sul modello Hy3 di Tencent Hunyuan, ha fornito una risposta completa a un problema aperto in combinatoria additiva rimasto irrisolto per oltre mezzo secolo, dimostrando che 2 è il limite superiore dell'esponente di questo problema. Dopo circa 24 ore di esecuzione, Hyra ha proposto l'idea chiave, migliorando il miglior risultato da circa 1,14 a 1,21, fornendo una costruzione esplicita, un preprint dell'articolo e una prova formalizzata in Lean 4.","category":"论文研究","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"L'agente intelligente di ricerca mista Tencent Hyra risolve un problema irrisolto da 50 anni sulla combinatoria dell'addizione - Aioga Notizie IA","description":"Hyra, l'agente intelligente per la ricerca scientifica basato sul modello Hy3 di Tencent Hunyuan, ha fornito una risposta completa a un problema aperto in combinatoria additiva rim...","url":"https://www.aioga.com/it/news/cms8nqyvc023urof1sltickik/","contentTranslated":true,"sourceHash":"f49bc2963311e8e3","translatedAt":"2026-07-31T08:29:21.432Z"},"nl":{"title":"Tencent Hunyuan Research Intelligent Agent Hyra overwint een wiskundig probleem met optelsomcombinaties dat 50 jaar onopgelost bleef","summary":"De onderzoeksintelligentie Hyra van Tencent Hunyuan, gebaseerd op het Hy3-model, geeft een volledige oplossing voor een al meer dan een halve eeuw openstaand vraagstuk in de additieve combinatoriek en bewijst dat 2 de bovengrens van de exponent in dit probleem is. Hyra werkte ongeveer 24 uur om de kernideeën voor te stellen, verbeterde het beste resultaat van ongeveer 1,14 naar 1,21 en leverde expliciete constructies, een preprint van het artikel en een Lean 4-formaliseringsbewijs.","category":"论文研究","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Tencent Hunyuan Research Intelligent Agent Hyra overwint een wiskundig probleem met optelsomcombinaties dat 50 jaar onopgelost bleef - Aioga AI-nieuws","description":"De onderzoeksintelligentie Hyra van Tencent Hunyuan, gebaseerd op het Hy3-model, geeft een volledige oplossing voor een al meer dan een halve eeuw openstaand vraagstuk in de additi...","url":"https://www.aioga.com/nl/news/cms8nqyvc023urof1sltickik/","contentTranslated":true,"sourceHash":"f49bc2963311e8e3","translatedAt":"2026-07-31T08:29:19.752Z"},"tr":{"title":"Tencent Hunyuan Araştırma Zekası Hyra, 50 Yıldır Çözülemeyen Toplam Kombinasyon Problemini Aştı","summary":"Tencent'in Hy3 modeli üzerine kurulu araştırma yapay zekası Hyra, toplama kombinatorikte yarım yüzyıldan fazla süredir çözülmemiş olan açık bir probleme tam bir cevap verdi ve 2'nin bu problemin üst sınırı olduğunu kanıtladı. Hyra yaklaşık 24 saatlik çalışması ile temel fikri ortaya koyarak en iyi sonucu yaklaşık 1.14'ten 1.21'e yükseltti ve açık bir yapı, makale ön baskısı ve Lean 4 biçimsel kanıt sağladı.","category":"论文研究","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Tencent Hunyuan Araştırma Zekası Hyra, 50 Yıldır Çözülemeyen Toplam Kombinasyon Problemini Aştı - Aioga AI Haberleri","description":"Tencent'in Hy3 modeli üzerine kurulu araştırma yapay zekası Hyra, toplama kombinatorikte yarım yüzyıldan fazla süredir çözülmemiş olan açık bir probleme tam bir cevap verdi ve 2'ni...","url":"https://www.aioga.com/tr/news/cms8nqyvc023urof1sltickik/","contentTranslated":true,"sourceHash":"f49bc2963311e8e3","translatedAt":"2026-07-31T08:29:58.461Z"},"vi":{"title":"Thể trí tuệ nghiên cứu hỗn nguyên Tencent Hyra chinh phục bài toán chưa giải trong tổ hợp cộng trong 50 năm","summary":"Tencent Hỗn Nguyên dựa trên mô hình Hy3 của tác nhân nghiên cứu khoa học thông minh Hyra đã đưa ra câu trả lời đầy đủ cho vấn đề mở còn bỏ ngỏ nửa thế kỷ trong tổ hợp học cộng, chứng minh rằng 2 là chặt trên của số mũ của vấn đề này. Hyra, sau khoảng 24 giờ chạy, đã đề xuất ý tưởng cốt lõi, nâng kết quả tốt nhất từ khoảng 1.14 lên 1.21, đồng thời cung cấp cấu trúc rõ ràng, bản in trước bài báo và chứng minh hình thức Lean 4.","category":"论文研究","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Thể trí tuệ nghiên cứu hỗn nguyên Tencent Hyra chinh phục bài toán chưa giải trong tổ hợp cộng trong 50 năm - Tin tức AI Aioga","description":"Tencent Hỗn Nguyên dựa trên mô hình Hy3 của tác nhân nghiên cứu khoa học thông minh Hyra đã đưa ra câu trả lời đầy đủ cho vấn đề mở còn bỏ ngỏ nửa thế kỷ trong tổ hợp học cộng, chứ...","url":"https://www.aioga.com/vi/news/cms8nqyvc023urof1sltickik/","contentTranslated":true,"sourceHash":"f49bc2963311e8e3","translatedAt":"2026-07-31T08:30:01.144Z"},"id":{"title":"Entitas Intelijen Riset Tencent Hyra Menyelesaikan Masalah yang Belum Terpecahkan dalam Kombinasi Penjumlahan Selama 50 Tahun","summary":"Tencent HunYuan, berdasarkan agen cerdas ilmiah model Hy3 bernama Hyra, memberikan jawaban lengkap untuk masalah terbuka dalam kombinatorika aditif yang belum terselesaikan selama lebih dari setengah abad, membuktikan bahwa 2 adalah batas atas eksponensial dari masalah tersebut. Hyra menjalankan sekitar 24 jam, mengusulkan ide inti, meningkatkan hasil terbaik dari sekitar 1,14 menjadi 1,21, dan memberikan konstruksi eksplisit, pra-cetak makalah, serta bukti formal dalam Lean 4.","category":"论文研究","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Entitas Intelijen Riset Tencent Hyra Menyelesaikan Masalah yang Belum Terpecahkan dalam Kombinasi Penjumlahan Selama 50 Tahun - Berita AI Aioga","description":"Tencent HunYuan, berdasarkan agen cerdas ilmiah model Hy3 bernama Hyra, memberikan jawaban lengkap untuk masalah terbuka dalam kombinatorika aditif yang belum terselesaikan selama...","url":"https://www.aioga.com/id/news/cms8nqyvc023urof1sltickik/","contentTranslated":true,"sourceHash":"f49bc2963311e8e3","translatedAt":"2026-07-31T08:30:34.518Z"},"th":{"title":"เทนเซ็นต์ Hyra ผู้เชี่ยวชาญด้านการวิจัยปัญญาประดิษฐ์สามารถเอาชนะปัญหาที่ยังไม่สามารถแก้ได้ในสาขาคณิตศาสตร์เชิงบวกมานาน 50 ปี","summary":"Hyra ปัญญาประดิษฐ์ด้านการวิจัยของ Tencent Hunyuan ซึ่งสร้างขึ้นบนโมเดล Hy3 ได้ให้คำตอบที่สมบูรณ์สำหรับปัญหาเปิดที่ค้างคามานานกว่าครึ่งศตวรรษในทฤษฎีการรวมแบบบวก และพิสูจน์ว่า 2 เป็นขอบบนของเลขชี้กำลังในปัญหานี้ Hyra ใช้เวลาประมาณ 24 ชั่วโมงในการประมวลผลเพื่อเสนอแนวคิดหลัก เพิ่มผลลัพธ์ที่ดีที่สุดจากประมาณ 1.14 เป็น 1.21 และให้การก่อสร้างอย่างชัดเจน, ต้นฉบับวารสารวิจัย และการพิสูจน์ในรูปแบบ Lean 4","category":"论文研究","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"เทนเซ็นต์ Hyra ผู้เชี่ยวชาญด้านการวิจัยปัญญาประดิษฐ์สามารถเอาชนะปัญหาที่ยังไม่สามารถแก้ได้ในสาขาคณิตศาสตร์เชิงบวกมานาน 50 ปี - ข่าว AI Aioga","description":"Hyra ปัญญาประดิษฐ์ด้านการวิจัยของ Tencent Hunyuan ซึ่งสร้างขึ้นบนโมเดล Hy3 ได้ให้คำตอบที่สมบูรณ์สำหรับปัญหาเปิดที่ค้างคามานานกว่าครึ่งศตวรรษในทฤษฎีการรวมแบบบวก และพิสูจน์ว่า 2 เป็น...","url":"https://www.aioga.com/th/news/cms8nqyvc023urof1sltickik/","contentTranslated":true,"sourceHash":"f49bc2963311e8e3","translatedAt":"2026-07-31T08:30:49.454Z"},"pl":{"title":"Inteligentny agent badawczy Hyra firmy Tencent rozwiązał nierozwiązany od 50 lat problem kombinatoryki dodawania","summary":"Inteligentny agent badawczy Hyra oparty na modelu Hy3 firmy Tencent w pełni rozwiązuje nierozstrzygnięty od ponad pół wieku otwarty problem w kombinatoryce addytywnej, dowodząc, że 2 jest górną granicą wykładniczą tego problemu. Hyra po około 24 godzinach działania przedstawiła kluczową ideę, zwiększając najlepszy wynik z około 1,14 do 1,21, oraz dostarczając konstrukcję jawnie, wstępny artykuł i formalny dowód w Lean 4.","category":"论文研究","source":"IT之家（RSS）","aggregationSource":"IT之家（RSS）","pageTitle":"Inteligentny agent badawczy Hyra firmy Tencent rozwiązał nierozwiązany od 50 lat problem kombinatoryki dodawania - Aioga Wiadomości AI","description":"Inteligentny agent badawczy Hyra oparty na modelu Hy3 firmy Tencent w pełni rozwiązuje nierozstrzygnięty od ponad pół wieku otwarty problem w kombinatoryce addytywnej, dowodząc, że...","url":"https://www.aioga.com/pl/news/cms8nqyvc023urof1sltickik/","contentTranslated":true,"sourceHash":"f49bc2963311e8e3","translatedAt":"2026-07-31T08:31:26.184Z"}},"evidenceTier":"verified-news","reviewStatus":"editorial-selected","indexable":true,"editorialCover":""}}