比如即将开幕的ICM2026的45分钟报告人，拉马努金奖、科尔数论奖和数学新视野奖得主唐云清；IAS冯·诺依曼研究员、玛丽亚姆·米尔扎哈尼新前沿奖得主张明嘉；本科期间发四大，曾获世界华人数学家联盟（ICCM）鲍剑文最佳论文奖的张盛桐；已发多篇数学四大的李泱…… 奥数的AlphaGO时刻 但今年的上海考场外，还站着一个没有参赛资格的选手——AI。

1、BOB足球 在一个人人都把数据当护城河的行业里，这本身就是一种姿态。

但真实业务是另一个量级，举个栗子： 读一周多平台热搜、筛出短视频行业条目、按平台取热度前五、再产出一份带章节和字数限制、按日期倒序、且不许编造数据的简报。BOB足球参考资料： https://x.com/Mr_Salio/status/207736089707741624811 https://x.com/emollick/status/2077849021150888408 https://www.bloomberg.com/news/articles/2026-07-16/google-gemini-launch-delayed-as-tech-falls-short-of-internal-goals 编辑： Aeneas新智元报道 全球迄今为止最大的开源AI模型，正式上线！ 昨夜，月之暗面（Moonshot AI）放出了其最新旗舰模型Kimi K3，目标直指超越Claude/ChatGPT。

2、2016款保时捷Boxster Spyder行驶2.5万英里，原厂欧洲交付，现于北卡罗来纳出售

所有爆料都指向同一个说法：性能可能不是第一，但价格会显著更低。

3、“始祖鸟炸山”余震未了：高管下课、双十一遇冷，中产信仰崩塌？

Claude Code生成的Artifact，能直接连上真实的工具和数据环境，读到活的数据。

4、Heath Cummings 2026梦幻橄榄球近端锋分层揭晓：Loveland凭什么占据第一梯队

这一层，负责生产标准化的Token（电力）。

5、米利西奇未辞职！媒体人：靠山已倒时间问题，和李铁性质类似

这恰恰是下半场的关键：谁能盘活用户数据，谁才能真正抓住用户。

」 这条视频，128万播放。

而问题的根子，恰好在评价体系。

6、仅行8000英里 2014款克尔维特敞篷原车主一手未改

Qoder Security，让信息安全从第一行代码开始。

不用它们，你是在花2倍的价钱买一个聊天机器人；用上它们，你买到的是一个自主干活的员工。

7、罗马诺：曼联现在将中场的引援重点缩小至2名球员

前几天，OpenAI大佬亲授，5分钟把GPT-5.6塞进Claude Code。

佟佳睿（Richard Jiarui Tong）博士最近发布了一篇评论，将纳德拉的两篇长文、Karp的CNBC 访谈，与他本人更早提出的企业认知系统和认知主权框架放在同一条思想演进线上。

8、世界杯不稀罕马宁，亚洲杯当个宝！球迷：他吹决赛阿根廷不敢造次

厂商省的每个token 用户都感觉得到 再回到Tibo口中的那场实验。

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

参考资料： https://www.kimi.com/blog/kimi-k3 https://x.com/testingcatalog/status/2077759985761554501 https://x.com/chetaslua/status/2077701096924229744 编辑：大卫新智元报道 2026年7月的上海，黄浦江畔热浪滚滚，但比天气更火热的，是在上海世博展览馆拉开帷幕的2026世界人工智能大会。

9、莱昂纳多去年在上港进球如麻！为何如今却陷入瓶颈期，原因找到了

与此同时，英伟达最新的高端卡今年很难大批进入国内，存量供给几乎没怎么增长。

一座工厂的厂房、机器、流水线、仓库和销售分别归五家公司管——别说极致优化，光开会就能把利润开没。

10、1973年保时捷911T换装3.2升六缸心脏，Signal Yellow车身搭配5速手动亮相拍卖

如果把长程导航比作沿着一条细线行走，传统方法更擅长在没有干扰时沿线向前；DA-Nav则进一步具备在偏离细线后主动靠回来的能力。

算得清、接得快、管得住——这是企业AI下半场的入场券，也正是「星火Token Factory」想替企业拿到的东西。

1、猛龙曾对8250万侧翼多尔特有意 但他已被交易至老鹰

「前沿AI标准机构」：一个框架 眼下AI的飞速进展，要求我们以一种全新的方式测试前沿AI模型的能力——这种方式必须动态、灵活且严格。

2、罗马诺：曼联确认对琼阿梅尼感兴趣，但将面临2个问题

加速技术验证与迭代落地，有效解决实验室分拣痛点，全面提升自动化效率。

3、英格兰U16球员酒店互殴视频疯传，英足总被迫声明：涉事球员身份已确认

积木是道具，能力是真的。男篮热身赛12人名单或出炉！赵继伟胡金秋扛大旗，郭士强重点考察2人邓乐言、张柏伦、刘澈交出的是42分——6道题，题题拿满，零瑕疵，没有一分扣掉。

4、四川省2026年普通高校对口招生/原“少数民族语言授课为主”录取控制分数线

不公开、防泄题，专门用来堵住「模型提前背过答案」的漏洞。

5、今日重要赛事！7月21日，CCTV5、CCTV5+直播节目表

WAM-TTT用最干净、最直接的像素流，实现了真正的零标注成本。

6、印度队长：“害怕失败就会打安全球，抛开恐惧才能发挥最佳”

在真实的移动操作任务中，传统机器人往往是单线程结构，左手、右手、底盘线性串联，如果一步卡住就会直接死机。

说到底，一个上线快四年的产品，到今天才让你「搜回自己说过的话」。

下一站，是物理世界 讲到这儿，都还是数字世界里的事。

7、15连胜戛然而止！红袜新秀首局崩盘吞4分，苦追无果1比5不敌金莺

这一结构使导航从「直接响应指令」，转向「持续状态判断驱动」。

关键在于：这一机制不绑定任何特定的目标文本，而是通过「标注哪些位置与目标相关」来实现注入，因而对各种生成式、与输入相关的目标都同样适用。

8、现代车队高层承认：我们还没定，诺伊维尔和福尔莫的未来悬了

当每一家企业——无论是一间办公室，还是一座数据中心——都能拥有一座属于自己的Token Factory时，AI才算真正从试验台，走进了生产线。

拆开看就是三步：采、标、用。

新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。

Flexion 比较特殊——它提出的 Command / Motion / Control 三层自主栈，架构范式与 COSA 的 S2 / S1 / S0 高度趋同。