终于，TRAE SOLO全量开放，我们用它复刻了PewDiePie的大模型智囊团

2025年AI Coding赛道上，TRAE是国产AI IDE代表作。7月其SOLO Beta版反响好，如今正式版全量推送。它定位为‘具备响应感知的编程智能体’，新增功能，还限时免费体验，实测显示开发能力强。

大语言模型（LLM）到底是怎么运作的？（配图通俗讲解）

文章先介绍条件概率，指出大语言模型预测下一个单词是条件概率问题，会计算所有可能单词的条件概率选最高的。还提到直接选最高概率会使内容单调，引出温度概念，它能调整概率分布影响抽样结果。

2.5亿估值、硅谷爆火，AI笔记产品Granola如何成为独角兽创始人新宠？

AI笔记产品Granola 2024年5月上线，获知名VC合伙人青睐，5月14日完成4300万美元B轮融资，估值2.5亿美元。创始人Chris Pedregal表示，其核心是“非常个人化”并赋予用户极致“控制权”，未来目标是帮用户完成多数工作。

OpenAI IMO金牌团队爆料：AI拒绝作答第六题

OpenAI IMO团队接受采访，透露让模型获IMO金牌的项目仅用两三个月、核心开发者仅三人。还谈及模型证明风格、第六题失分原因、解决千禧年大奖难题距离等，强调通用技术及面临的新挑战。

Alibaba力作:Ovis-U1 融合理解、生成与编辑，解锁无限可能

OpenAI 2025 年推出的 GPT - 4o 结合图像与语言能力，但引发视觉解码器设计及统一模型训练问题。Alibaba 力作 Ovis - U1 单一模型能完成理解、生成与编辑任务，介绍了其架构、训练过程和应用。

以星为舵：LLM的Post-Train与Rest-Time奖励学习综述

这篇论文提出奖励信号像AI的“导航星”，引导模型优化行为。介绍奖励学习概念、来源、形式和策略，阐述其贯穿LLM生命周期的三个阶段，探讨奖励模型设计选择，还提及实际应用、挑战与未来方向。

4月30日凌晨，Meta举行首届AI开发者大会LlamaCon，推出Meta AI聊天机器人应用程序与ChatGPT竞争，发布Llama API。Meta试图强化开源模型生态系统以限制OpenAI发展，扎克伯格与微软CEO还探讨了开源闭源模型生态等内容。

中国AI音乐，悄悄把全球第一拿走了

昆仑万维Mureka V8登顶Artificial Analysis音乐模型榜，人声、器乐双料第一。实测显示其创作能力强，能生成完整歌曲。昆仑万维迭代迅速，V9将登场。AI音乐赛道“东升西落”，国产模型崛起。

6666！NuerIPS满分论文来了

NuerIPS唯一满分论文结论惊人，指出真正决定推理上限的是基座模型本身而非强化学习，且蒸馏比强化学习更有望实现大模型自我进化，这给正火热的RLVR泼了冷水。

突发！Gemini 3.8登顶，谷歌迈出RSI一大步

谷歌发布Gemini 3.8 Flash及专攻网络安全的3.8 Flash Cyber。前者性价比高，在多项测试逼近顶级模型；后者在网络安全测试屠榜。但谷歌也被指提前庆祝，且模型可能有‘刷榜’成分。