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

1、博鱼下载 祝贺所有获奖选手！祝贺所有参加决赛的少年天才！ 美国副领队刘洋在现场拍摄的中国队和美国队的合影 中国选手本土作战，IMO首次在中学举行 据了解，本次国际奥赛IMO 2026是第67届赛事，2026年7月13日至21日在上海举行，本次IMO中国队的领队为华东师范大学的瞿振华老师。

而学校那边，还在用同一套东西考学生：背诵、标准答案、闭卷默写。博鱼下载」 中国企业在供应链和制造成本上有优势，但在最核心的大模型算法创新上，只能跟在硅谷巨头身后亦步亦趋？ 但今天，银河通用用不到两年的三连跳，用高达3.1倍的碾压级数据，彻底粉碎了这一论调！ 从提出WAM架构，到解锁Scaling Law，再到用WAM-TTT开创后训练新范式，中国企业不再是跟在硅谷巨头身后亦步亦趋的跟随者，而是真正在创造全新的技术范式，引领全球的技术走向。

2、McQueen、JW Anderson 从这里起步，今年最值得关注的新设计师是谁？

原因有些反直觉：脚本藏在一个外表正经的技能里，越是「听话」、越擅长跟随指令的模型，越愿意照用户的要求把它运行起来。

3、世界杯小组赛落幕：梅西创新纪录 16队出局 32强出炉

可见，大模型玩家们用真金白银，投出了自己对具身智能路线的判断。

4、希腊球队否认提供报价，后场新星会接受马刺提供的资质报价吗？

参考资料： https://x.com/eknight/status/2075643450196971805 https://x.com/SebastienBubeck/status/2075596982622835006?s=20 编辑：Aeneas新智元报道 这个月刚过半，AI圈就已经卷出天际了！ Fable 5、GPT-5.6全量开放，Grok 4.5逼平Opus级，Meta下一代Muse Spark重返赛场。

5、CBA大交易：广厦锋线大将加盟山西队，山东高速补强计划曝光

训练集统一含4,000个样本、固定中毒率10%，采用LoRA微调，λ=1.8。

2. 冗余感知的步数压缩（Redundancy-Aware Step Reduction） 当可靠horizon被扩展之后，第二阶段进一步减少总物理步数。

怎样开启 如上文所言，无论是桌面端还是命令行，无论是国际版还是中国版，Qoder Security内置于Qoder Desktop与Qoder CLI。

6、刚获菲尔兹奖，Ta转身就跳槽OpenAI

不卖关子了，直接揭秘—— 这款装入CC的AI，就是快手发布的KAT-Coder-Pro V2.5，一款旗舰级的Agentic Coding模型。

越用越强：自进化的飞轮 HMS还有一个容易被忽略但极其关键的应用：自进化。

7、强势复苏！新疆男篮主场125-105大胜辽宁 终结尴尬十连败

测试结果却是一记响亮的耳光：在相同的环境扰动下，使用了ICL的基线模型WAM-ICL，成功率从标准环境的48.4%直接崩塌至7.1%，泛化保持率只剩14.7%。

问题从来不是它记得不够多，而是它不会回忆。

8、俄军惨遭袭击，普京下令出手后，泽连斯基搬出最大靠山

那对我们普通人来说，这套系统能用来做什么？ 在WAIC上，围绕着商汤的多模态智能体系统，我们还看到了一个个超级个体（OPC）的故事正在发生。

AI 桌面助手负责整理邮件、更新进度、汇总投放数据，把散落在网页和表格里的零碎工作串成一条线。

一个仓库，钓出一条大鱼 事情要从两天前的一份报告说起。

9、18次达阵领跑联赛，带伤征战8个月终手术，19岁新星恐缺席赛季初

如果说谷歌内部有谁能凭一己之力拦下这笔肮脏的交易，那只有Jeff Dean。

」五年后，这颗6纳米的芯片被产业界拿去，用进了各行各业，忐忑变成了底气。

10、超能老爸，拿球说话！招商银行杯 国信「 爸爸联盟」篮球赛燃情落幕_网易订阅

第二，实现端边云全域协同。

GCP + TPU + 协议标准，底层建护城河。

1、无缘卫冕！阿根廷仍获红毯+乐队欢迎 全队无笑容 队长等9人未回国

AI的下半场，拼的是运营力 除了作为调度中枢的「星火Token Factory」，科大讯飞星火企业军团这次还发布了三款企业级新品。

2、逐梦赛场突破自我！2026少年CBA北京赛区圆满落幕

但等到某一天流动智力开始压过地基，它会突然变得肉眼可见。

3、海外研选

传统的后训练路径，是把真机拉到现场，一遍遍试错、一遍遍采数据，昂贵且缓慢。NBA夏联：后场双枪狂轰59+9三分 热火仍惜败魔术 基尔斯32分该研究 揭示了扩散式语言生成中一类全新的、且符合真实威胁的安全风险，呼吁社区共同关注新兴建模范式的安全问题，为DLM的去噪动态特性设计针对性的后门防御方法。

4、【首届青岛男篮球迷摄影大赛获奖名单公布】以光影之名，定格热爱瞬间_网易订阅

灵犀专业版处理表格时，不是让大模型在黑盒里直接输出结果，而是调用WPS表格引擎里那些稳定、确定的API和计算逻辑，让你看到数据如何被处理、公式怎么算的、结论怎么来的。

5、国际格局进入中国时代！中美俄元首将齐聚深圳，美国G20逊色不少

观众走到屏幕前，用自然语言跟机器人「聊天」——你可以随口说「把积木按顺序排好」，它听得懂、想得明白、做得到。

6、不只是微距镜头：XF30mm F2.8 Macro 的全能创作体验

奥特曼自己的说法是，agentic产品的使用量一周环比涨了2.5倍。

一个几乎被行业默认接受的共识是：只要模型足够大、数据足够多，能力就会持续涌现，甚至自动泛化到未知的领域。

就这样，靠着纯粹的逻辑、群论、流场与线性代数，人类苦苦寻找了50年的那枚钥匙，被64个AI智能体在极速的穷举与交叉验证中，硬生生地锻造了出来！ 解题秘诀：「测试时计算」 这一消息一出，整个AI圈和数学界都被震动了。

7、松下L10价格公布&影石大疆持续预热｜势力新鲜报

星火智能语音VoiceWise，通过高性能CPU版ASR让企业彻底摆脱对昂贵GPU的依赖，同等算力下在线识别并发路数提升约90%。

这套配置还有个好处：哪天换了别的AI工具，上下文直接打包带走。

8、华住广东副会长亲测：汉庭4.0就是华南存量物业的“满房”答案

今年3月，这家公司完成了2亿美元A轮融资。

这是原力灵机在7月初的首届开发者大会Action 2026上，刚刚交出的答卷。

于是，一个强大的数据飞轮跑通了。

房子有了，还得有家具；硬件有了，还需要软件。