去年，OpenAI的o3和谷歌DeepMind的AlphaProof、AlphaGeometry 2，都在IMO题目上达到了金牌线水平。

1、高比体育 但它在科学认识论上的颠覆性，已然掀起滔天巨浪。

整个过程，提示词只有约180个单词，大约消耗了40万token，费用约为5美元（Claude估算）。高比体育论文标题是《单位圆上零点多项式的模：埃尔德什的一个问题》，攻克的是埃尔德什问题库（Erdős Problems）里编号119的那道题。

2、第二次中国德比！李月汝赢了数据，韩旭赢得比赛

平台将资产沉淀机制深度融入「假设-仿真-实验-回流」全科研链路。

3、牛虎相争，必有一伤！于根伟带上了大腰子！米兰最怕进入消耗战

那里面可能有SSH密钥、密码管理器、浏览器数据……你数字生活的全部家当。

4、DO：萨默维尔已经和利雅得新月签下为期四年的合同

要用上这个功能，Claude Code得升到v2.1.209及以上，Pro、Max、Team、Enterprise都支持。

5、恭喜文班亚马！恭喜马刺！快船拒绝1.26亿续约，小卡或重回老东家

horizon reward只在组内出现成功轨迹时激活，避免模型在失败情况下盲目追求更长的chunk长度。

Meta和亚马逊的打榜之所以荒诞，就在于它们拼的是Token的「产量」，却漏算了「消费质量」。

几十年后再回望此刻，我想我们会意识到：我们当时正站在奇点的山脚下，说这是人类新纪元的破晓，毫不为过。

6、邱彪那句"可以接受一切"，是一个中年男人把后路铺到了悬崖边

他们学的技能，可能一出校门就被AI接管；他们没练的判断力，可能一辈子都难补回来。

人没被裁，反而晋升连连，因为他现在管的客户数量是以前的好几倍。

7、A股:紧急提醒2.5亿股民!从今天7月24日起,A股或迎更大级别调整?

此前意外泄漏的测试版苹果 AI 不尽如人意 今年 3 月 31 日，翌日即苹果成立 50 周年之际，国行 iPhone 的设置页面里出现了「Apple 智能与 Siri」入口。

这一转换基于一个简洁的观察：大型语言模型本质上是信息处理器，其输入和输出均为文本，而文本的意义——即我们真正需要解释的东西——并不存在于神经元的激活值中，而存在于这些符号与世界、与知识、与人类实践之间的关系之中。

8、热火追求字母哥后还想抢8200万冠军侧翼，却被老鹰半路截胡

面对新环境，传统的监督型微调（SFT）或上下文学习（ICL）方法，本质上是在强行修改机器人的「大脑」参数。

跨项目、跨团队可快速检索复现、二次调用，大幅减少重复试错的无效工作； 同时，涵盖成功与失败的全量真实实验数据，可持续反哺大模型迭代优化，稳步提升 AI 的科研判断力与推演精准度，让模型能够依托真实试错数据总结规律、探索未知。

Claude Code在开发者里一战封神，紧接着的Cowork把智能体从程序员推向普通知识工作者，在「AI办公」这块抢下先手。

9、今年CBA状元，没人想当的尴尬

接下来，向木屋前方一空地走去，长按左键「啵」一声，草方块碎了。

好在，国内「内卷」的供应链，既是挑战，也是助推器。

10、36氪首发

通过将Arm计算平台与CIX（此芯科技）的创新能力相结合，我们共同助力开发者和生态伙伴开拓更多创新空间，以更强大的AI能力，大范围地推动应用场景的落地。

官方给这款产品的定调也很清楚：Claude for Teachers是给老师的工具，不替代老师，更不直接喂给学生。

1、马刺108-123再输雷霆，1-2！这一战诞生7个现实：总冠军悬念不大

而眼下，无论作为一个领域，还是作为更广泛的社会，我们都没有做到这一点。

2、记者：库明加团队不想詹姆斯回骑士，因其有本机会去骑士站稳脚跟

这套终极公式拆开就四样：结果、约束、证据、验收。

3、靠鸡苗打了场翻身仗，益生股份半年净利暴增近49倍

PixVerse提供了多模态视频与实时互动技术，不同于传统游戏工业管线的限制，小团队也可以上手。央行将7月末前后开展4次隔夜逆回购 对冲月底资金波动迁完之后，同样的编译只要2秒，二进制启动快了6倍，还顺手退役了一整条部署流水线。

4、游青山 逛古村 品特产 享清凉 阳曲县举办暑期旅游线路推介会

每一次试错、每一组数据、每一轮推演，都不再是单一科研的成本消耗，而是支撑后续创新、驱动 AI 科研能力进化的核心资产，有效帮助科研工作实现复利式增长。

5、结营

换句话说：谁的卡好用就插谁的，什么模型合适就跑什么模型。

6、刘丁硕:孙颖莎没打乒超大连站在北京训练休息 雄安站才会去打的

一个「让AI自己检查自己」的动作，抵得上换一代模型。

中国市场 iPhone 销量连续承压，库克此前在财报电话会上承认，Apple 智能的缺席是竞争力下滑的原因之一。

从理论到实践： 本体工程与大语言模型的融合 本体论提供的是关于「可理解的结构应当是什么样」的规范性回答，但这一回答本身并不自动转化为可运行的技术系统。

7、女排世联赛变天，8强出4席，中国在列，国际排联点名夸奖中国一人

对面发球带旋转，机器人侧身迎球，击球过网。

「模型路由」要做的，就是让每个任务都匹配到「刚刚好」的模型—— 简单任务走性价比，复杂任务上高性能，在效果和成本之间找到最优解。

8、CBA大交易：广厦锋线大将加盟山西队，山东高速补强计划曝光

在「多会话聚合」上，HMS以87.2%领先Hindsight的81.2%。

第三步，Token量跑起来了。

从一座工厂到一张网 Token工厂跑通了，但一家公司的端到端再强，也撑不起整个国产AI基础设施的生态。

不要只给我一个局部结果，只有当找到完全肯定的证明并通过审核时，才能停止。