近日,姚顺雨亲自为腾讯混元AI for Science(AI4S)方向招募人才。此次招聘未设详细JD,而是亮出硬核成绩单:基于本月开源的Hy3模型,自研智能体Hyra突破了加法组合学中困扰数学界约50年的开放问题,找到关键构造并证明其可无限逼近理论上限,还给出了完整形式化证明。此外,几天前推出的Hyra-1.0还在天文、量子计算等领域刷新纪录。此次招聘旨在组建由AI研究员、系统工程师和领域科学家构成的“人机科研队伍”,重点寻觅Agent架构及AI与科学交叉人才。这表明AI正从辅助工具进化为真正的研究者,加速迈向全自动化科研新阶段。
原文链接
本文链接:https://kx.umi6.com/article/37260.html
转载请注明文章出处
相关推荐
换一换
腾讯混元 OCR 模型宣布开源:参数仅 1B,多项核心能力 SOTA
2025-11-25 14:56:08
腾讯混元图像 2.0 模型发布:毫秒级响应,一边打字一边出图
2025-05-16 17:56:45
腾讯混元推出并开源“混元图像 3.0”,官方称效果能对标业界头部闭源模型
2025-09-28 12:53:03
上海人工智能实验室董楠卿:AI for Science助力破解育种难题
2025-02-22 14:38:17
腾讯混元再引强将,庞天宇即将入职多模态模型团队负责强化学习前沿算法探索
2026-01-30 15:35:19
开源全家桶又添一“元”,腾讯混元大模型公布最新进展
2024-12-04 14:41:21
腾讯开源手机端离线翻译模型,仅0.4G,支持33种语言
2026-04-29 17:32:26
最强国产多模态刚刚易主!腾讯混元把GPT-4/Claude-3.5/Gemini-1.5都超了
2024-08-08 14:12:29
腾讯混元将发布原生多模态图像生成模型
2025-09-10 07:30:08
图灵奖得主姚期智:AI for Science 正快速兴起,科学工作者应把握发展态势
2025-11-16 10:29:13
AI开始接管实验室了!玻尔·跃迁实验室:试剂、设备、数据一个入口搞定,1800+设备即插即用
2026-04-19 00:31:05
赛道正在变得拥挤 腾讯混元大模型杀入文生视频 让用户 “用起来”是关键
2024-12-04 09:36:34
微信首个AI助手上线 可与“元宝”在聊天框对话
2025-04-16 22:16:46
757 文章
859895 浏览
24小时热文
更多
-
2026-08-01 09:12:17 -
2026-08-01 00:59:05 -
2026-07-31 20:52:01