一个奥赛金牌选手，博士期间没去追大模型，一头扎进了「怎么让机器帮人搜出新算法」。

1、星空官方 菲尔兹奖得主Tim Gowers评论说：这是「AI数学领域的一座里程碑」。

第三，行业协会要坚决抵制恶性竞争，守护行业共同利益。星空官方从服务全国防汛抗洪的千余套设备，到覆盖1亿路摄像头的视频资源基座，智传网（AI Flow）面对的既有断网、窄带、水下等极端环境，也有城市级视频网络带来的规模化传输与存储压力。

2、意媒丨阵容拥挤，米兰需要出售13人

cuNRTO 将这些不确定性建模并纳入鲁棒优化，让机器人在规划阶段提前考虑最坏情况。

3、李子再次被关注，医生发现：糖尿病人吃李子，不用多久或有5变化

它用一枚IMO满分金牌，让行业第一次看清了自己的技术成色—— 基础模型领域，出现了一个值得关注的新玩家。

4、烟台高新区： 深入实施医疗提质医保惠民 全方位守护人民群众身心健康

《蓝皮书》披露的实测结果显示，因果世界模型可将溢流、气侵等危险工况的预警窗口提前约15至20分钟，复杂工况根因定位准确率约94%，同时过滤40%以上由传感器漂移和常规工况波动引起的无效误报。

5、火箭队次轮签捡漏！1米88新后卫能防中锋？模板范乔丹+布伦森，身高不是问题

闫博文表示，拓元可以帮助模型实现更低训练成本，更高上下文理解能力，更强复杂推理能力 △是石科技国产Token优化工厂“拓元”Vectron产品亮点 从技术到产品的关键一跃 是石科技成立于2021年，创始团队源自清华大学计算机系，具备国家级计算中心工程化经验。

能力成熟是一方面，另一方面是正被满足的，快速下降的成本曲线—— 在目前世界实时交互模型赛场中，XmaxAI的能力在这个垂直赛道中遥遥领先，但价格仅为海外同类模型头部Decart的十分之一，甚至能力和效果还要更好。

此外，金山办公推出了面向个人的灵犀专业版和面向组织的WPS Comate，阶跃星辰则将智能体原生操作系统引入了手机与汽车场景。

6、2026年中国足球职业联赛联合会科技服务项目咨询服务采购-竞争性谈判

梁文锋认为必须有持续学习能力，才能叫下一代模型。

于是过去很长一段时间，开发者们的动作是这样的：在社交媒体上发一篇帖子介绍作品，在评论区甩一个页面链接，然后眼睁睁看着用户在跳转的路上一步一步流失。

7、他突然又变甜？你越“不急着回”，他越对你上瘾

但可以参考大语言模型的锚点：LLM可以吃掉整个互联网现成的语料，机器人需要的数据却只能一条一条采。

「没关系，我是最强的。

8、突发！AR明星公司Magic Leap，终于认输了

” 在这个AI总能给出答案的时代，“我不知道。

我们的核心目标始终是打磨基础模型和上层开发工具。

两套算法得出的结果基本一致。

9、菲尔兹奖得主邓煜：AI能帮做数学，但独立思考不可替代

代码层面则设置L1到L4四级防御，从正则校验、语义Diff，一路延伸到跨文件分析和CI/CD拦截，并配合数据本地存储、高危操作拦截与加密连接。

一般企业调整都是通过降本而增效，胖东来则是通过增效而降本——先提高员工收入（势必增加人事成本），但随着员工能力提升——顾客满意度提高——销售表现提升，相对人事成本就会下降；商品的调改逻辑也是同样，先提质、再降本——由此循环往复，就像《优秀到卓越》中说的那样：没有一劳永逸，也绝对不存在侥幸的突变和从天而降的奇迹，只是一个行动接着一个行动，酷似将一个沉重的巨型飞轮朝一个方向推动，一圈又一圈，它们的总和才会产生持续而又壮观的效果。

10、腊八节

规划类世界模型则处于更上层。

前者考验精度，后者考验柔顺。

1、U19国足0比3完败！门将发挥失常，苗润东依然全场隐身

在flight 2之前为飞行器写过控制软件，首飞（flight 1）时是stage（级）软件操作员。

2、守护透析“生命线”！肾友透析导管居家维护攻略快收好

问题只有一个：在满足条件的前提下，A里最大的那个数，能压到多小？ 说白了就是，这k个数最紧凑能挤到什么程度。

3、带队训练四次的穆里尼奥，首次遭皇马球迷质疑，新门将教练缺点多

发布仪式环节，欧洲科学院院士、联合实验室技术指导张翼成登台解读——作为2021年诺贝尔物理学奖得主帕里西的首位博士生、KPZ方程提出者之一，他的阐释为这项探索提供了权威注脚。好养眼啊！大家快收下这份春日片单我们注意到，本周，新加坡公司Acrab举行了一场线上发布会，并发布了Agent Box，这也许给出了一个可供拆解的样本。

4、阿根廷总统赞扬球员：即使面对不公正判罚，球员们态度克制

庄俊建议他们暂停，“你内容基础都没有，一上来就找大KOL，不应该”。

5、世界杯冠军中场罗德里心向皇马，曼城高薪续约挽留，未来待定！

1998年亚洲金融危机之中，他加入新桥投资集团（现称TPG亚洲）任执行合伙人。

6、场均4.4助攻+1.6失误！火箭新控卫真稳，重传球轻得分，适配乌度卡体系

第一道墙 80年数学猜想，被AI推翻了 先说最硬核的这一件。

7月13日，26名Meta现任和前任员工在加州北区联邦法院提起诉讼，指控Meta使用一整套AI系统筛选裁员名单，而这套系统，对正在休受法律保护假期的员工产生了系统性歧视。

机器人demo依然热闹，但距离真正完成物理世界的复杂任务，仍有肉眼可见的鸿沟壁垒…… 今年国内具身智能赛道融资约438亿元，其中超过一半——约241亿元——涌入了“具身大脑”方向的创业公司（据量子位统计）。

7、马龙夺冠却“高兴不起来”？更希望后辈发力，中国乒乓需有人接班

《小天章》是章泽天的个人播客，JustPod承担了幕后制作者的角色。

值得一提的是，科创三期基金还是国家创投引导基金首批签约的四只基金之一。

8、国足劲敌归化前泰山金靴！曾有机会进中国队，因与教练不合离队

公司已累计完成四轮融资，总额超4亿元，鼎晖VGC三轮加注。

核心目标非常明确：实现智能资源规模最大化。

各家技术路线也各有侧重。

百余名听众自愿报名而来，因为粉笔科技是国内最大的在线培训机构之一，现场的听众是粉笔最核心的用户画像。