Claude独立攻克理论物理前沿难题，全程无人指导，花费不到两千美元

本文报道Anthropic旗下大模型Claude在几乎无人指导的情况下，独立完成理论物理前沿难题——平面N=4超杨-米尔斯理论九圈六胶子散射振幅计算，总成本不到两千美元，中科院团队也借助GPT-6得到结果，业内探讨了AI在科研中的能力边界。

刚刚，DeepSeek V4 Pro正式版发布！

周三晚间，DeepSeek 突然发布 V4 Pro 大语言模型正式版，命名为 DeepSeek - V4 - Pro - 0813，官方未调升 API 使用价格。有用户称调用的 V4 Pro 思维链风格有变，跑分显示其 Agent 评测表现可媲美顶级模型，还撞车了马斯克的 Grok 4.6。

李飞飞世界模型公司一年估值暴涨5倍！正洽谈新一轮5亿美元融资

据彭博社消息，李飞飞创办的World Labs正以约50亿美元估值进行新一轮最高5亿美元融资。此前已累计融资2.3亿美元。该公司研发“大世界模型”，推出3D世界生成模型Marble。此外，Yann LeCun创办的AMI Labs也获资本关注。

LLM-based Agent的代码生成综述

这篇2025年的综述指出，传统代码生成技术难完成复杂开发任务，而基于大语言模型（LLM）的代码生成代理应运而生。它把LLM作为“大脑”，具备自主规划等能力。文章梳理了该领域的核心特征、技术体系、应用实践等，也剖析了挑战与未来方向。

10项评测痛打GPT-4o！智源重磅开源全球最强具身智能大脑

近日，智源研究院开源具身大脑RoboBrain 2.0 32B版本和跨本体大小脑协同框架RoboOS 2.0单机版。RoboBrain 2.0在多项权威具身智能基准上刷新纪录，RoboOS 2.0创新性集成MCP协议与无服务器架构，二者双擎联动推动机器人迈向群体智能。

我在618主场，和3位顶尖技术博士聊了聊

本文讲述了作者在618与京东三位技术博士的交流。长林主导同品判别系统优化，采用模型蒸馏和数据筛选提升效率；星衍负责物流机械臂项目，强调打透场景；初雪专注语音识别，提升识别准确率和探索创新方向。京东还推出TGT计划吸引人才。

Kotoko AI 乔海鑫：C.Al 的故事已经结束，我们用 OC 链接 05后

本文是对Kotoko AI创始人乔海鑫的访谈。他认为OC市场潜力大，Gacha Life验证了其市场需求。Bside是融合UGC与游戏化玩法的OC社交互动平台，6月将在Steam新品节上线Demo，7月开启Early Access。乔海鑫还探讨了OC商业化、AI应用等问题。

浙大&港理工等提出InfiGUI-R1：利用强化学习，让GUI智能体学会规划任务、反思错误

多模态大模型驱动的GUI智能体有潜力，但现有智能体面对复杂任务力不从心。浙大等机构提出InfiGUI-R1及Actor2Reasoner框架，通过两阶段训练提升智能体能力，InfiGUI-R1-3B在多基准测试中性能卓越，为GUI自动化工具开辟新道路。

不踩点不微调！Figure最新模型盲测30个家庭：首次实现零样本全身泛化

人形机器人公司Figure发布最新端到端具身模型Helix 2.5，在30套未采集训练数据的陌生住宅开展全盲家务测试，验证Index预训练可让模型实现零样本全身泛化，整体成功率56%，远高于对照组的9%，证明人形机器人跨场景迁移的工程可行性。

一个新网站上线不久，便从谷歌获得了15859次曝光和5689次点击，实际UV在7K左右。而社群里朋友良辰美的网站，昨日从谷歌拿到了21.5万次曝光和2.85万次点击。两者都是基于同一个关键词，同一个需求，但数据相差甚远，这背后的原因究竟是什么？