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

1、博鱼手机 3.6 Flash的发布公告中，谷歌提到，Gemini 3.5 Pro还没有完全准备好，而Gemini 4已开始「目前最雄心勃勃的预训练」，并「对取得的进展感到非常振奋」。

所有信号，都指向一个清晰的结论：一个属于轴向磁通电机的时代，正在拉开帷幕。博鱼手机这可不是一张太阳系的图，是一个真正运行的太阳系！ 太阳坐在正中，行星一颗颗铺开。

2、本应是廉价代步车，却被疯狂加长成礼宾车，这台车还卖3500美元

好消息是，Qoder在国内第一个交卷了！ 刚刚，阿里旗下的Qoder正式推出了Qoder Security，直击AI Coding的安全风险问题。

3、英式橄榄球管理机构欲驳回500名前球员脑损伤索赔，原告律师：多人已自杀

模型若在标准机构设定的一组基准测试上达到特定门槛，即被认定为「前沿级」（Frontier-class）；这套基准会定期更新，以跟上AI能力的演进。

4、印度快马首球即取wicket，成T20I第三人追平纪录

作为场景方，晶泰科技借助赛事比拼机制，多家方案一轮比完即可快速推进，大幅缩短了方案比较周期，选定技术方中科院工业人工智能研究所IAII-IICS战队，在20分钟内连续完成9轮高精度实验操作，将样品装载、仪器交互、溶剂瓶与管路管理等生命科学实验流程转化为可量化、可比较的机器人操作任务。

5、不再全场狂奔！39岁梅西靠阅读比赛续命，阿根廷全队进攻全靠他支撑

ABC电话打过去，他承认是董事，随即挂断，公司网站不久后也悄然下线。

头部企业已经通过出题尝到甜头了，这是为你画好的答卷框。

一天几十上百个PR从智能体手里冒出来，他真正的活儿，是判断哪些能合、哪些得打回去。

6、三天王造13球，个人英雄主义拉满，尘封50年记录能破吗

这意味着，全球开发者原本需要花费几百万美元的AI转型成本，现在直接被打掉了一个「零」。

不用它们，你是在花2倍的价钱买一个聊天机器人；用上它们，你买到的是一个自主干活的员工。

7、大连新9号！德尔加多来梭鱼湾，出笼的不是小鸟而是大雕！回避泰山试枪河南

整个过程，提示词只有约180个单词，大约消耗了40万token，费用约为5美元（Claude估算）。

训练侧，是RLinf V0.3大规模真机强化学习框架。

8、比国足还惨！伊拉克3战狂丢12球：临别前不忘给韩国队再补一刀

那么，到底什么变了？重点在「停止条件」。

但一个学习闭环要真正运行，必须有一个可靠的学习信号。

AI数学撞墙了吗？ Bloom那条帖子底下的论战，也很精彩。

9、斯科尔斯&巴特：蒂莱曼斯很出色，但曼联中场仍需更多引援；记者：曼联今夏拒绝了一系列关于芒特转会的询问

这把尺子量出来的差距，π0.5泛化保持率不足一半，只有47%，而WAM-TTT在测试中泛化保持率为76%。

其次，是Fireworks AI发布带强化学习的端到端平台——Training Agent。

10、暴跌92%！从5260万顶薪到380万底薪，詹姆斯经历了什么？

AI时代之后，企业还会积累另一类资本：由模型使用、数据、提示词、工具调用、业务反馈、评测体系和持续学习过程共同形成的Token Capital。

AI监督AI靠谱吗？ 「智能体失配」，并不只停留在「被监督的AI会失配」一种情况。

1、勒布朗·詹姆斯湖人生涯成就与争议并存：冠军荣耀后留下怎样的复杂遗产？

这种「既要又要」的决策模式，导致资源的分散和决策的迟缓。

2、炸锅！姆巴佩自评世界杯历史前五！碾压巴西球王，梅西仅排第二

Qoder CLI从v1.1.0起支持同样的能力：输入/security-settings，即可查看并开关三层防线。

3、今日17:00，我省高考本科批次志愿填报截止！

35年后，这篇论文被一页纸超过了。中央决定：谭炯任中国人民保险集团股份有限公司党委书记_网易订阅你以为它只是加了个搜索框，其实它在给自己装一套操作系统该有的骨架：能存、能管、能搜。

4、美股科技七巨头，盘前反弹走高

顺着「怎么触发、怎么停止、用什么原语、适合什么任务」几个维度，Claude Code把循环拆成四种。

5、ESPN：天使队态度巨变，将交易多名建队核心

当下，人工智能的迭代速度加快，模型参数不断扩容、智能体运行能力稳步提升，曾经按月交付的软件任务，如今以天、甚至小时为单位在快速落地。

6、改款丰田红杉升级14英寸屏与5G，首次推出Trailhunter越野套件，出厂即野无需后改

从量化指标来看，衡量评审分歧的核心偏差跨度指标逐年上涨，2023年整体偏差相对可控，2024年小幅恶化，到2025年打分离散程度显著提升，极端不合理打分的占比持续走高。

下一步是智能体自己带智能体：一个智能体下面挂10到20个子智能体，再往下，再挂一层。

其实，马斯克和诺兰的《奥德赛》积怨已久。

7、第4对第10取消！布兰奇菲尔德因伤退出UFC 330，蝇量级争冠战被迫搁浅

最尴尬的一幕： 想查案，被AI拒绝了 然后，他们被自己付费的工具挡在了门外。

小哥表示，想要刷榜第一，根本不需要研究什么模型架构，只需要「背答案」即可。

8、Menzies世界飞镖赛身体不适退赛 Smith晋级八强

给代码权限，给财务权限，给评估权限，然后看会发生什么。

一个24小时不知疲倦、能因材施教、便宜到几乎免费的AI私人导师，理论上今天就能给每个孩子配上。

他说了一句很有感触的话：「我经常发现灵犀写出来的东西，对我的理解甚至超过了我自己。

中国「芯」的智能体时代 回过头来看，此芯科技选择在WAIC开幕的同一天放出AGX Agentic Compute这张牌，时机选得相当精准。