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

1、火博体育 罗德里目前身价5000万欧元。

巴萨官方确认，德容回到俱乐部之后接受身体检查，被诊断出右膝内侧副韧带撕裂。火博体育五届世界杯进球。

2、穆帅连线佛爷的消息，立刻稳住皇马局面，背景是本菲卡失欧冠名额

这场比赛一个非常重要的看点，是两队当家射手之间的金靴之争。

3、法媒推演世界杯扩军64队：大洋洲成最大赢家，国足依旧无缘

上个赛季后半段他们都打得风生水起，他们本可以观察个半年，看看健康的三球、布米和克努能够把球队带成什么样。

4、榜单综述｜第14轮

目前措利斯在德国《转会市场》身价为4000万欧元。

5、南京23处“空调房”明起免费用

一位名为dilemma的网友在社交平台发布了一则预言贴，预测2026年世界杯冠军归属于阿根廷队。

附：世界杯剩余裁判名单 亚足联： 法加尼（澳大利亚） 马哈德迈（约旦） 非足联： 贾拉尔·贾耶德（摩洛哥） 中北美及加勒比海足联： 伊万·巴顿（萨尔瓦多） 伊斯梅尔·艾尔法特（美国） 南美足联： 巴伦苏埃拉（委内瑞拉） 桑帕约（巴西） 欧足联： 埃斯彭·艾斯卡斯（挪威） 马齐尼亚克（波兰） 马里亚尼（意大利） 格伦·尼伯格（瑞典） 若昂·皮涅罗（葡萄牙） 斯拉夫科·温契奇（斯洛文尼亚）北京时间7月12日晚，30岁的挪威射手瑟洛特，回应了世界杯1/4决赛中空位不传给队友哈兰德的巨大争议。

第十四，姆巴佩本赛季为法国队打入15球，打破方丹保持的单赛季队史纪录。

6、C罗忘不了的后卫，欧洲杯夺冠推迟婚礼，30岁才开始“留洋”

来自法国权威媒体《队报》的透露，在季军战首发的谢尔基，在上半场1次补水暂停期间与主帅德尚爆发争吵，德尚要求谢尔基尽快发球，却遭到对方毫不客气的顶撞。

从1930到2026，没有1次例外。

7、世界杯扎心点评！阿根廷媒体集体嘲讽，英格兰头号巨星全场隐身

目前，FIFA针对政治信息展示行为的罚款金额通常在5000至20000美元之间。

首发阵容方面，两队均作出了7处轮换。

8、春天逛山姆，这15样健康好物是我的心头好

连续9场世界杯赛事，梅西都有进球。

世界杯决赛在纽约大都会人寿体育场落幕，西班牙1-0击败阿根廷夺冠，各界名流齐聚看台，马云低调现身，朴素松弛的状态引发全网热议。

加时第6分钟，尼科-威廉斯打入一球，裁判认为梅里诺犯规在先，进球无效。

9、暑期孩子口臭反复？不一定是上火，根源或在“脾胃”

这些描述符往往需要人工指定关键原子，或依赖耗时的构象搜索与量子化学计算，难以高效扩展至大规模催化剂库。

针对 Suzuki 和 Buchwald 偶联反应，团队围绕 4 个典型反应开展了两轮迭代优化。

10、穆帅重塑皇马黄金12宫，6选2：切尔西1.2亿中场、曼城中卫是首选

法国队将比分追到了3-4。

帕雷德斯祭出锁喉功，一把将加西亚推倒在地，阿根廷主帅斯卡洛尼迅速冲到场内，将帕雷德斯拉开，紧急劝架。

1、阿尔及利亚对瑞士！佩特科维奇带队阻击瑞士胜算几何？

正式比赛中，两队从未有过交锋。

2、零跑首款MPV即将上市！预售不足26万，纯电/增程双动力+1000V架构

这一设计兼顾了推理效率和信息表达能力，可用于大规模催化剂库的快速嵌入、相似性检索、优先级排序和性能预测。

3、奥利塞复制罗本内切！法国大胜北爱尔兰，皇马2亿欧豪购倒计时！

点球点附近，乌纳希跟进抽射得手，摩洛哥2-0领先。杨晨为何在北京打不上主力而却可以成为法兰克福主力前锋？其次，姆巴佩本届世界杯进球数达到10粒，成为历史上第4位单届世界杯进球上双的球员，仅次于方丹、柯奇士和穆勒。

4、看完申花4-1海牛！不得不承认5个事实，阿苏埃一战封神太无解！

角球发出，佛得角甚至头球攻门还有点威胁——场边球员们都准备庆祝了。

5、世界杯小组赛落幕，欧非28队晋级，亚洲7队出局占半数席位

从空白到直白 LEAP 的成功带来了需要思考的问题：我们真的需要倾注所有资源去无限微调那些极度偏科、缺乏泛化能力的专用小模型吗？ 答案是否定的。

6、尼克斯逆袭夺冠，马刺队功败垂成

其次，物理世界的「双手」—— 自驱动实验室，是这个科研工厂高效运转起来的关键。

只有足够强大，命运才不会被人左右，足球如此，人生亦是如此。

根据阿根廷跟队记者埃杜的透露，在这场备受瞩目的决赛中，阿根廷锋线将延续此前的组合，梅西将搭档“小蜘蛛”阿尔瓦雷斯，而半决赛头槌绝杀英格兰的劳塔罗，则会继续在替补席待命。

7、不支持周星驰就抵制？旭旭宝宝不看《功夫女足》遭网友拉黑

世界杯半决赛，梅西助攻梅开二度，带领阿根廷2-1逆转绝杀英格兰，晋级决赛，但是决赛常规时间0射门，最终加时赛输给西班牙，卫冕失败。

考虑到申思在13年前已经被终身禁足，他如今的行为等同于打足协的脸。

8、离不了婚也过不好：遭遇背叛后，你唯一能做的只有一件事

而2026年世界杯，西班牙至今7场比赛豪取6胜1平。

而赛后，法国主帅德尚，后防大将拉克鲁瓦，在接受采访时都齐声公开质疑当值主裁、萨尔瓦多人伊万-巴顿的水平，不够执法世界杯半决赛，导致比赛中争议不断。

今日，国际体育记者协会（AIPS）组织全球记者投票，一共有来自121个国家的472名专业记者参与。

瑟洛特勉强射门，英格兰轻松化解。