「工作成果验证」共找到 2380 篇相关文章
刚刚，OpenAI挖来黑客「祖师爷」！
OpenAI近期动作不断，菲尔兹奖得主、翁荔之后，黑客圈“祖师爷”Halvar Flake（真名Thomas Dullien）官宣入职。他是BinDiff之父，在谷歌有诸多成果，还参与开源项目用Claude修bug，此时加入或因GPT安全事件频发。
MoltBot（Clawdbot）之父的20条AI哲学
MoltBot（Clawdbot）爆火，其开发者分享20条AI哲学，涵盖心态、学习、闭环验证等方面，指出AI改变编程体验，强调系统性思维、prompt技能等重要性，还提及对未来程序员的影响。
OpenAI宋飏被Meta挖跑了！扩散模型崛起关键人物，加入MSL再会师清华校友赵晟佳
最新消息，扎克伯格从OpenAI挖走华人研究员宋飏。他是扩散模型崛起关键人物，曾带队OpenAI战略探索团队。在OpenAI他成果显著，其研究或终结扩散模型。现加入Meta MSL，与清华校友赵晟佳会师。
腾讯AI Lab 提出解耦推理新框架，破解IMO 数学难题
腾讯AI Lab梁振文和宋林峰提出“解耦推理与证明”框架，解决当前大语言模型在自动化定理证明领域“思考”与“证明”能力失衡问题，成功解决5道IMO难题并开源成果。
游戏教父 John Carmack：LLM 不是游戏的未来
游戏教父 John Carmack 认为 LLM 不是游戏未来，强调交互式体验学习重要性。他分析游戏学习现状，指出 Atari 游戏研究虽有成果但仍存问题，还探讨强化学习多方面挑战及应对思路。
中国设计智造大奖作品展来了！从具身智能到智慧空间，打开未来生活想象
第十届中国设计智造大展在国美良渚校区开启，展示200余件获奖作品。展览设5大主题、打造新场景，验证新技术产业化应用，还展示增强外骨骼等案例，助力未来产业集群培育。
又一个Kimi K3下周开源！Qwen3.8-Max编程、办公、科研都能自己干了
Qwen3.8-Max是Qwen家族迄今最强模型，2.4万亿参数，下周将开源权重。它在多项基准测试中表现出色，能连续自主工作数天，在编程、办公、科研、长周期任务、多模态等方面全面提升。
内容娱乐新风向：这群创业者靠多模态 AI 玩出了新花样
12月23日，「MASHANG DEMO TO DAILY」第二期活动在杭州开启，展示多模态AI探索成果。6位创业者分享精华内容，涉及游戏开发、虚拟社区、视频创作等领域，探讨多模态AI产品价值与发展方向。
Claude 代码框架之战
开发者尝试让Claude做繁琐编码工作，自己担任高价值角色。当前开发者社区正进行“Claude代码框架之战”，文中给出设计Claude工作流的八个选择及搭配套餐，指出设定框架能让AI发挥最大效力。
稚晖君家智元没参展机器人大会，合着是人家自己办（doge）
这是智元机器人首届合作伙伴大会现场画面。前段时间世界机器人大会没智元身影，原来它有自己的大会。现场机器人表现多样，有比心、穿梭、自主讲解等，还有真机数据采集、流水线分拣等工作场景。