「待验证问题」共找到 4147 篇相关文章
GPT4核心成员、清华校友赵晟佳任Meta超级智能实验室首席科学家
Meta约一个月前宣布建立「Meta超级智能实验室」，为重振Llama雄风招揽人才。扎克伯格任命GPT4核心成员、清华校友赵晟佳为该实验室首席科学家，其履历亮眼，新研究范式或指明Meta科研方向。
AGI是否需要世界模型？顶级AI专家圆桌论道，清华求真书院主办
2025年7月20日，2025基础科学与人工智能论坛举行，孙茂松、刘铁岩等顶尖AI专家围绕AI根本问题展开讨论，涉及因果性、世界模型、原创能力、算力等方面，为AI技术发展勾勒图景与挑战。
大模型训练的不稳定性有望彻底解决，MIT新研究用谱正则化替代层归一化
MIT团队创造Lipschitz Transformer，用谱正则化替代层归一化，认为或解决训练不稳定根本原因。他们对比多种方法权衡，发现Muon + 奇异值裁剪推动权衡边界，且工作完全开源。
突发：OpenAI收购计划泡汤！Windsurf创始团队转投Google怀抱
据The Verge报道，OpenAI 30亿美元收购AI编程初创公司Windsurf交易告吹，其CEO等核心团队转投Google DeepMind。Google获部分技术非独占授权，交易呈现“反向收购”模式，凸显人才流动性重要。
Grok 4作战图刷爆全网，80%华人横扫硅谷！清华上交校友领衔，95后站C位
Grok 4一夜爆火硅谷，一张内部作战图显示其幕后团队华人学者占比达80%，包括Jimmy Ba、吴怀宇等。独立评测中Grok 4成绩优异，但也有人质疑其代码基准结果有过拟合嫌疑。
AI"学霸"也解不出高中题？耶鲁、复旦发布MMSciBench，揭示AI理科推理能力短板
耶鲁、复旦等推出MMSciBench评测基准，揭示主流模型复杂科学推理短板。它有高质量数据、多模态多题型测试和精细知识分类体系。测试发现模型图文融合及推理能力弱，英文推理或效果更好。
全球首款AI原生UGC游戏引擎诞生！输入文字秒建GTA世界，试玩体验来了
全球首个由实时世界模型驱动的AI原生游戏引擎Mirage问世，玩家能实时构思、生成并体验游戏世界。虽当前体验有不足，但它有显著优势，支持多元游戏类型，基于前沿技术构建。
同时监督和强化的单阶段大模型微调，告别“先背书再刷题”，推理泛化双提升｜中科院&美团等
中国科学院自动化研究所联合美团提出单阶段监督 - 强化微调方法 SRFT，结合监督微调与强化微调，解决传统两阶段方法的不足，在多任务中提升推理和泛化能力。
99%的人都不知道：MCP 必须在 Claude Code 外面装
作者分享飞书MCP安装经验，指出MCP要在Claude Code外安装，介绍用Cursor生成安装命令、验证安装、删除服务等技巧，还整理《MCP安装指令文档》，复制粘贴就能用。
刚刚，苹果绝密计划曝光！3年7款新品，AI眼镜27年卖爆千万台
知名分析师郭明錤爆料，苹果正秘密研发7款头显，2025年M5版Vision Pro打头阵，2027年智能眼镜将席卷市场，1000万台出货量可期。苹果硬件实力强，但AI软件是瓶颈。