顺带提一句，deepseek-chat和deepseek-reasoner两个老模型名，7月24日正式下线。

1、leyuapp 数学史上那些标着「悬而未决」的条目，一部分记录的是问题本身的难度，另一部分记录的只是人类耐心的边界。

但「能用」之后暴露的问题，远比「不能用」时更棘手。leyuapp顺着新价值链，企业真正要算的是三本账。

2、CBA最新消息！阿不都沙拉木或离开新疆，刘晓宇重返北控男篮

原因就在于，这些场景背后是同一件事：解决长程任务，跑通智能体的Loop（闭环）。

3、海报丨平稳增长！数读上半年全省经济运行情况

不过这里有一条边界：跨内容搜索只覆盖「上传进ChatGPT、或在Project和Work里生成」的内容。

4、惜败浙江并非坏事！邱彪敢担责，山东高速该醒醒了

结果，在NVIDIA Jetson Thor平台BF16精度下，Kairos 3.1的8B模型推理延迟只有125毫秒。

5、燧原科技在WAIC展出高性能超节点，六大优势提升部署效率

在这一双向融合中，「AI友好的本体框架」成为一个关键的工程命题。

Scaling Law遭遇能力边界 图2：不同模型在AtomWorld上的总体表现。

6台机器人、两种完全不同的本体形态，要在同一个物理空间里各干各的、又不能撞在一起。

6、中东嬗变·核能

标准化测试里的题目，模型多半在训练数据里见过千百遍；真正见功夫的，是那些它从没遇到、也无处抄答案的新问题。

我们亲眼目睹了旧神的黄昏，也正在见证新物种的破晓。

7、“女排之父”袁伟民现状：头发全白，定居北京，曾是体育局长

1991年，《数学年刊》（Annals of Mathematics）上登出过一篇44页的论文。

它拥有顶级的研究实验室Google DeepMind、云部门Google Cloud、安卓团队，甚至在内部成立了多个小组来攻坚AI编码。

8、WAIC现场直击：端侧算力竞赛爆发，聆思手握下一代AI终端落地关键筹码

经过同行排查，张益唐证明中所使用的那条关键引理被证明是错误的。

在开放环境中，任意一个通用任务，都需要机器人同时调配多个能力进行编排和协同，最后落地执行。

证据：把架构文档和依赖清单附上，别让它瞎猜。

9、上市前夜

挂在外面的Google Drive这类已连接应用，暂时搜不到，官方也没给扩展的时间表。

随着投稿量激增，审稿人的主观打分标准越来越不统一，评审随机性、不公平性逐年加剧。

10、北控完成重磅签约！单场37+19超级外援加盟，季后赛格局恐被打乱

AI每写出一段代码，一落地就会被扫描。

第一，Qoder Security做的事很简单——在编码阶段帮你早发现、早修复，把那些明显的坑提前填上。

1、2024年广州国际女子网球公开赛将于10月20日至27日在南沙举行

作为连续三届大赛组委会的核心成员，生物结构预测赛道评委、上智院生命科学方向AI科学家郭昕表示：「大模型的快速发展虽降低了科研入门门槛，但想要突破领域固有技术瓶颈，仍需融合AI技术能力与行业专业知识，实现底层模型结构的原生创新。

2、伯恩茅斯官方：库尔特出任球队助理教练

接下来，让U1 Pro和GPT Image 2进行一场「硬碰硬」的实战。

3、纯粹炽热的爱，足抵世间纷杂_网易订阅

第一个是零部件。弟弟哭着借88万，儿子问：国外很美？舅妈要旅游，我愣住了这一结构使导航从「直接响应指令」，转向「持续状态判断驱动」。

4、先失一盘何所惧，连扳两盘逆转，托米奇时隔八年再夺挑战赛冠军

点了拒绝也不要紧，刷新页面还会再问。

5、1950年，王震拒绝和苏联领事签不平等条约，毛主席：你酒醉了吧？

从专业程序员，跨界到产品、设计，甚至覆盖了每一个只要有想法的普通人。

6、郭焱:袁励岑王艺迪3-2淘汰王楚钦孙颖莎真打疯了 打出了超一流水准!

」 按他的说法，Anthropic正在为Opus 5的发布做最后冲刺。

KAI Embodied AI Infra平台把全链路拉入自动化，数据生产提速10倍，模型评测加速7倍。

数据处理上还有个巧思。

7、世界杯诸神落幕，他的翘臀还在上扬

用一把AI能轻松通关的尺子，去衡量下一代人的能力，量出来的数字还剩多少意义？ 这才是奥特曼真正焦虑的地方：学生用不用AI不是最要紧的，会不会验证AI，才要紧。

https://x.com/markgurman/status/2038701276699967554 那次短暂上线的实测结果可以用两个词概括：快，但糙。

8、CBA新赛季三外援，广东队提前续约双小外，朱芳雨积极寻找大外援

3.5 Flash-Lite，击败了老大哥 第二款Gemini 3.5 Flash-Lite，走的是另一条路：主打一个快，还要够便宜。

世界上没有人能确定接下来会发生什么，连专家们也各执一词。

把国外的开源引擎强行迁移到国产显卡上，不仅适配困难，算力利用率更是极低。

② 从理论上证明：DLM 的后门训练可以等价地通过构造诱导前向掩码分布（Induced Forward Masking Distribution）来实现，从而揭示出区别于AR（Auto-Regressive）语言模型的全新威胁面。