腾讯混元Hyra破解50年数学难题腾讯混元借助研究智能体Hyra及Hy3模型,构造出整数集A使|A+A|与|A-A|的指数比精确达到2,解决了自1969年以来悬而未决的极值问题。此前50余年最佳构造仅略超1.1,新成果证明最优指数即为...AI资讯分类技术资讯# 推理# 论文/研究3个月前07270
移动性如何让语言模型更深入地理解地点Google Research 推出 Mobility-Embedded POIs(ME-POIs)框架,将聚合匿名移动模式与文本描述结合,为地点构建融合身份与动态功能的嵌入向量。在未见地点上,该框架...AI资讯分类技术资讯# Google# 数据/训练# 论文/研究3个月前06360
小红书联合浙大、复旦提出 CULTURE-MT:首个面向社媒翻译的「文化有效性」评测基准,入选 ICML 2026小红书联合浙江大学、复旦大学提出 CULTURE-MT,这是首个面向中英社媒笔记翻译、兼顾文化符号传递与情感共鸣的评测基准,并首次提出「文化有效性」评估标准与自动评估模型 JUDGER(准确率 86...AI资讯分类技术资讯# Hugging Face# 开源生态# 数据/训练3个月前05040
IDEA Prune:生成式语言模型预训练中的集成放大-剪枝流程Apple 研究团队提出 IDEA Prune,将放大模型预训练纳入结构化剪枝流程,形成集成式 enlarge-and-prune 管线。该研究探讨两个关键问题:即使放大模型从不部署,预训练它是否值得...AI资讯分类技术资讯# 数据/训练# 论文/研究# 部署/工程2个月前03740
ArXiv上超30%新投稿文本特征与AI撰写一致一项对12,750篇ArXiv论文全文的检测显示,截至2026年7月,约32%的新投稿文本特征与AI撰写一致,该比例在2026年初峰值接近39%。计算机科学领域最高(65%),数学领域最低(0.7...AI资讯分类技术资讯# 数据/训练# 现象/趋势# 论文/研究4个月前03620
PhotoScan:用智能手机照片估算胰岛素抵抗,精度接近DXAGoogle Research 推出 PhotoScan,一种从智能手机 2D 照片直接估算三维身体成分的深度学习框架,可预测胰岛素抵抗,在临床研究中精度接近 DXA 扫描。AI资讯分类技术资讯# Google# 多模态# 论文/研究3个月前04880
Anthropic 用 Claude 在 11 天内完成费马大定理首个机器验证的 Lean 形式化证明Anthropic 发布首个完整经计算机验证的费马大定理证明,Claude 在 11 天内大体自主完成形式化,写出 1300 万行 Lean 代码并证明 30,300 个定理(最终使用其中 29,50...AI资讯分类技术资讯# 开源生态# 智能体# 论文/研究2个月前03200
面壁智能ALIGN:自动对齐智能体与环境接口面壁智能与清华NLP团队提出ALIGN,自动生成对齐接口解决智能体与环境间的失配问题。仅改写反馈措辞即可将Qwen2.5-7B智能体在ALFWorld上的成功率从13.4%提升至31.3%。该方法在四...AI资讯分类技术资讯# MCP/工具# 智能体# 论文/研究3个月前04500
Google 推出 Biomarker Discovery Framework:从可穿戴传感器数据中筛选候选生物标志物的多智能体系统Google 推出 Biomarker Discovery Framework,一个多智能体系统,通过迭代假设生成、统计分析与文献推理,从可穿戴传感器数据中筛选候选生物标志物。该系统在三个队列(共 9...AI资讯分类技术资讯# Google# 智能体# 论文/研究3个月前04200
斯坦福与 Arc Institute 用 AI 设计全新病毒基因组,16 种在实验室成功杀死细菌斯坦福大学与 Arc Institute 团队用 AI 模型 Evo 从零设计完整病毒基因组,并在实验室构建出 16 种自然界不存在的功能性病毒。Evo 提出 70 万个候选基因组,团队仅筛选最有希望...AI资讯分类技术资讯# 安全/对齐# 论文/研究3个月前07700