清华大学等多所高校联合发布SR-LLM，这是一种融合大语言模型与深度强化学习的符号回归框架。它通过检索增强和语义推理，从数据中生成简洁、可解释的数学模型，显著优于现有方法。在跟车行为建模等任务中，SR-LLM不仅复现经典模型，还发现更优新模型，为机器自主科学发现开辟新路径。
Medeo是最近最令我好奇的AI视频Agent。
“用2000到4000元，买一个不确定的未来，值得吗？”
又一家核能初创公司获得了九位数的融资。
如今，大模型在理解、推理、编程等方面表现突出，但AI的“科学通用能力”（SGI）尚无统一标准。
太香了太香了，妥妥完爆ChatGPT和Nano Banana！
网易云的年度听歌报告出来了，你的 2025 听歌关键词是什么。
文本提示图像分割（Text-prompted image segmentation）是实现精细化视觉理解的关键技术，在人机交互、具身智能及机器人等前沿领域具有重大的战略意义。这项技术使机器能够根据自然语言指令，在复杂的视觉场景中定位并分割出任意目标。
TRAE在一年里写了1000亿行代码！如果按照一个程序员每天写100行有效代码计算，这相当于300万个程序员不吃不喝、没日没夜干了一整年。而这也仅仅是《TRAE 2025年度产品报告》中的冰山一角，更多惊人的数据还包括：
说实话，昨天的数据真的把我吓了一跳。
