那些提交到erdosproblems.com的新证明，凡是我细看过的，全部正确，而且都包含一些有趣的想法。

1、熊猫体育 然后他们拿旧的事故场景重放了一遍。

灵犀专业版处理表格时，不是让大模型在黑盒里直接输出结果，而是调用WPS表格引擎里那些稳定、确定的API和计算逻辑，让你看到数据如何被处理、公式怎么算的、结论怎么来的。熊猫体育中文的Claude，是不哄人的那一台 看到这，你肯定要问：那中文呢？ 正文里一次没提，但图里有。

2、文明实践丨品味大樱桃里的文明味儿

相比DM0，数据量增长400%，参数量翻倍。

3、热刺季前赛开门红 新援85分钟世界波 三大新中场亮相

AI没有骗任何人。

4、婉拒三分大赛，克拉克却在芝加哥多了个惊喜亮相

但检索，并不等于记忆。

5、中央5台直播世界杯时间表：明天7月19日CCTV5直播，法国PK英格兰

归根结底，智能体的安全，不是「换一个更强的模型」或「上一个更严的平台」二选一就能了事的。

更重要的是，与那些只做GPU、只做NPU的端侧算力方案商联手，共同做开放的端侧与边缘AI算力方案。

翻译成大白话：用户使用周期越长，系统会自动学会诸如「计划中的事件不该当成已完成的来计数」「问上周六的事要先把上周六解析成具体日期」这类细微但关键的判断。

6、印度在英联邦运动会的黑马项目是什么？详解草地滚球的规则与计分

Frozen v2是折中版：不烧权重，只固化架构。

这已经不算聊天增强了，是让AI直接上手操作你的系统。

7、武都：提质培优强产业 花椒飘香助振兴

正如神经科学家Oliver Sacks在《意识的河流》中所言，创造要求遗忘：当我们回看旧笔记本，尘封多年的想法反而能重获新生，从新的视角被重新关照。

跑是能跑。

8、韦斯利：希望为深圳赢得冠军，在这里书写我的历史

但换来的，全都是「已读不回」。

然而，卓越的模型能力并非终点。

世界模型从「视频导演」升级成能给状态、能打分的训练场。

9、浙江队战海牛的比赛确认延期，申花、上港未定，国安已前往上海

如今，一个致命痛点正浮出水面：造Agent的人越来越多，但底层的「AI电力」——Token的供给、调度与管控，却是一片混乱。

而佟博士更早的问题是： 企业如何把这些东西真正构造成一个自己拥有、可以运行、可以测量、可以治理和可以持续进化的认知系统？ 这两者之间的差别，是问题意识与工程体系之间的差别。

10、乔丹第15詹姆斯第22，NBA历史最佳防守球员揭晓，第一毫无悬念

可在这条新价值链里，这套心智彻底失灵—— 面向单一模型搭起来的老基建，匹配不了今天多模型、多版本、多场景的组合调度。

更狠的是团队构成：工程经理、产品经理、设计师、数据科学家、财务、用户研究员，每一个人都在写代码。

1、中棉行协赴环球、鲁泰、魏桥，深入调研龙头企业智造样本

诚邀专业赞助技术伙伴深度共建，共同夯实大赛的硬科技底座。

2、曾同时被NFL与AFL选中的传奇跑卫林赛因病去世,享年81岁

第三项，是读懂密集图表的能力。

3、约书亚富里英伦德比签约三月仍无期无地，两人各打热身赛先行

大部分团队无法对视觉Token进行高效压缩。郑钦文遭逆转出局！下一站，温网见！为了确保执行的准确度，这次长城挑战还引入了DFOL2.0做后训练—— 一个引入「世界模型」DW0.5的框架，让模型先在虚拟环境里千锤百炼，再上真机。

4、刘邦为何要除掉韩信？功高震主只是借口，萧何四个字道出真实原因

如果一家大型国央企为了避免被单一厂商「卡脖子」，同时采购了多款国产显卡，找其他大厂做纳管和推理优化，对方是不会尽心适配其他竞品的。

5、曼联26/27客场球衣发布：蓝色复古条纹，售价85英镑起

第三题：真实仓库issue，1分20秒闭环 接下来，我们又把KAT-Coder-Pro V2.5扔进了一个真实的开源bug里。

6、世界杯：8强产生4席，英格兰3-2，东道主出局，巴西创36年最差

氛围、光影、文字、构图，一次到位。

U1 Pro极其聪明地处理了「二维与三维」的打破与重组，底部的山体还是带着在宣纸上洇开的墨迹，往上走，竟顺滑地变成了有真实光影的3D岩石和云层。

放在整个Coding模型的赛道里，这是一次实打实的跻身第一梯队。

7、马尔蒂尼：意大利已与安切洛蒂会谈，继瓜迪奥拉之后又盯上世界最佳

它以营销策略大脑为核心，跑通了「1名真人座席+5个AI分身」的人机协同模式，AI分身的音色和沟通风格与真人座席保持一致。

这也是为什么Karp能够比很多纯模型公司的CEO更早看到企业主权问题。

8、深耕荆楚，服务到一线！山东日发纺机喷水织机湖北技术交流会圆满举行

起初是怀疑，然后是试探，然后是某个临界点之后的全面爆发。

靠着Gemini Canvas，3.6 Flash打通了3D工作流，分分钟「手搓」出一个专业的摄影级纹理提取神器。

在多项编程和Agent测试上，这个轻量小模型居然跑赢了体量更大的Gemini 3 Flash—— SWE-Bench Pro：54.2% vs 49.6% OSWorld-Verified：74.0% vs 65.1% 3.6 Flash作「主脑」拆解任务，Flash-Lite作「分身」批量干活。

原本只打算自己采数据训练基模型，结果国内外知名企业主动掏钱购买，数据业务意外跑通。