JACOB TSIMERMAN因以下贡献荣获2026年菲尔兹奖：将o-极小性重塑为算术与复代数几何中的基本方法，并在包括Griffiths关于周期映射像的代数性猜想以及Siegel模簇的André-Oort猜想在内的诸多核心猜想的证明中发挥了关键作用。

1、火狐官网 真机数据自然是所有人求知若渴的，但无法Scaling。

4月，梁其伟（《影之刃零》制作人）发了长文，他自证的那些‘真实’——真人演员3D扫描脸模、铸剑师实际铸造武器来感受重量、二十多个功夫演员动作捕捉、国画系研究生用毛笔宣纸画地图，其实是在提醒行业：当AI把效率变成唯一标准时，‘笨拙’就成了一种奢侈品。火狐官网前台是一个轻量低延迟的语音模型，负责实时对话、轮次管理、打断响应，所有需要毫秒级反应的事。

2、上海劳力士大师赛7月30日开票，“超级挚友”费德勒将亮相

伴随着AGI进入下一程，“科学智能不应只是人工智能的一个应用分支，而是检验智能能否理解复杂世界、提出可验证假设并在反馈中持续进化的终极试炼。

3、CBA记者：朱芳雨已完成交接工作，与广东队说再见

实际上，虽然loop这玩意儿刚在工业界火起来，但学术界其实早就有了类似理念。

4、9中8轻松拿下19分！快船新科次轮秀不愧是NCAA顶级得分手？

而且，他也有这样推测的理由。

5、1979年，任仲夷为张志新平反，华国锋却不表态，任：按省委决定办

来源：视觉中国 事实上，即便超市下定决心改革，供应商的工作也不容易做。

前述研发负责人对《中国企业家》强调，行业竞争正从拼算力转向拼数据工程：“现在大模型公司做得比较好的几家，都是代码层面做了更多踏踏实实的工作，本质还是投入问题。

它需要理解空间变化，需要处理视觉误差，需要感知力反馈，还需要面对现实世界里的各种意外。

6、15日日本公开赛大冷门，国羽主力不敌日本选手，男单损失惨重

其中Qwen3.5-35B-A3B总提升达到104%，MiniMax M2.5和GLM-5分别提升28%和24%。

今年，RSS共收到708篇投稿，最终录用210篇，接收率仅29.7%。

7、再见NBA！24岁进攻天才！连底薪合同都没了

主持人在宣布获奖名单时，一度误将最终获得最佳论文奖的FlashSAC，同时宣布为最佳学生论文。

围绕这一判断，今年1月，LimX COSA的概念首次被提出，并展示了高阶认知与全身运控进行深度融合，使机器人“能想、能动、边思考边干活”。

8、“展现了推动人工智能普惠向善发展的大国担当”

产业伙伴之外，商汤还把科研机构拉进了这套体系里。

但医疗数据并不容易被AI直接理解。

上层模型可以负责读取菜谱、参考视频、调用语言模型生成操作步骤，也可以理解厨房空间布局、厨具位置，甚至连接电商或本地生活平台完成食材下单。

9、丰配友破中国纪录，路颖管油胜PB，中国马拉松迈入205时代

场面看起来并不酷炫，但演示的却是机器人最重要、最实用的能力——落地干活。

Figure最强对手，不在硅谷 人形机器人的全球竞争风向变了。

10、日媒：美因茨已报价京都不死鸟19岁中场尹星俊

第二招：法向过滤，专治背面漏光。

以北大团队研发、对标OpenAI Triton的编译器TileLang，沐曦从2024年下半年就投入共建。

1、连续逼平世界杯冠军！53万小国搅乱H组出线形势，对阵梅西不是梦

CUDA早已不只是一套编程接口。

2、曝尽管对其未来传闻不断 但海佐尼亚下一站仍将加盟NBA球队

此外，他们还测试了更多前沿的模型，包括GPT-5.5、Claude Sonnet 4.6以及Gemini 3.5 Flash。

3、京城体育超级周末，热爱从不缺席！

倒一杯水，它就得知道壶有多重、水会怎么流、洒了怎么办。WAIC对话星环科技CEO：把数据库“户口”迁到GPU上，AI Agent不再干等在这场发布会里，这家AI Infra公司把Prefill、统一内存、CPU-NPU异构协同和Agent编排同时摆上了台面。

4、四外卡选手曾在温布尔顿闯进四强，郑洁书写中国金花荣耀

记不清拨出了多少通电话、发送了多少封邮件。

5、一只羊的“奥德赛时间”

Scale更擅长把数据生产变成一套成熟的运营和处理系统，从而在人类演示从几百条变成几万小时后，把大规模、异构的原始采集结果，转化为稳定可用的数据产品。

6、3天超300万报名！京东健康减重大赛出圈，APP登顶应用商店榜首

在软件侧，后摩自主研发了大道软件栈，可兼容主流深度学习框架并内置优化算子，客户无需手动调参和量化校准，即可完成大模型部署，大幅压缩产品适配及开发周期。

对客户而言，换芯片从来不只是换一块硬件。

一个是信任，一个是生态。

7、NBA休赛期一夜6大消息：老詹表态、1人签约、1人被调查、一队官宣

对比多残酷？ TML：20亿美元融资、100人团队、英伟达千兆瓦级算力合作——Inkling能力仍落后于GLM-5.2。

智能模型网关：面向 Agent 时代的智能 Token 调度 当前许多 AI 应用开发者存在一个真实痛点，比较依赖一个“全能型”大模型。

8、唯一进球定胜负！阿里亚斯建功，哥伦比亚1-0拿下16强最后一席！

展区那句「每个Token背后，都是一次开源协作」，也有了全新注解—— 现在连AI自己产出的Token，也在参与这场开源协作了。

你跟它语音聊天，它能听懂，但稍微复杂一点的问题就容易翻车。

提问：“有哪些像’安非他命，如是我闻’这样的无情对？” 他爱读诗，用杜甫的诗自拟，“或看翡翠兰苕上，未掣鲸鱼碧海中”。

新智元报道 过去45天，Anthropic几乎没停过手。