7月11日·Grok 4背后的华人力量：80%团队成员横扫硅谷

7月11日·周五  AI工具和资源推荐

Grok 4背后的华人力量：80%团队成员横扫硅谷

Grok 4的发布在硅谷引起巨大轰动，其背后团队的作战图曝光后，更是让全球瞩目。据报道，Grok 4团队中华人学者占比高达80%，其中不乏清华、上交等名校校友，95后联创吴怀宇更是站在团队C位。这些顶尖人才在极致专注下，凭借狂堆20万GPU的算力支持，让Grok 4在AIME 2025和人类最后的考试（HLE）两大基准测试中一骑绝尘。独立评测机构Artificial Analysis的测试结果显示，Grok 4在智能指数、代码与数学能力等关键领域均排名第一，展现出强大的综合实力。这一成就不仅彰显了华人学者在AI领域的卓越贡献，也让全球看到了中国科技人才的强大潜力。来源：微信公众号【新智元】

OpenAI奖励模型难题终获突破

OpenAI曾提出强化微调技术，但奖励模型准确度低、泛化性差等问题一直存在。如今，上海人工智能实验室和复旦大学研究人员提出全新奖励模型POLAR，采用对比学习预训练范式，摆脱了对海量人工标注的依赖。POLAR仅靠1.8B～7B的参数量，便在下游RL效果上超越70B以上的SOTA奖励模型，展现出强大的Scaling潜力，为大模型后训练带来新可能。来源：微信公众号【新智元】

Meta AI架构大调整：LeCun向28岁Alexandr Wang汇报

Meta新AI团队架构调整引发关注。图灵奖得主Yann LeCun领导的FAIR团队现向28岁的Scale AI前CEO Alexandr Wang领导的“超级智能实验室”（MSL）汇报。FAIR是Meta的基础研究机构，与打造产品级大语言模型的GenAI团队独立，数据、代码、GPU资源均不互通。此次调整是Meta在AI领域战略布局的一部分，旨在整合资源、提升竞争力。然而，Meta内部也面临诸多挑战，如人才流失、战略混乱、技术声誉受损等。未来，Meta能否在AI领域取得突破，仍待观察。来源：微信公众号【机器之心】

Meituan-M17团队发布OIBench，打破大模型编程能力评估困境

大语言模型（LLMs）在编程领域的表现一直备受关注，但现有评测体系存在诸多局限性，如评测集饱和、数据泄漏风险、人机对比局限性等。为解决这些问题，Meituan-M17团队推出了新一代AI编程评测基准——OIBench。该数据集包含212道高难度、私有化的信息学奥赛题目，具有原创性、高难度分级和高标准测试用例等特点。基于OIBench的评测结果显示，当前主流大模型在编程能力上与人类竞赛选手仍有较大差距。此外，OIBench还引入了伪代码提示评测和人机协作编程竞赛，为大模型编程能力的评估提供了更全面的视角。来源：微信公众号【机器之心】

中科院实现二氧化碳高效制糖，迈向深空技术获突破

中国科学院天津工业生物技术研究所成功开发出一种不依赖光合作用的“二氧化碳制糖”新技术。该技术通过构建体外转化系统，打通了“CO₂→甲醇→蔗糖”的合成路径，转化效率高达86%，产率达5.7 g/L。相比传统植物合成路径，该技术能耗更低，仅需2 ATP/蔗糖，而自然路径需37 ATP/蔗糖。此外，该技术还可进一步合成淀粉和纤维低聚糖。这项成果不仅为解决全球变暖和粮食危机提供了新思路，也为人类迈向深空探索提供了潜在技术支持。来源：微信公众号【量子位】