上海AI实验室把 Atria Dawn 完整版放出来了,744B 的 GLM-5.2 底座加 512K 上下文,跑分比 9 月预览版又涨了,不过权重还得再等等。
#上海AI实验室
A 30-year-old conjecture falling to a Chinese lab's model plus Lean verification shows AI moving from coding benchmarks into formal mathematics, where every step is machine-checked. Researchers in theorem proving and anyone tracking Chinese labs' frontier ambitions should follow the write-up. It also gives Lean-based formalisation workflows a high-profile proof point against informal LLM math claims.
上海AI实验室开源的 Intern-Decision 只输出决策结果和概率,0.8B 到 4B 的小模型,做分类打分场景可以试试。
上海AI实验室新发的物理世界模型,用视频+动作双专家架构控制真实机器人,还做通了15步化学合成实验流程,搞具身智能的可以看看。
A 744B model with FP8 weights and a 53.8 AutomationBench score is a significant upgrade for agentic AI research.
This is a new AI model from a Chinese lab focused on force-tactile robotics, which could be relevant for those working in related fields or interested in the latest developments in physical world AI models.
This is a new open-source model that could be useful for developers looking for alternatives to existing large language models.
做3D内容创作或游戏开发的团队,终于有了能实时编辑场景的工具——VGGT-Edit把编辑时间从分钟级压缩到5秒,建议直接看技术细节。