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

1、乐竟体育 ” “对那些今天仍穿着这件球衣的人，我想由衷地告诉你们：永远不要停止相信。

本届世界杯，姆巴佩打进7球！射手榜上，姆巴佩、梅西均是7球，但姆巴佩还有2次助攻，FIFA官方的射手榜上，姆巴佩排名第1，梅西第2。乐竟体育最后17号莱奥进球，7号C罗看着——22年前欧洲杯，17号C罗进球，7号菲戈看着，恍若隔世。

2、仅四辆美规橘色猛兽：08年莲花Exige S 240限量13k英里释出

【凯恩vs梅西 世界杯锋霸对决】 本届世界杯，超级巨星都有出彩表现。

3、潮起资江畔 弦动天子湖！邵阳这场音乐会超燃！

曹操祭袁绍。

4、F1匈牙利大奖赛周末即将开赛 官网发布相关前瞻文章

其中一些替补球员，对主帅图赫尔感到不满甚至心寒，在他们看来，自己本届世界杯似乎“只是来凑数的”。

5、休斯自责分率3.14 vs 卡瓦利单场9K，洛基决胜战遭遇考验

世界杯历史射手榜上，姆巴佩打进了21球，追平了梅西，两人并列第一位。

世界杯决赛，西班牙加时赛1-0击败阿根廷，夺得冠军。

整个庆典预计将持续到午夜时分。

6、腾讯混元合并多模态与大语言模型部门

值得一提的是，早在2022年世界杯，马宁就参与到了世界杯决赛圈的执法任务当中，只不过当时他并未获得主裁的机会。

凭借这场胜利，英格兰获得本届世界杯季军。

7、场均角色缩水三分化，掘金拒绝多队对2306万前锋的询价

从「单模态专家」到「多模态通才」 过去的生物 AI 模型深耕于不同的领域：有的专攻蛋白结构，有的专攻分子生成，有的专攻生物医学文本理解。

哈珀只好自己中投，福克斯也射进了接锅三分，但布伦森开始统治：他不再中圈挡拆招夹击了，就逼换防后点名，布伦森补进远射，强攻福克斯，晃动中投击倒凯尔登，独自带起10比2的高潮追近比分。

8、一天夺4金！省运会射击项目再传喜讯

双方都没有太强烈的进攻欲望，毕竟，0-0对日本和瑞典都不是糟糕的结局，两队能携手出线。

下半场，法国队开始反击，但最终依旧4-6落败，未能翻盘。

7月22日，西班牙4台、权威记者罗马诺等消息源透露，穆里尼奥希望皇马出售劳尔-阿森西奥。

9、南京新农人两次驰援河南，代销85吨西瓜助农脱困

刚刚结束的世界杯上，萨默维尔表现不俗，出场4次，打进2球，助攻2次。

2026年4月中甲，冯伯元争顶时挥肘吃到第一张黄牌，随后又因对裁判判罚不满、言语争执再吃一张黄牌，两黄变一红被罚下场，导致陕西联合以少打多最终0-1失利。

10、德容巴萨生涯伤缺超400天，这次右膝重伤再歇近150天

世界杯历史上从未有过超过60岁的教练带队夺冠，德拉富恩特已经65岁。

这项评选在国际足联世界杯官网上开展，国际足联技术研究小组予以协助。

1、英超夏季系列赛前瞻：利物浦纳什维尔迎战桑德兰

第23分钟，场上僵局终于打破。

2、东北超有礼丨这几天拿好票，大连这些地方行李免费寄存！

北京时间7月8日凌晨，世界杯1/8决赛结束两场比赛的争夺，阿根廷3-2逆转绝杀埃及，杀进8强；瑞士和哥伦比亚120分钟打成0-0，点球大战瑞士4-3哥伦比亚，闯入8强！ 【阿根廷3-2埃及】 这是两队在世界杯历史上的首次交锋。

3、利兹联正与曼城谈判求购特拉福德 23岁英格兰国门成首要目标

赛后，姆巴佩表示自己不在意射手王，只想踢决赛。在乌自治区人大代表来阿调研外向型经济发展情况第86分钟阿根廷队战术角球开出，梅西将球传到弧顶处，无人防守的恩佐远射破门，双方1-1回到同一水平线上。

4、哈维：39岁梅西仍统治世界杯！他不是传奇的过去式，而是当今足坛的答案

但那一下很有意思：姆巴佩去边路了；拉比奥推进了。

5、脸丢到全世界！世界杯严查阿根廷！输球围殴对手，教练挥拳打人

在上半场球队久攻不下之时，姆巴佩的进球帮助球队打破僵局。

6、39岁梅西对19岁亚马尔，'澡盆德比'，巴萨两代10号终极一战

而梅西在本届世界杯的赛场上，还没有助攻进账。

只有一个问题：他和戴森起码得有一个人练出致命的远射。

为了解决边路问题，中场麦卡利斯特和恩佐，分别照顾左右两扇？ 右路蒙铁尔依然没有太套上，经常是德保罗在担当右边锋，为梅西拉开空间；后方是麦卡利斯特的支持出球。

7、38名新人涌入更衣室直接分裂 德州主帅亲承：我辜负了他们

其通过次临界运行改变了传统反应堆的安全逻辑，但也带来了器 — 靶 — 堆强耦合和长期稳定运行的新挑战。

洛杉矶奥运会将设置6个“世界网球席位”（类似于外卡），其中4个授予各大洲综合运动会冠军，2个授予奥运会冠军或大满贯冠军。

8、5.3万英里、7.5升大排量V8，一台40多岁的老福特正在无底价拍卖

” 王楚钦一度成为张本智和的梦魇。

现在呢？浪费时间。

主裁黄牌警告帕雷德斯，VAR介入，主裁观看回放，认定恩博洛假摔！帕雷德斯黄牌被取消，恩博洛领到黄牌，2黄变1红被罚出场。

值得注意的是，过来拉架的阿根廷球员是贝林原来在皇马的队友尼科-帕斯，从尼科-帕斯的姿势、神态能判定出来，他听到了巴尔科的话，也知道队友不该说这句话，所以想尽快平息事态，拉开双方。