本次测试覆盖Claude Opus 4.6、GPT-5.4、Gemini 3.1 Pro、Gemini 2.5 Pro、Qwen3-32B、GPT o3、GPT-4o-mini、DeepSeek Chat、Llama3-70B等主流模型。

1、bob登陆入口 他们将IMO 2026的全部6道考题，逐字逐句翻译成了机器能够理解的Lean 4形式化题面。

在单点研究的机构里，研究大脑的和死磕灵巧手的彼此割裂。bob登陆入口真正理想的游戏，是让玩家能进去操控，可以影响结局。

2、《学习文选》：携手构建公正合理的全球人工智能治理体系

让它出一节课，出来的不是一份漂亮但悬空的PPT，而是一份已经对齐到你所在州课标、按学习顺序搭好台阶的教案。

3、瑞士主帅开炮：我们比阿根廷更配赢！裁判毁掉胜利，不解红牌规则

它只是切下了「智能」的一个薄片，然后告诉你，这一片有多亮。

4、泰山队止连败看到变化，进攻无克雷桑还要解难题，新人要把握机会

AI竞赛下半场的主题之一，是让AI拥有身体，进入物理世界。

5、自从买了房才知道，房贷是最真实的压力

参考资料： https://openai.com/index/safety-alignment-long-horizon-models/ 编辑：桃子新智元报道 7月17-18日，第四届世界科学智能大赛总决赛及颁奖典礼在上海举行。

你得重新自我介绍、重新上传文件、重新解释需求。

LegionSpace: 本体工程与大语言模型的深度融合新智元报道 8万块积木，15个小时！ 一座长3.5米、宽1.5米、最高点1.1米的长城模型，要在15个小时内，从第一块积木开始垒起。

6、她是国家一级女演员，被传给丈夫戴绿帽，重病丈夫坐轮椅也不离婚

三大支柱：从一颗CPU 长成一张全域算力网 在孙文剑看来，智能体已经不是被动响应的知识库，而是能主动拆解目标、调用工具、执行任务的「任务执行者」。

具身智能博览会按机器人「爆炸图」拉开五大展区，铺满50,000+平方米，供需1V1精准对接、现场签约、出海专区一应俱全。

7、几十块搞定全屋装饰画！不仅年味十足，还有财气满满！

她不是站在高高的上帝视角去讲述史实，而是将自己变成一个真实的亲历者。

每一次转化有没有效率，每一个Token有没有被计量、归因、管住。

8、揪心！中国男篮40-50，落后日本男篮十分，老叔用人换人引争议！

这样的app它一口气造了5个，成本只有Fable 5的零头。

为了解决这个问题，RLinf首创了HotSwarm与端云协同训练模式。

来看结果：雨夜港口、蒙尘的电话亭、窗上的水痕，光影完整；左上角手写体片名《雾港来信》，配文「寄信的人，七年前已经消失在了海上」；底部还有一整行监制、导演、编剧、摄影的演职员小字。

9、罚没近3000万！摩宝支付多重合规短板，牌照续展迎生死大考

它能替老师干的，大致是三块。

这意味着它不再是「问一句答一句」，而能自己把活儿往前推，甚至设成每天定时跑的任务。

10、难与国企竞争！曝广厦银行账户被冻结：胡金秋被争抢 孙铭徽没人要

两条曲线撞在一起，一个被集体忽略的问题浮现——智能体，到底该跑在什么芯片上？ 答案有多炸裂？发布会现场，一台办公桌大小的机器被抬上台——AGX Station。

可当所有智能都跑在云端的数据中心里，AI基础设施就真的到头了吗？ 无问芯穹的答案是没有。

1、脏乱差？这其实才是马拉松本来的样子

即便在60秒、1fps的长期记忆场景下，算力也仅约3.3 TFLOPS，始终低于pi0.5的5.0 TFLOPS。

2、消费贷半年缩水超万亿！中小银行“增自营、降联合贷”，助贷机构业绩承压

这句话当时被无数人转发、争论、贴在Slack里当战斗檄文。

3、伦纳德调查结束了！处罚结果来了！在路上

一家大型企业，应用建了百八十个，模型接了四五十个，中间靠一条条硬连接对上。官宣！韩德君回归https://www.tec-do.com/news/299 创始人兼 CEO 李述昊给公司取了两个词拼成的名字——Tec-Do（用技术做生意），后面挂着版本号 2.0，含义是「像做产品一样做公司」（Develop Company as Product）——Tec-Do 2.0。

4、谢贤遗产由林青霞保管？影迷会火速辟谣：二人根本不算好友

其难点不仅在于完成动作，还在于能否长期保持力量、精度、响应和运行一致性。

5、中方回应美对贸易伙伴征收新关税：反对单边关税措施

最耐人寻味的是ABC问询之后的操作：澳大利亚访客被跳转到本地页面，捐款按钮和那句「本机构不是慈善」的免责声明，一起消失了。

6、世界杯16强定13席！欧洲7队占据半壁江山，非洲军团大面积出局

实验结果显示，经过统一评分尺度校准后，论文排序与长期学术影响力之间具有更高的一致性。

一是 AEO（Agentic Engine Optimization，智能体引擎优化，类似 GEO），优化商品在 ChatGPT 对话中的提及率、排名和表达准确性——确保被提到、排得上、讲得对。

学习闭环的竞争 未来企业之间最重要的差异，不一定是谁使用了最强的模型，而是谁拥有更好的闭环。

7、上市房企半年预亏逼近 500 亿元 地产板块总市值较高点缩水 66%

参考资料： https://www.youtube.com/watch?v=F_7M4Hc-usM https://x.com/hesamation/status/2073884828861071557 https://x.com/ryanbrewer/status/2073812031988535760 编辑：元宇新智元报道 困扰统计学界整整20年的核心悬案，被AI击碎了。

自研多模态模型MiniCPM-V/O系列已迭代两年半，开源下载量突破2500万；MiniCPM-V 4.6开源不到2个月下载量突破200w，在国内外社区影响力广泛。

8、新关税框架落地！美国对数十个国家加征10%-12.5%的关税，石油、天然气、食品得到豁免

下一个「Lily Jay」可能已经在路上。

多框架反复实战，图的就是「换个框架不水土不服」。

Weil删帖。

一个让无数顶尖数学家折戟，让华人天才数学家张益唐苦熬七年、被迫在赛百味洗盘子的超级数学难题——雅可比猜想，被Fable 5证伪！ 昨天傍晚，Anthropic的研究人员Levent Alpoge发布推文： 大家好，雅可比猜想是错的，感谢我的好友akhil问了这个问题，也感谢我的另一位好友Fable在世界杯决赛期间还在工作。