Lean-IMO-Bench 为了避免在已经饱和的基准上做表面文章，作者新建了Lean-IMO-Bench，把 IMO-Bench 里的挑战题正式化到 Lean 中。

1、米6体育 世界杯上的姆巴佩，如同开挂一样强悍： 3-1击败塞内加尔，姆巴佩双响；3-0战胜伊拉克，姆巴佩再次双响；4-1战胜挪威，姆巴佩2次助攻；1/16决赛3-0淘汰瑞典，姆巴佩2球；1/8决赛1-0送走巴拉圭，姆巴佩打进唯一进球；1/4决赛击败摩洛哥，姆巴佩1球1助。

森林狼送里德去黄蜂，换了三球。米6体育2002年世界杯夺冠之后，巴西在淘汰赛面对欧洲7连跪：2006年被法国淘汰，2010年输给荷兰，2014年遭遇德国、荷兰（三四名决赛）连击，2018年不敌比利时，2022年输给克罗地亚，这次败给挪威。

2、平均每笔不到五百元的百亿生意：嘉立创如何加速AI硬件落地？

萨卡操刀主罚一蹴而就，本场比赛完成帽子戏法，英格兰队将比分改写为5-3。

3、破案了！朱芳雨点解要辞职？分析有3个原因

就当全场观众以为比赛就此结束的时候，贝林厄姆开启了华丽的表演：英格兰反击，他一人带球突进，杀入法国队禁区，横向带球突破。

4、安德森：这两年我一直关注马雷斯卡的比赛，大家对他评价很高

【F组：日本1-1瑞典 荷兰3-1突尼斯】 本届世界杯的死亡之组。

5、男篮主场不敌日本，赵继伟首发7中1，杨瀚森替补，郭士强玩大了

2-0，法国击败摩洛哥，晋级4强！2018年冠军，2022年亚军，2026年已经打进4强，法国连续3届世界杯至少晋级4强，这是队史最佳表现。

如果说顶级运动员的战场是绿茵场，那这些富豪的战场就是会议室。

去年的欧国联半决赛，西班牙在一场进球大战当中5-4胜出。

6、国内转会窗关闭，海港有新援要来？

头号夺冠热门西班牙1-0击败乌拉圭，小组第1出线，也等于是帮了一把韩国。

西班牙、葡萄牙、瑞士晋级16强，奥地利、克罗地亚、阿尔及利亚3队回家。

7、以数智赋能 与智造同行｜威图AHTE 2026圆满收官

95分钟，克罗地亚都还有机会扳回一球：凯恩在球门前挡住了。

【鸡肋之战！双方无心恋战】 世界杯半决赛，英格兰在1-0领先的大好局势下，想要守住胜果，摆出铁桶阵防守，结果遭到逆转绝杀，1-2负于阿根廷；法国则是输给西班牙，无缘连续3届世界杯晋级决赛。

8、新设机械电子展，同期联动广交会，第四届博华深圳联展全面升级，打造大湾区双城采购黄金季

除了世界杯的一冠一亚之外，德尚还带队获得了1次欧国联冠军和1次欧洲杯亚军。

两队都有优秀攻击手坐镇，科特迪瓦的4141阵型，迪奥曼德、阿玛德-迪亚洛两翼齐飞，中场有凯西，锋线上是尼古拉-佩佩。

然后他去勇士当了助教，亲眼看着科尔教练如何打造传切体系动态进攻。

9、vivo、OPPO持续领先，荣耀、小米抓紧追赶

第58分钟奥尔莫同波罗撞墙式配合撕破了法国队防线，无人防守的波罗单刀冷静破门，帮助西班牙队将领先优势扩大到2-0。

正是因为拉廷的这次被罚下，才催生了世界杯上的红黄牌制度。

10、詹姆斯最新动态出炉：还是没决定，继续等待

余下的水手老实了。

上场后，帕雷德斯看上去情绪比较激动。

1、全场8次扑救！佛得角门将再次爆发，加时赛2比3输给阿根廷

” 同时德尚认为，法国队在比赛中缺乏技术上的精准度和活力，而西班牙队则更擅长通过预判和传球来瓦解对手。

2、CPB夏至联赛8月上海挥棒，上海虎鲸携西岸棒球场重磅亮相

图示：TEMPO 改善实验台尺度的产品形成。

3、辽宁队不留情面，韩德君上任，四大王牌全部淘汰，郭艾伦回归揭晓

追风少年欧文制造点球，贝克汉姆一蹴而就完成救赎。CBA最新消息！阿不都沙拉木或离开新疆，刘晓宇重返北控男篮《转会市场》的预热图片显示，亚马尔下一期的身价将在4个数字之间产生：2.2亿欧、2.3亿欧、2.35亿欧以及2.4亿欧。

4、又出事了？日本排华情绪大爆发，高喊滚出日本！百万华人咋办？

它拥有少量内部隐藏状态（Hidden Channels），能够记录自己的局部记忆，同时每一步只与六个相邻方向上的模块交换信息。

5、破案了！朱芳雨点解要辞职？分析有3个原因

不过，他们对罗杰斯的估价为8000万欧元。

6、黑奥秘聚集中科院和麻省牛津专家：共探脱发白发理疗技术解决方案

共同发的未来 过去，科研竞争的核心是实验设备和数据规模；未来，如何有效利用这些数据和工具，可能成为决定科研效率的重要因素。

我小时候只在新闻上看到过佛得角，后来打大航海时代4，非洲最西端的一个港口叫绿角，打过游戏的都知道，那是游戏里发财致富最重要的航路起点。

此外，奥利塞此役多达20次丢失球权。

7、CBA：北京男篮正式放弃麦基，米切尔告别CBA，国内教练没有杨瀚森说明书，山西续约迪亚洛

北京时间7月24日，知名转会专家罗马诺以标志性的“here we go”宣布，切尔西成功签下26岁的法国国脚中卫拉克鲁瓦，双方将签约6年至2032年。

第37分钟，梅西面对斯彭斯、凯恩、戈登、安德森围剿，一路带球强行推进，安德森踢梅西膝盖，遭到黄牌警告。

8、伊朗火力彻底爆发！以色列紧急启动防空系统：随时恢复作战准备

读秒阶段，替补登场的陶强龙侧身凌空斩，为浙江队完成绝杀。

贝比·鲁斯、罗杰·费德勒、纳达尔……名单很长。

论文链接：https://arxiv.org/pdf/2607.07708 项目主页：https://scireasoner.github.io 离散结构转化 对于人类研究人员来说，科学推理本质上是一种「证据驱动」的过程。

本届世界杯扩军至48队，亚足联名额增加至8.5个，最终9队晋级，可惜中国队止步18强赛。