帖子内容是他对数学家Daniel Litt的一篇回应，讨论的问题很朴素： 解决问题（problem-solving）在数学研究里到底占多大分量。

1、yoboo手机版 传统的大模型部署后，往往需要大量人工反馈来持续优化输出质量，这就像养了一个需要不断投喂、调教的系统。

基于Intern-S2-Preview-397B 重要底座，『书生·端砚』将能力向数学、物理、生命科学、材料科学、地球科学等领域纵深拓展。yoboo手机版上海人工智能实验室团队提出的Self-Harness，近期被LangChain CEO、联合创始人Harrison Chase转发，也被前OpenAI副总裁Lilian Weng收进自进化Agent相关博客。

2、染整助剂、智能提花、功能服饰、3D打印…纺织技术干货合集上新！

一季度销售及管理费用同比下降19%，至20亿元，同时研发费用27亿元，同比增长8.3%。

3、22年不离不弃，这辆1965年大众Karmann Ghia如今什么模样

像拓元这样能够统一管理异构资源、屏蔽底层差异的平台，是国产算力生态走向“好用”的关键拼图。

4、396 V8引擎、700R4变速箱，这辆1968年El Camino正无底价拍卖

至于数学和AI之间的边界，也从来没有想象中那么清晰。

5、丰田RAV4 Woodland插混版亮相,全角度外观解析,演绎徒步鞋美学

由于机器人公司的数据业务无法从整体融资中剥离，我们圈出15家过去一年有融资记录的“独立具身数据服务商”，这些公司的融资情况在行业中很有代表性。

这篇论文发出后，陶哲轩第一时间就又去更新他的博客了。

它由意大利女装品牌GIADA出品、JustPod制作发行。

6、德容巴萨生涯伤缺超400天，这次右膝重伤再歇近150天

国盛证券在近期研报中直接点明：国产超节点迎来量产元年，算力竞争范式正从单点峰值性能全面转向系统级全栈效率的比拼。

7 月 17 日，2026 世界人工智能大会（WAIC）在上海举行。

7、淘宝闪购店铺评分上线新规则：门店视频验真、明厨亮灶直接计入分值_网易订阅

只堆NPU不够 CPU、内存和软件栈必须一起重做 过去在CPU或SoC里增加一块NPU，就能让终端多出语音识别、图像处理等AI能力。

单一芯片很难同时满足所有场景，这给商汤这类擅长「组合调度」的玩家，留出了长期的研究和发展空间。

8、刚刚，上海市足协发布了情况通报

中国人讲“先礼后兵”，我们希望尽量通过谈判解决。

更值得关注的是业务结构的变化。

这一次，世界杯能给出不一样的答案吗？ 男用户为了什么留在小红书 把时间拉回2021年，那也是小红书“引男工程”真正意义上的起点。

9、NBA：迪班萨夏联23分7篮板，詹姆斯本周做决定，格林盼续约

光轮智能的人类数据解决方案EgoSuite，能够在生产规模上提供三维手部、三维全身姿态和帧级语义标注，并强调在遮挡和近距离物体交互情况下维持稳定追踪。

MiroFish是一款AI预测引擎，它可以通过提取现实世界的种子信息（如突发新闻等），自动构建出高保真的平行数字世界。

10、小事办好实事办实 徽县用心答好基层民生答卷

上周完成15亿美元D轮的Fireworks AI，估值175亿美元，能托管数百个LoRA；Together AI完成8亿美元C轮，已把LoRA设为默认微调方式。

长鑫冲到2万亿甚至更高，是完全可能的。

1、范特西橄榄球ADP预警：多名跑卫被严重高估，Jeanty领衔慎选名单

创造力的放大镜 接下来是Claude在研究层面的参与程度。

2、阿根廷“保送”4强？有趣：32强上半区欧洲化，下半区南美非亚化_网易订阅

在没有进行下游强化学习优化的情况下，MiniCPM-RobotTrack在三类任务上的追踪率分别达到89.8%、73.4%和80.4%，均取得开源方案中的最优结果。

3、守护者投手9球3K缔造完美一局 险遭队友把纪念球扔上看台

我过去10多年错过的优秀项目，都是年轻人的项目，比如影石。输日本19分！给男篮球员赛后评分：5人拉胯，仅2人优秀行业共建层面，依托本届WAIC大会，国内首个聚焦“学习科学引领+智慧教育实践”的全国性专业分支机构——中国教育技术协会学习科学专业委员会正式亮相。

4、冲击历史纪录+寻求补强，红袜锁定三名全明星捕手

系统检测并追踪画面里的手，重建出完整的手部姿态，再配合相机位姿估计，把手的运动轨迹换算进世界坐标系，最后做整段平滑。

5、联手红牛前领队，硬刚梅奔？比亚迪进军F1到哪一步了

无论是泛化Picking，还是此次与宁德时代合作的电池模组方案交付，都是苏度在这条技术主线上行进过程中，顺手点亮的技能点。

6、梅扬克：心理强度至关重要，伤停21个月复出首球即夺命

针对传统训练依赖静态语料、难以习得复杂决策的痛点，研发团队构建了InternBootcamp交互验证环境。

所有的能力不能缺，但是不同模式对能力密度的要求不同，所以企业首先要搞清楚自己的比较优势在哪里。

你怎么判断一个人是真想成事还是另有打算？ 单伟建：如果只是试探，很快就能判断出来。

7、非洲足球的经验之谈？归化+旅欧将迎来更大浪潮

于是AnySearch会完成最后一步内容整理，把模型不需要理解的元素全部剥离。

而具身数据没有现成数据，采集环节则要从零构建资产，老玩家没有优势，新公司反而容易轻装上阵。

8、海牛新提的车被撞了！有意李嗣镕，西海岸迎回里切利，引进吾米提江第二

他说，最难的不是让模型变聪明，而是让聪明变得便宜、可靠、及时。

说实话，最开始我其实没太当回事，毕竟Anthropic马上就要IPO了，这一波不是典型的「Anthropic式」公关？ 你别说，这次，可能真的有点不一样。

只要项目持续超预期，我就把最多的钱砸进去，一个项目上市，就能给整个基金带来最大的回报。

通过高层规划与低层执行的协同，Magic-VLA K02能够持续回答三个问题：当前需要完成什么、完成后应达到什么状态，以及具体应如何执行动作。