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

1、博亚平台 易边再战，第58分钟，西班牙再进1球： 波罗右路插上进攻，奥尔莫背对球门做球，波罗高速插上，一脚推射建功，西班牙2-0！ 西班牙的进攻打得非常精彩，前场四巨头活动范围极大，都具备盘带、做球、突破、得分的能力，防不胜防。

这位学员的家长在社媒发文控诉：“上海幸运星足球队，申思你就不配做人。博亚平台世界杯1/16决赛，美国2-0淘汰波黑，晋级16强；比利时则是苦战加时，3-2淘汰塞内加尔。

2、四年前法甲保级！四年后世界杯双响！乌纳希从无名之辈到非洲英雄

被打的加维也以德报怨：“我不认为他们应该被禁赛。

3、上半年13家出手：西安民企“敢于批量拿地”了？

第22分钟，基尼奥内斯打破僵局；第31分钟，劳尔-希门尼斯再进1球，墨西哥2-0领先。

4、从区位门户走向开放前沿——江西上饶“十五五”规划加快释放“东大门”新动能

25岁的巴洛贡，不愧是詹姆斯的铁粉。

5、扔掉央视铁饭碗，带着儿子倒贴嫁给张译，20年过去，活成人生赢家

世界杯8强已诞生6席，欧洲独占5席。

但这件事我们无能为力。

第93分钟，恩佐在中场凶狠抢球，迎面狠狠踢倒了库巴西。

6、不是姆巴佩！不是哈兰德！3场比赛4球1助，成世界杯最被低估球星

此外，30岁的罗德里不符合皇马引援策略：要么是免签，要么是引进年轻巨星。

英格兰这边，赖斯领衔，同样带着多位新人积累经验。

7、瘫痪4年的申军谊后半生才终于明白：有些债，一辈子都还不完

哈兰德建功，挪威2-1绝杀科特迪瓦；姆巴佩梅开二度，法国3-0淘汰瑞典；墨西哥2-0击败厄瓜多尔，1986年以来，首次在世界杯淘汰赛赢球，打破40年魔咒。

2018年横空出世，跟随法国夺冠；2022年单届8球，加冕金靴奖；本届世界杯，姆巴佩作为法国队长，扛起球队重任。

8、打脸切尔西！阿森纳放弃 1.2 亿英格兰水货，硬抢世界杯冠军神锋

第55分钟，挪威打进1球：角球乱战中，黑格姆破门。

虽然天赋异禀，但若没有医疗干预，别说“世界杯球王”了，梅西甚至可能患上矮小症。

半决赛中，法国队输给了西班牙，英格兰则是输给了阿根廷。

9、禁赛三年！知名少帅重蹈李楠覆辙 被利益熏昏头脑他本有大好前程

”阿根廷球迷也跟着哭，非说‘西班牙和阿根廷是一回事’，但不好意思，今晚捧杯的只有一个。

张琳芃替补登场仅1分钟就从背后“剪刀脚”放倒冯伯元，引发大规模冲突。

10、65岁肌肉男，世界杯最年长冠军主帅

因为这次犯规，埃及的进球被判无效。

而且在单场定胜负的淘汰赛比赛当中，亚马尔6次面对姆巴佩保持全胜。

1、软银拟收购瑞士AI机器人初创公司Gravis 估值或逾5亿美元

第81分钟，迪马塔接长传形成单刀，随后推射入网，铜梁龙1-1扳平浙江。

2、洞洞鞋整容成芭蕾鞋，就想卖我499？

其中，法国队长姆巴佩领跑，英格兰队长哈里-凯恩紧随其后，阿根廷队长梅西与两位法国巨星奥利塞、登贝莱并列第3。

3、地平线收入增长超预期 预计收入达19.3亿元至20.8亿元

毫无疑问，世界杯权重最高。小红书捐赠1000万元，支援广西、湖北等地救灾医生表示：“在经过治疗之后，维尼修斯看上去变帅了，精神状态也更好了，他很健康。

4、靠给约穆补防成不可或缺，戈登在掘金的作用，可不止这一点

梅西首发出场，创造历史，成为首个在世界杯决赛中3次首发的球员。

5、相信奇迹一定会发生——奇迹，不是运气，而是选择

但此后郑钦文在第5局和第7局两次送出发球局，一波连丢5局后3-5落后对手。

6、火箭与湖人系列赛G2前瞻 乌度卡会有哪些调整 杜兰特能否回来

特朗普上周曾在社交媒体上称凯恩为“伟大的球员”和“了不起的家伙”。

媒体人苗原也证实：申思十几年前就这样了，传承的是传统很严厉的教学风格，球员上周已经报警，也发视频控诉上海幸运星违规办学，申思从肉体和精神上折磨球员，要求中国足协主持公道了。

西班牙和阿根廷分别淘汰了法国和英格兰队后，成功会师决赛。

7、力士的「真香」实力藏不住了！这次必须冒个泡！_网易订阅

——本文主角胡安·塞巴斯蒂安·埃尔卡诺，才真的是首个绕地球一周的人。

此外，在比赛当天两支球队酒店附近都部署了大量警力，尤其是在比赛场馆周围。

8、火箭对阵步行者前瞻 面对进攻最差的球队 乌度卡能否为杜兰特减负

破门之后，27岁的荷兰国脚掩面落泪。

“反正我们全程稳得不行，就是被迫‘喝了点水’，最后照样赢麻了。

理论上，森林狼会是更凶猛的进攻和更不稳定的防守。

北京时间7月20日凌晨3点，举世瞩目的世界杯决赛，将在纽约新泽西体育场打响。