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

1、高比体育 因凡蒂诺、国际足联现在就是看钱。

今天的这场决赛中，阿根廷全程处于被动，一直是被压制的一方。高比体育你们让我们呐喊、哭泣，也让我们坚信。

2、字母哥正式亮相热火！透露改穿7号原因 豪言目标是多次成为总冠军

法国足协谨向迪迪埃-德尚表达最诚挚、最深切的感谢。

3、直击WAIC2026｜香港生产力促进局携“AI转型制造”亮相 沪港双向赋能共拓全球出海新赛道

但遗憾的是这就是足球。

4、年轻人为何迷上约拍？

赖斯的角球助攻了凯恩，而且他下场后，英格兰局势莫名下风。

5、值得「纯」爱_网易订阅

2013年，申思被中国足协终身禁足。

为此，他在社媒平台受到广泛好评。

英超联赛官方在社交媒体发文，对基冈的去世表达了哀悼： 英超联赛全体同仁对凯文-基冈的离世深感悲痛，他享年75岁。

6、CBA最新消息！广东新主帅浮出水面，山西续约迪亚洛，广厦保留布朗续约权

2. 实例间（Inter-instance）：不同患者之间的拓扑一致性 跨患者场景更具挑战性，因为不同个体之间不存在天然的像素级对应关系。

那么究竟是总身价12亿欧元的西班牙，时隔16年后捧起队史第2座冠军，还是总身价8亿欧元阿根廷成功卫冕拿下队史第4冠，20日凌晨3点开打的本届世界杯决赛，将揭晓答案。

7、篮网32分狂胜国王：7号秀26+5单节16分 打爆6号秀16分

半决赛面对夺冠大热门法国队的碾压局，让西班牙队时隔16年重返世界杯决赛的舞台。

23岁的邓肯将带着这支NBA历史上最成功、最稳定的GDP组合，以及经典的银黑圣城元素、马刺主题球衣一并登场。

8、关注｜VICTOR成为泰国羽协2026-2030官方合作伙伴

温契奇此前曾执法过5场世界杯的比赛，包括本届世界杯的三场比赛：小组赛巴西1-1摩洛哥，小组赛约旦1-2阿尔及利亚，1/16决赛墨西哥2-0厄瓜多尔。

荷兰变阵3421，布罗比出任中锋，萨默维尔轮换进入首发。

至于中国足球，到处充斥着宫斗摘桃的戏码，近期有U16外教赢球的事端出现，对此已经司空见惯，因此上海足球的根基绝不能被斩断。

9、永州13岁男孩失踪，数百人寻找5天，大家快失去信心时，妈妈最后的坚持让儿子获救

对此，“福克兰群岛”官方社媒发布了一则声明进行回应。

几家欢喜几家愁，来自亚洲（亚足联）的9队，有7队打道回府。

10、TA评世界杯最佳进球：卡布拉尔的进球令人动容，这展现了足球原始的魅力

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

最终，梅西卫冕失败。

1、汉马｜0.5秒之差未进国际前三！朱卿带伤再次抬高大众女子天花板

2打1的情况下，瑟洛特只需要轻轻横传，给哈兰德留足冲刺空间，以哈兰德的射术，进球十拿九稳。

2、三夫坚持不熔断引争议：崇礼 168 选手大雨中“玩泥巴”，当地曾发暴雨蓝色预警

法国球迷在请愿书中写道：“法国本不该丢掉第1个球，因为这完全改变了比赛走势。

3、CBA记者：朱芳雨已完成交接工作，与广东队说再见

网友纷纷表示，国际足联为了让国足进世界杯，真是拼了。CBA最新消息！中国男篮世界排名下降，洛夫顿引多支欧洲球队争抢，广东外援重返广州但随着遗传学知识快速增长，这种模式正在发生变化。

4、各队外援优先续约权：古德温洛夫顿在列，广厦报布朗，京鲁川辽0人

” “在支撑这场全球合作的庞大网络中，有多家中国企业的身影，它们折射了中国经济与世界的连接深度。

5、吉利汽车5月销量23.76万辆 连续三月双增创出口新高

那么奥塔门迪为何如此不满罗德里和拉波尔塔，怒火源于赛前的一系列言论。

6、江苏男篮完成重要签约！2米05吨位型内线正式加盟，曾单场砍22+10

”、“裁判始终没有出黄牌，这给了阿根廷自由发挥的空间，他们的很多动作都可以拿黄牌，但裁判始终没有表示。

姆巴佩、登贝莱等法国球星已提前陪跑。

阿根廷本届5个进球：一个是德保罗直塞、两肋拉开、梅西带球挑了小齐达内；两个补射；两个“梅西斜分左路自己跟进一脚”。

7、亚历山大：爱不上，恨不了

” “在这场比赛后，C罗将向葡萄牙国家队告别。

BBC规则专家Dale Johnson给出了详细的解读分析： 上周，国际足联裁判主管科利纳给世界杯裁判上课——要求裁判允许正常、适当的身体接触，保持比赛流畅性、加快比赛节奏。

8、CHANEL「外聘」会不会诞生「第二个 Karl Lagerfeld」？

”记者Adam Crafton写道：“裁判似乎试图让比赛不发牌就能过去，但这给了阿根廷队自由发挥的空间，他们明显犯了黄牌级别的违规却没有收到黄牌。

北京时间7月21日，阿根廷国脚帕雷德斯的妻子卡米拉-加兰特，在社媒深情写下长文，声援世界杯决赛赛后施暴打人的丈夫。

不过，蓉城最终2-3输掉点球大战，被淘汰出局。

除了未能率队卫冕，梅西也未能拿到金靴奖。