刘若川，1980年生，北大数院新院长，首位“80后”院士，曾获国际数学奥林匹克金牌。他在算术几何与代数数论领域有重要贡献，获得国家自然科学奖二等奖和拉马努金奖。

蚂蚁健康与北大王俊院士团队发布全球首个专病循证评测框架GAPS，专注于肺癌，包含92个问题和1691个临床要点，旨在提升医疗AI的评测深度与可靠性。GAPS通过四个维度评估AI的临床能力，克服现有评测的局限，推动医疗AI向临床应用转型。

音频驱动视频生成的现有方法，往往面临音频整体性带来的处理限制，使音频与视觉之间的对应关系趋于模糊。对此，北京智源人工智能研究院、北京大学、北京邮电大学共同提出了一种基于解混音频的音画同步视频生成框架，将输入音频拆分为语音、音效和音乐三类音轨，验证了音频解混与多流控制在复杂视频生成任务中的有效性。

GPT-5.2系列在多个领域超越谷歌Gemini 3 Pro，特别是在表格、PPT、代码和长文档处理能力上显著提升，效率提高390倍，成本大幅降低，科学研究和视觉理解表现优异。新团队成员多为数学专业背景，推动技术进步。

HyperAI超神经作为 COSCon’25 的联合出品社区，于 12 月 7 日举办了「产研开源协同论坛」。本文为 4 位讲师的深度分享精华摘要，后续我们还会以视频的形式分享完整演讲，敬请期待！

由斯坦福大学、SLAC 国家加速器实验室、北京大学、意大利国家天体物理研究院布雷拉天文台、伦敦大学学院、加州大学伯克利分校等众多科研机构组建的团队，开发了一套数据驱动的流程，用于在 DESI DR1 的光谱数据中识别作为强引力透镜的类星体，极大扩展了类星体原本微小的样本。

MoonBit 的开源策略注重模块化与易用性，吸引了数十万用户参与，社区已积累 2000 多个包，覆盖编译、测试等多个领域。李成龙老师是 Zilliz 首席开源布道师，Milvus 开源社区负责人，全球最受欢迎的开源向量数据库 Milvus Committer，加入 Zilliz 后活跃在 Milvus 社区，并协助全球数千家开源用户共同探索 AI 落地解决方案，对于主流Embedding...

以太坊（ETH）由Vitalik Buterin于2013年提出，2015年上线，最初采用工作量证明（PoW），后因环保问题转向权益证明（PoS）。ETH支持智能合约，促进去中心化应用（DApp）的开发，核心数据结构为Merkle Patricia Trie，确保高效存储和查找账户状态。网络安全通过验证者质押ETH来维护，激励诚实行为并惩罚作恶。

「产研开源协同论坛」将于 2025 年 12 月 7 日在北京举办，欢迎大家来玩！

刘若川，1980年出生，北大数学科学学院副院长，刚当选中国科学院院士，成为首位“80后”院士。他在p进霍奇理论等数学领域取得显著成就，曾获国家自然科学奖二等奖和拉马努金奖。他强调良好科研环境对研究的重要性。

UniWorld-V2是兔展与北大团队推出的新一代图像编辑模型，基于UniWorld-R1框架，具备更强的中文理解和细节控制能力，超越多个顶尖模型，支持复杂指令和区域控制，推动图像编辑技术发展。

加密货币是一种利用密码学确保交易安全的数字货币，具有去中心化和所有权记录等特点。区块链由按时间顺序连接的区块组成，每个区块包含交易数据及指向前一个区块的加密引用。矿工通过工作量证明验证交易，维护网络安全，确保交易不可篡改。

王虹荣获2025年塞勒姆奖和ICCM数学奖金，成为华人数学界的杰出代表。她在调和分析和几何测度论方面取得重要突破，特别是证明了挂谷猜想。与她同获ICCM金奖的邓煜和袁新意也表现卓越，三人均为北大校友，展现了华人数学的辉煌成就。

苹果公司成功收购了AI初创公司Prompt AI的核心团队和技术资产，旨在增强其在智能家居和计算机视觉领域的布局。Prompt AI的旗舰产品Seemour具备环境智能理解能力。

陈丹琦可能加盟由前OpenAI CTO创办的神秘AI公司Thinking Machines。她目前是普林斯顿大学副教授，曾获多项荣誉。尽管消息尚未确认，但她的GitHub邮箱与Thinking Machines相关，引发外界关注。

北大和南开大学的数学家解决了困扰数学和量子力学的“十杯马天尼”问题，提出了更统一优雅的证明。他们推广了“几乎Mathieu算子”的结论，证明了在更广泛的“准周期算子”下能谱为Cantor集，推动了相关研究的发展。