该模型有望以极低的成本，完美媲美甚至超越美国最顶尖的AI系统。

1、leyuapp 短短90分钟内，它如同一个拥有异构思维的外星数学家，从零开始构造出了一个前所未有的数学结构。

金山办公说能保留287种Office格式元素——图文混排、复杂表格、多级列表都不会走形。leyuapp医疗则最典型，报告解读、辅助诊疗、患者追踪都价值千钧，可病历数据比黄金还敏感，必须留在院内，而模型一周一迭代、商业产品往往滞后一个月，医生和患者都等不起。

2、170个国家球迷响应！2300万人请愿将阿根廷踢出世界杯 存刷票嫌疑

第二层是Prompt压缩，第三层是上下文裁剪，各自再精准剔掉10%到20%的输入赘肉。

3、媒体人：山西男篮曾接触巴里·布朗但无法接受报价 最终选择威金顿

还有多少题目，卡住它们的其实只是人类的耐心？ 参考资料： https://annals.math.princeton.edu/1991/134-3/p03 https://www.erdosproblems.com/forum/thread/AI%20Contributions https://arcprize.org/results/openai-gpt-5-6-sol 编辑：元宇新智元报道 凌晨两点，城市睡着了，前置仓还醒着。

4、C财经

关键问题：能否在不牺牲任务成功率的前提下，通过后训练，让已有VLA策略自动学会「少走弯路」，用更少物理步骤完成任务？ 来自四川大学雷印杰教授领导的团队提出了PolicyTrim——一个面向「策略效率」的两阶段强化学习后训练框架。

5、美网入围名单公布：中国选手4人锁定参赛资格，郑钦文列递补第22位

孵化营依托祖泉研究院面向未来产业构建的成果转化机制与科创生态，聚焦AI+能源电力、AI+生物制药、AI+材料科学及AI4S科研智能体四大方向，遴选具有原创性、前沿性和产业潜力的「塔尖成果」。

模型可以根据成本、性能、安全等级和场景进行动态路由。

回到奥特曼那句预告。

6、详解休赛季马刺阵容名单，如何处理两头堵的福克斯是重中之重

这是极度反直觉的智力高空走钢丝。

但是，未来电动汽车全面取代燃油车，是不可逆的必然趋势。

7、CBA：胡明轩开启特训，焦泊乔二次申请离队，范子铭下家基本敲定，区俊炫加盟香港金牛

面壁是一家追求通用人工智能的大模型公司，并选了一条区别于云侧的路线：端侧。

打法可以照抄，但在教育这个盘子里，真正决定成败的并非模型谁更聪明，而是信任。

8、目标效率达28%，印美企业签约打造10GW钙钛矿-晶硅组件项目

这不仅费时费力，还会累计误差。

那条乌干达孤儿院的视频里，欢呼的女子、举棒棒糖的孩子、身后的横幅，全是AI凭空捏造。

面向开发者与企业，HMS已经完成SDK封装，可以直接交给基座模型厂商、Agent厂商和具身机器人厂商做集成测试。

9、又一奇幻剧即将来袭，全员都是实力派演员，熬夜追不过瘾

它甚至会信心满满地，把一个错的方案越做越「完整」。

就像牛和狗一样，真实地在这个地球上存在过。

10、拥抱Token经济浪潮，国产算力链正在拼效率、压成本

Qoder Security， 将安全原生于代码生成每一步 Qoder Security的发布，让Qoder成为国内首个交付「编码会话内三层安全护航 + 发现问题同会话修复」能力Agentic Coding产品。

说这话的，是Thomas Bloom。

1、前TVB女星嫁百亿富豪，婚后连生两胎，豪门度假生活曝光

旁边展示直接挑战了机器视觉领域公认的「老大难」——透明物体识别。

2、罕见的死刑:杨有林案有感！

这意味着康德意义上的「本体论」不再追问世界「本身是什么」，而是追问「世界对我们呈现为什么」。

3、她是全球唯一穿高定打比赛的运动员，凭一己之力改写穿搭规则

这场闹剧扯下当前AI行业的几块遮羞布，比如走火入魔的跑分文化，盲目崇拜指标的参数迷信，以及缺乏实质审查的现状。绝了！雄鹿官宣4年6400万签下，联盟马上宣布调查！那「回忆」本身呢？海马里的CA3区域是一张高度互联的回路，行为很像物理学家霍普菲尔德在1982年提出的联想记忆网络。

4、背靠背决战泰国泰港，浙江队能否继续零封对手

泰坦尼克号上那2224个人，不是历史人物，是跟你我一样，早上起床、吃饭、有计划、有牵挂的普通人。

5、家电界的4个“隐形刺客”，买时觉得便宜，用后才知太烧钱了！

否则，它就只是一张价签。

6、一个低价买家具的妙招：比大促还便宜，亲测省下大几千

认知主权解决的是企业如何形成判断、执行行动、评价结果和持续进化的控制权。

如今，随着这个能力铺进消费级产品，遇到棘手问题，只需打开手机就行了。

说到底，过去两年我们盯的是「AI会说错什么」，而这四个案例指向的是同一个新问题：AI拿到权限后，会做错什么。

7、曼联无缘M费原因揭秘！热刺8500万钞能力截胡，没欧战凭啥狂花钱

磐石2.0与ScienceOne真正的分量，未必落在某一项榜单的领先上—— 它更大的意义，是把「懂科学的模型」和「用得上的系统」拼成了一个整体，让AI第一次有机会，成为科学家身边真正的科研搭档。

彼时，整个赛道深陷VLA与世界模型的路线之争。

8、7月24日A股公告并购重组一览：紫建电子、金钟股份、杰克科技等

纳德拉的第二层判断 2026年7月12日，美国东部时间上午11:09，纳德拉又在 X 上发表了关于Reverse Information Paradox，反向信息悖论的论述。

一边是Gemini三连发，一边是Gemini 4开跑。

一个让无数顶尖数学家折戟，让华人天才数学家张益唐苦熬七年、被迫在赛百味洗盘子的超级数学难题——雅可比猜想，被Fable 5证伪！ 昨天傍晚，Anthropic的研究人员Levent Alpoge发布推文： 大家好，雅可比猜想是错的，感谢我的好友akhil问了这个问题，也感谢我的另一位好友Fable在世界杯决赛期间还在工作。

把视野放到全球，与逐际动力最值得对比的是三家公司：Figure（美国，全球最高估值人形公司）、Flexion（欧洲领先的具身模型公司）、Skild AI（美国，高估值具身基础模型公司）。