去年IMO 2025全球只有6个人类解出P6。

1、乐鱼电竞 论文第一作者为浙江大学逯嘉程，通讯作者为浙江大学李渝研究员，并与NVIDIA谢恩泽研究员团队合作完成。

但此芯不只交钥匙——所有设计细节、材料和测试资料，一并分享给客户、伙伴和开发者。乐鱼电竞在自我递归能力上，Kimi在技术报告中称，「K3与Fable-5（含潜在回退方案）达到了相近性能，但K3每次迭代的优化速度更快。

2、重排2007年前5选秀：杜兰特状元无悬念，48顺位新秀逆袭成榜眼

换成别的AI你可能得上传一堆文件写一大段需求，但灵犀的第一件事不是直接开干，而是去记忆库里「深挖」——第一层找到竞品数据追踪表模板，第二层看数据结构，第三层挖出老板对这类报表的偏好。

3、安东内拉转发评论员发文：阿根廷人就像一家人，会维护彼此

像他们这样的人还有很多——我们缺的只是把它锻造成实物的产能。

4、广厦男篮外援布朗遭争抢，山东男篮对其报价，和北京男篮争抢！

当你把项目资料、写作记录、代码讨论、生成的图，一股脑沉淀进去，里面堆的东西只会越来越多。

5、数字丝路发展论坛｜中国人民大学党委书记张东刚：倡导人民至上 打造有温度的数智健康发展之路

毕竟，在动辄百万Token几十美元的巨头面前，哪怕是装上了「峰谷计价器」， V4也是那个大杀四方的「价格屠夫」。

AxiomProver也独立斩获了满分。

最让人赞叹的一点，是「纠察队」机制。

6、入选最佳防阵+西决变顶级3D！又一新星崛起，但雷霆却高兴不起来

她的逻辑冷得可怕，「这场变革不是设计圈自己发起的，是工程侧倒逼的」。

从理论到实践： 本体工程与大语言模型的融合 本体论提供的是关于「可理解的结构应当是什么样」的规范性回答，但这一回答本身并不自动转化为可运行的技术系统。

7、半马超级周末｜黄袍加身李美珍，再度联手的丰配“虎”

图左：Claude Science；图右：GPT-5.5 换一道更贴近临床的硬题，磐石的表现同样能打。

今年5月，奥特曼回到母校斯坦福，站上CS153的讲台，认错了： 这是我的一个预测错误。

8、硬氪首发

外行以为难点是「抓起一件商品」，真正的难点是把识别、拣选、装箱、履约稳定地连起来，一单接一单不出错。

今年4月，小象电动宣布完成超亿元Pre-A轮融资。

在适应新场景时，WAM预训练的庞大模型参数被冻结（绝对保全了通用的物理常识和视觉推理能力）。

9、能空接能护筐能防守，快船次轮秀在夏联的表现还是非常全面的？

bug刚修到一半，弹窗一出，全停了。

注意，这位工程师分享的，并不是一张静态页面，而是一个能够自动更新、可交互的页面。

10、南阳师范学院新闻与传播学院开展“薪火传文脉·青春记录校史”暑期“三下乡”社会实践活动

属于国产算力与中国Agent生态的黄金时代，正在到来！新智元报道 一觉醒来，谷歌突然就掏出了一张王炸！ 据The Information独家爆料，谷歌正在研发一款代号「Frozen v2」的神秘服务器芯片——把Gemini模型的部分底层架构，永久蚀刻进硅片。

首次引入「峰谷计费」 依旧真香 再造「DeepSeek时刻」，最大的变数是价格。

1、幼儿园视力报告，5个误区一次说清

119号问题当年一口气问了三问，第三问悬赏100美元，如今状态已改为SOLVED。

2、广东男篮大洗牌！杜锋离任+杜润旺加盟南京，三连冠功臣仅剩两人

同一个欺诈场景里，篡改记录的命中率，Grok 4.3是19/20，GPT-5.4是17/20。

3、安德森：德布劳内是我无比敬仰的偶像，我一直想复刻他的风格

机器人场景下，VLA模型每次推理需处理三路相机画面（双腕部+主视角）加文本指令，并输出动作。政策赋能、业态焕新，澳大利亚持续提升商务会奖目的地竞争力为了保持长时一致性，模型需要维护较重的历史信息；当前片段需要参考更长上下文；每生成一个视频片段，又要经过多步去噪。

4、火箭不敌湖人 乌度卡被雷迪克完爆 天赋更佳为何被残阵湖人压制

实测显示，首Token延迟（TTFT）直接降低了51.5%，单Token成本再降37.5%。

5、惨了！U23国足抽进死亡之组，3大强敌围堵，安帅摆铁桶阵或能破局

15种组合跑下来，整体攻击成功率从最低约20%到最高近70%，相差约三倍。

6、【CBA联赛】第二十二轮｜浙江稠州金租58-68不敌浙江方兴渡

他问自家硬件负责人：我们这么完整地交出去，怕友商抄吗？ 对方回了他八个字： 设计可以，技术不行。

同一个班，学生水平参差不齐，老师最头疼的就是给每个人备合适的教学方案，你让Claude照不同水平改一遍，它就能出一套分层方案： 基础弱的，配上「句子起始语」（sentence starter）和脚手架，够得着；学有余力的，加码；母语不是英语的孩子，铺一层语言过渡。

「AI吸血鬼」 AI越强，人越睡不着 Andreessen真正引爆硅谷热议的，是他对软件工程师的观察。

7、奥塔门迪退出阿根廷队：决赛战斗到最后，问心无愧

它的任务只有一个，找漏洞、补漏洞。

她还去看了角斗士比赛——然后真的参与了决定生死的投票。

8、经纪人：卡马尔达和科莫托是否会被外租？这取决于以后的决定

AI能达到金牌线，靠的是大量算力搜索解题路径，在多次尝试里找到对的那一条。

资本为何押注？ AI视频是下一个万亿入口 就在同时，爱诗科技也宣布完成整体C轮融资，累计融资29.8亿元人民币。

三权分立加混合授权，管理不碰数据、操作不碰权限、审计不碰业务，三者互相独立、互相制约；全链路审计记录不可篡改、不可删除、不可绕过；敏感信息自动识别、分级路由，确保数据不出域。

墙的背后，是四类已经被验证的高价值场景：AI Coding、AI for Science、多模态视频创作、通用办公Agent。