清华大学和上海人工智能实验室联合开发的AutoMat是一个突破性工具，能自动将电子显微镜图像转换为精确的晶体结构模型并预测材料性质。系统整合了模式自适应降噪、物理引导模板匹配、对称感知结构重建和机器学习性质预测四大模块，由大语言模型代理协调运行。在自创的STEM2Mat-Bench基准测试中，AutoMat远超现有多模态大语言模型，为桥接显微镜成像与原子模拟提供了自动化解决方案，显著加速了材料科学研究流程。

印象笔记宣布脱离Evernote全球业务，成为第一个独立于母公司的中国互联网公司，这很容易让人想起这个关于大象的冷笑话——把印象笔记这样“一头大象”带回中国一共经历了几个步骤

孟加拉国联合国际大学研究团队开发了VisText-Mosquito多模态数据集，这是首个集成视觉检测和自然语言推理的蚊子繁殖点识别系统。该系统包含1970张标注图像，能够识别五类繁殖容器并进行水面分割，同时提供人类可理解的判断解释。YOLOv9s等模型达到92.9%检测精度，为全球蚊媒疾病防控提供了AI技术支撑。

斯坦福大学等机构研究团队利用强化学习训练大语言模型，使其能够优化汇编代码性能。研究构建了8,072个程序的数据集，并通过近端策略优化(PPO)训练模型生成既正确又高效的汇编代码。实验表明，训练后的Qwen2.5-Coder-7B-PPO模型实现了96.0%的测试通过率和1.47倍平均加速比，超越包括Claude-3.7-sonnet在内的所有其他模型。研究发现模型能识别编译器忽略的优化机会，如用单一指令替代整个循环，为性能敏感应用提供了有价值的优化途径。

Llama3.1 版本模型提供了更好的推理能力、更大的 128K token 上下文窗口，并改进了对8种语言的支持。

这篇研究介绍了Meta公司开发的J1系统，这是一种通过强化学习训练大语言模型进行评判的创新方法。J1将可验证和不可验证的提示转换为具有可验证奖励的判断任务，从而鼓励模型在做出决策前先进行思考。研究表明，J1在8B和70B参数规模下都超越了同等规模的现有模型，甚至在某些测试中超过了更大的模型如o1-mini和DeepSeek-R1。这种方法的核心创新在于不仅优化最终判断，还优化思考过程本身，使模型学会制定评估标准、生成参考答案并重新评估回答的正确性。

Meta团队发布突破性研究ConfQA，通过"诚实训练"让AI学会在不确定时说"我不知道"，将胡编乱造率从20-40%降至5%以下。结合双重知识框架，在保持高准确性的同时减少30%不必要外部搜索，为AI实用化应用奠定重要基础。

这项研究介绍了Time-R1，一个3B参数的语言模型，通过创新的三阶段强化学习训练方法，在时间推理能力上超越了参数量大200倍的模型。该框架依次建立了基础时间理解、未来事件预测和创意场景生成能力，采用精心设计的动态奖励系统指导学习过程。实验证明，小型高效模型通过专门训练可以在时间推理任务上实现卓越表现，为可扩展的时间感知AI提供了实用路径。研究团队还发布了Time-Bench数据集和模型检查点，促进该领域的进一步发展。

看看在实际测试中GeForce RTX 3080的表现。

在上一篇文章从阿里辞职后不再内卷——一位德国程序员的“躺平”之路中，成功移民德国的唐小牛曾说过“国外的月亮并没有比中国的圆”，他的朋友王小曾就是个典型的例子。相比于唐小牛的顺利，王小曾的德国移民路可谓处处坎坷。

首尔大学研究团队开发出名为ECoRAG的智能文档压缩框架，解决了AI系统在处理长文档时效率低下和准确性不足的问题。该技术通过"证据性"概念区分有用信息与干扰内容，并具备自我反思能力来决定所需信息量。实验显示，新方法在保持更高准确率的同时，显著减少了处理时间和计算成本，为搜索引擎、在线教育、医疗诊断等领域带来广阔应用前景。

当前，最著名的技术准则之一当数摩尔定律。在过去超过55年时间里，这一“定律”成功概括并预测了晶体管尺寸不断缩小，每两年左右实现一次技术节点升级的趋势。

边缘计算随着5G、IOT、AI等相关技术演进越来引人瞩目

围绕英伟达历年业绩、数据中心业务与科技巨头资本支出情况、企业对外投资情况、AI产品线最新进展等方面进行解读。

地平线机器人等机构联合发布EmbodiedGen——首个面向机器人智能的交互式3D世界生成平台。该系统能从单张图片或文字描述生成具备真实物理属性的3D资产，包括刚体物体、关节物体和完整场景，支持纹理编辑与多样化背景生成。所有资产采用URDF格式，可直接导入主流物理仿真器进行机器人训练。通过自动化质量检测、物理属性恢复等创新技术，EmbodiedGen实现了从真实世界到虚拟仿真的无缝转换，为机器人智能研究提供了低成本、高质量的数据增强解决方案。

清华大学和新加坡技术设计大学联合发布了突破性AI写作研究LongWriter-Zero，该模型完全通过强化学习训练，无需任何长文样本即可生成万字高质量文章。实验显示，仅32B参数的LongWriter-Zero在WritingBench和Arena-Write基准测试中均超越了千亿参数级的顶级模型，证明了创新训练方法胜过单纯扩大模型规模的理念。

BiomedSQL是由NIH和DataTecnica团队开发的首个生物医学文本转SQL基准，专门评估大型语言模型在生物医学知识库查询中的科学推理能力。这项创新研究构建了一个包含68,000个问题-SQL-答案三元组的数据集，基于整合了基因疾病关联、组学数据和药物记录的BigQuery知识库。与通用文本转SQL系统不同，BiomedSQL测试模型是否能理解隐含的科学约定（如基因组显著性阈值为p<5e-08）并执行多步推理。

Pat此前接受20VC主持人Ian Hathaway访谈时，对自己的投资理念全盘托出，从他在美国怀俄明州小镇成长经历谈起，探讨了他的人生观、对投资决策的结构化思考方法、如何评估创始人与市场的匹配度、如何打造顶尖投资团队，以及红杉资本在风险投资价值链上的优势与挑战。

MOLE是一个由KAUST研究团队开发的创新框架，利用大语言模型从科学论文中自动提取数据集元数据。与传统方法相比，MOLE能提取30多种不同元数据属性，支持多语言数据集，并提供严格的验证机制确保输出质量。研究测试了包括Gemini、GPT-4o等七种大模型，结果显示Gemini 2.5 Pro整体表现最佳。MOLE通过自动化元数据提取，使研究人员能更容易发现和使用适合的数据集，促进研究效率和科学开放性。

复旦大学联合多所知名院校开发了GeometryZero模型，通过创新的群体对比策略优化（GCPO）方法，让小尺寸AI模型具备了类似数学专家的几何推理能力。该模型能智能判断何时使用辅助构造工具，在多个几何基准测试中表现优异，为AI教育应用的普及化奠定了基础，展现了专门化训练的巨大潜力。