从去年底到今年，各大实验室的推理模型接连在IMO乃至前沿猜想验证上撕开口子。

1、bob电子 现在这个数字直接拉到了500。

但一家伟大公司，很难从开始的那一瞬间就预判它未来是千亿还是万亿，它是逐渐长出来的。bob电子你觉得，AI距离拿下属于它的「菲尔兹奖」还有多远？ 参考资料： https://x.com/DmitryRybin1/status/2079904005652893709?s=20 https://x.com/Qiaoqiao2001/status/2080003441821163958 编辑：桃子新智元报道 7月23日，第30届国际数学家大会（ICM）将在费城开幕，菲尔兹奖将在开幕式上颁出。

2、7月，穿好看的衣服，看最美的风景

第一，行业协会要带头制定行业标准与规范，让市场竞争从无序走向有序。

3、中国数学家邓煜、王虹：北大的学术氛围让我受益匪浅

还有更好玩的「手速年龄」，三步一键测试自己「真实的年龄」。

4、前曼联污点天才成今夏香饽饽，开价4600万欧，遭3大欧洲豪强哄抢

而大厂最核心的治理逻辑，也是避免将命运‘绑死在一个人身上’。

5、重磅！吉利博越L新设计曝光，上市在即，你期待吗？

针对PyTorch 2.8，MXMACA把全部2410个GPU算子做到了完整兼容；更关键的是速度，每次PyTorch出新版本，行业里同类方案通常要磨上好几个月才能适配完，沐曦这边一周就能收工。

静态结构积累了大量数据，动态分子数据却十分有限，相关评测体系也有待完善。

为什么大家都在争「大脑」？这背后其实是一个逐渐成型的共识：具身智能真正的瓶颈，从来不在身体，在大脑。

6、智驾比亚迪丢王炸：兜底城市NOA一年承诺全赔，发布4nm芯片拼算力

所谓“桥”，就是一条一旦被删除，整张图就会被断开的边。

比如《我爱贝克汉姆》里球队队服是什么颜色？《布达佩斯大饭店》里Agatha的标志性发型是什么？or《高速路上一只猫》里Monica开的是什么车等等。

7、宁德时代：2026年中期拟每10股派发现金分红14.11元

随后，以ImageNet为基础形成的大规模视觉识别任务，让不同机构第一次能够围绕共同的数据集、类别体系和评测指标训练模型、比较结果。

大疆已在云台相机深耕8年，Pocket 3被誉为“神机”，累计销量突破1000万台，为大疆带来近200亿元营收。

8、它被称为“天然青霉素”，抑菌消炎、抗衰老，但要吃对

最近，华为半导体业务部总裁何庭波宣布了韬（τ）定律，提出了芯片的逻辑折叠技术。

虽然团队过往对外发声始终秉持审慎的态度，但从近期集中发布的技术博客来看，其已清晰勾勒出一条技术演进路线—— 从V3时代的训练体系搭建，到V4时代的效率与质量创新，再到600B级模型的Scaling突破与Hidden Decoding的推理范式创新。

智能不再是一次训练的结果，而成为持续生长的过程。

9、打平就出线？国足当年经常给自己挖的坑 韩国队一头扎进来了

这究竟是一家怎样的公司？ 量子位找到了苏度科技CEO韩铮，为我们揭开这家新兴具身智能独角兽的面纱。

图5：Plan-Act-Guard 将局部修改拆成范围规划、受控执行和结果检查。

10、研究发现：每天吃一个咸鸭蛋，癌症、全因死亡风险增加？还能吃吗

战略之“天”的正确性，以长期价值为标尺，这是企业行稳致远的核心前提。

” 失落的哈根达斯 这不是哈根达斯第一次出现出售传闻。

1、打不死的阿根廷！梅西仿佛有起死回生神药，跌跌撞撞总是逢凶化吉

选题过程，只挑数学家本来就在讨论的题，再用AI把那些跟重大猜想，死死绑在一起的排除掉。

2、世界杯宿敌之战！英阿激战60年，老马上帝之手，贝克汉姆染红后救赎

在这个阶段，团队需要回答的往往不是“还能增加什么功能”，而是“什么才是产品真正成立的理由”。

3、餐谋长

参考资料： https://arxiv.org/abs/2606.17162 编辑：LRST新智元报道 业界首个国产芯片上跑出的万亿参数模型LongCat-2.0于近日发布。17岁留洋，20岁成名，在欧洲三大联赛当路人，31岁养老《中国企业家》记者 闫俊文 见习编辑｜李原 编辑｜何伊凡 头图来源｜视觉中国 月活3.5亿的豆包，毅然决然地踏入了收费的河流。

4、大连1人入选2026年第二批“中国好人榜”候选人！快来为他评议！

王莉透露，2024年，茅台内部曾对以上联名产品进行了一次覆盖所有链条业务领域的讨论，最后得出一个画像：这些尝试在年轻化战略上有一定推动作用，但对品牌不是加持，并不符合酒类公司的运营模式，“所以我们逐步软着陆退出。

5、“碳水脸”引争议，网友：令人不适的网络词！

AI基础设施展区里，OEX超节点是重点。

6、13点01分！北京国安正式官宣，2人驰援加盟，蒙哥马利喜迎帮手

但韩涵却选择了相反的路：电力、军工、通信，这些最复杂、最重、最慢的生产型行业。

与此同时，价格战和“0元购”等加剧行业内卷，导致行业平均净利润持续下滑。

比如，如何模拟一个孩子从小学三年级成长到五年级？模型既要体现知识变化，也要模拟心理、行为和社会关系。

7、LG新能源在美起诉亿纬锂能专利侵权，涉及五项电池专利

“今年明显的变化是，身边应届的学姐、学长进入腾讯、阿里等，年薪总包都达到了大几百万。

也就是说，元医院需要的并不是单一数据源，而是一套持续运行的真实世界医疗数据网络。

8、补钙会得肾结石？别慌，真相来了！

如果拼命想做却做不出去，就说明企业某些方面存在问题。

在原创性方面，也可以从其他学科引入新的证明工具，或对既有工具进行创新性综合。

改进后的Harness会提醒Agent在修改环境变量、安装工具或调整路径后，确认这些变化能跨命令持续可用。

相比于之前的Qwen-Image-1.0和2.0，这一代在“细节真实”、“内容丰实”和“知识厚实”三个方向上，进步是明显的。