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

1、ob体育 奥利塞只要送出1次助攻，就能追平贝利；助攻双响，就能独享纪录。

在此前结束的世界杯半决赛中，卫冕冠军阿根廷2-1逆转英格兰，连续2届晋级决赛。ob体育此后，双方球员持续交流。

2、专访靳玉志：「境」和「界」并不冲突，共同落实「电子螺丝钉」的战略定位

波切蒂诺说姆巴佩是杀手，可以全场不拿球，只在最后十分钟闪现。

3、CBA最新消息！胡金秋离队倒计时，宁波富邦官宣新老总

2002年1月30日出生的的措利斯，曾效力于塞萨洛尼基、诺维奇、特温特、杜尔塞多夫等球队。

4、10天前说留下，如今却走人！刘维伟咋放走唯一国手？去北控能干啥

首先，萨卡是第二位在世界杯季军战中戴帽的球员，首位是1958年方丹。

5、2026少年CBA中国人寿·全国挑战赛北京赛区 报名启动！

大约20点45分，球队将抵达西贝莱斯广场，同球迷共同庆祝。

它不再仅仅让模型学习单个患者图像中的局部模式，而是进一步利用医学影像中天然存在的跨个体解剖拓扑一致性，让模型学习更加稳健、可迁移、可泛化的 3D 多模态医学影像表示。

有网友指出，是乔迪先骂了韦世豪，韦世豪才反击的，但该消息并未得到确认。

6、“渌江讲坛”何以汇聚大能量？

壮丽！ 感谢世界杯扩军，足球真的太美好了！ 德国开场不到两分钟1比0，维尔茨清晰的横传，萨内一击得手。

2026 年 7 月 13 日，意大利理工学院、英国曼彻斯特大学等机构提出了一种名为Shared Embodied Intelligence（共享具身智能）的新框架，并基于此开发出新一代人形机器人 ergoCub。

7、阿森纳新增锋线引援目标，报价布鲁日边锋，两赛季43球45助攻

这些结果显示：DeepSeek-R1 在整个分类流程中高度再现了专家判断，几乎涵盖了所有致病证据。

英格兰大轮换，凯恩、贝林厄姆、李斯-詹姆斯、戈登、皮克福德坐在替补席上。

8、澳大利亚公开赛：董天尧连胜好手打入四强

奥尔莫做球，亚马尔小角度推射被扑出。

5. 洛杉矶快船：基顿·瓦格勒 高球商，能组织，能串联侧翼，能投篮。

克鲁塞罗官方宣布，加布里埃尔·佩茨左腿胫骨骨折，将接受手术，预计将缺席三到四个月，2026年年底才有可能复出。

9、足协杯8强落定1/4决赛对阵出炉！海港泰山强强碰撞

廖锦涛迎球抽射，皮球击中立柱弹出。

具体来说，此人就是迪涅。

10、2026：风口上的脑机接口，能飞多高？

姆巴佩在比赛中打入2球并送出1次助攻，在射手榜上实现了对梅西的超越，同时在世界杯历史射手榜上，姆巴佩也以1球的优势力压梅西。

上半场阿根廷1-0领先。

1、四亿妄为？德转身价更新后，切尔西正式凑齐“4亿中场”

同一侧4分钟后，阿尔及利亚回了一个越位球：蒙铁尔和罗梅罗站位失误。

2、活塞107-97再胜骑士，2-0领先！这一战我看清3个现实：哈登尴尬了

过于靠前，被布伦森后转身突破打停。

3、香港赛陈雨菲何冰娇晋级 李俊慧/刘雨辰横扫过首轮

本场比赛双方在120分钟内难分胜负，比赛被拖入到点球大战。0-1！2-1！逆转赢球，但英格兰却高兴不起来，3大“短板”太明显据悉，巴尔科当着贝林厄姆的面庆祝进球，并在他们面前跳了起来，而此时他的阿根廷队友们正在角旗区庆祝。

4、FIFA官宣世界杯最佳阵：金手套+最佳新秀双双落选，球迷怒斥“闹着玩”

巴西这边，依然靠两边：50分钟熊反击时，甚至有三个摩洛哥人来围他。

5、2026年6月7日，亚历山大·兹维列夫改变了自己的人生

根据OPTA推演，法国赢球的概率高达55.4%，挪威赢球概率23%，打平概率21.6%。

6、韦世豪：前几年跟泰国是互有攻守，这场全场压制只是缺进球

但朱利安尼坚决支持干预决定，并表示鉴于美国在世界杯上大量的资金投入，他们希望比赛能够“公平进行”。

连续2场淘汰赛，哈兰德都有破门，无愧挪威头号巨星。

对于目前的阵容，穆里尼奥认为还有改善的空间——中卫位置上，劳尔-阿森西奥达不到要求。

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

在曼城7年，罗德里出场298次，打进28球，送出32次助攻，拿到1次欧冠冠军、4次英超冠军。

第69分钟，梅西送出传中，尼科-冈萨雷斯头球攻门，皮克福德做出神勇扑救！ 第72分钟，英格兰换下戈登，换上孔萨，保持防守的宽度和强度。

8、巴基斯坦喊话保护沙特，仅过48小时被打脸！伊朗导弹直击沙特基地

此役之后，德尚将告别法国帅位，高卢雄鸡将进入齐达内时代。

下半场，姆巴佩带领法国队反扑。

哥伦比亚压缩防守空间，C罗很难寻觅到机会。

比赛进行到第15分钟，基恩在大禁区弧顶得球后起脚推射破门，意大利队1-0取得领先。