陶哲轩十二年前的远见，如今被AI完美印证
事实证明，菲尔兹奖得主有时候也兼职预言家。十二年前，陶哲轩在首届数学突破奖的舞台上抛出了一句预言，被视作天方夜谭：将来有一天，我们或许不再用LaTeX撰写论文，而是使用计算机能理解的形式化语言。那一年，Transformer还没诞生，ChatGPT更是连影子都没有。没想到，回旋镖正中靶心。过去这一年，AI在数学领域突然开始疯狂提速。从OpenAI解决开放问题，到DeepMind批量攻克数学猜想，越来越多数学证明被写进形式化系统，交给计算机自动验证。回望来路，最早看清风向、亲自下场实践的人，就是陶哲轩。十年
聚合AI GEO外贸版：EEAT认证引领出海品牌信任革命
近期，苏州聚合增长信息科技有限公司成功取得EEAT可信服务体系的权威认证，跻身国内AI搜索优化领域首批获此国际标准认证的企业行列。作为聚合AI的核心产品，GEO外贸版将EEAT理念深度应用于出海营销，以“精准投喂+交叉验证”为核心逻辑，重塑海外品牌信任体系，打破传统营销漏斗的低效瓶颈，助中国外贸企业把握AI搜索机遇，达成“搜完即成交”的商业闭环。核心逻辑：EEAT认证标准深度融入“读懂—认可—信任—成交”四层架构聚合GEO外贸版严格遵循EEAT可信服务标准，搭建“读懂—认可—信任—成交”的完整技术架构，各
IEA预警明年原油供应过剩，国际油价应声下挫
核心要点 据相关报道，美国总统唐纳德・特朗普已与伊朗总统马苏德・佩泽希基扬就中东停战达成协议，叠加国际能源署发出明年石油供应将严重过剩的预警，国际油价在周四显著回落。 作为国际基准的 8 月份布伦特原油期货价格下挫 1.86%，收于每桶 78.07 美元；7 月份交割的美国西德克萨斯轻质原油（WTI）期货价格下滑 2.24%，报每桶 75.07 美元。 路透社披露，当前局势仍存在不确定性。特朗普在记者会上明确表示，一旦伊朗违背协议条款，美国将不排除重新启动对伊朗军事打击的可能。 据报道，特朗普在新闻发布会
端午假期油价大降，加满一箱油省下20块
记者丨费心懿 编辑丨曹恩惠 张伟贤 按照国内成品油定价机制，汽柴油最高零售价以国际原油价格为基准，每10个交易日调整一次。 今晚24时，成品油零售价格迎来下调。 据国家发改委网站6月18日消息，汽柴油零售限价每吨分别下调515元、495元，折算成升价计算：89#汽油降0.38元，92#汽油降0.40元，95#汽油降0.43元，0#柴油降0.42元。 此次降价意味着端午节期间，民众自驾出行费用将减少，同时工业和物流运输成本也会随之降低。 具体来看，私家车加满一箱50升的油能省下20元。若按月跑2000公里、
聚合AI GEO 3.0正式发布：EEAT认证保障+服务体系革新，构建AI搜索时代智能化获客全链条
—— 国内首家获得 EEAT 可信服务认证的 AI 搜索营销品牌，3.0 版本服务流程实现全面迭代升级2026年6月12日聚合 AI GEO 作为国内首家通过 EEAT 可信服务认证的 AI 搜索营销领先品牌，3.0 版本对运营服务流程进行全面升级，构建了涵盖品牌知识库建设、关键词包提炼、EEAT 标准可信内容产出、近万个信源媒体分发、三大监测工具可视化呈现、咨询转化承接的全链路闭环体系，是真正契合 AI 大模型时代需求的企业级智能化获客解决方案。核心底层：RAG 向量化构建互联知识网络3.0 版本核心升
AI前沿速递
Anthropic似乎已搁置了引发开发者强烈不满的定价调整方案。多位开发者透露，他们收到了内部邮件通知，原计划本周启动的Agent SDK和"claude -p"计费模式调整——将二者从订阅限制迁移至独立月度额度——已被无限期暂停。Anthropic官方尚未正式确认这一转变，也未透露后续安排。这是一款能在编码代理浪费Token之前，精准推送所需上下文的工具。Archex可将代码仓库转换为带预算标记的排序符号和依赖项包，完全本地运行、无需API密钥，并能作为技能无缝集成到Claude Code中。它提供的是
多位球星晒新款 Beats 耳机：撞色设计或为 Studio Pro 继任者
IT 之家 6 月 14 日讯，外媒 MacRumors 披露，近期数位在世界杯赛场亮相的球员“接连被目击佩戴未发售的 Beats 头戴式耳机”，此举可视为 Beats 精心策划的“名人带货”营销手段。 此次最新流出的画面主角是美国男足国脚 Antonee Robinson。Robinson 在个人 Instagram 晒出的照片中，展示了一款采用撞色配色的新款 Beats 耳机，其头梁为白色而耳罩机身呈皇家蓝，整体视觉辨识度极高。相比之下，此前另一位球员 Lamine Yamal 被拍到时佩戴的版本则是
龚体官宣：星闪协议栈将于 7 月 15 日全面开源
IT 之家 6 月 12 日讯，在刚刚举行的华为开发者大会 2026 期间，华为终端 BG 软件部总裁龚体正式披露，星闪协议栈将实行全量开源。 定于 2026 年 7 月 15 日，星闪项目将公开高达 15 万行的协议栈源代码以及成熟的标准库资源。 IT 之家补充：星闪的官方英文名称为 NearLink，这是一种专为短距离数据传递打造的新型无线通信方案。该技术直指蓝牙与 Wi-Fi 等传统标准，通过融合多项 5G 核心科技进行了深度革新，从而在传输速率、低时延、覆盖范围、安全等级及可靠性方面实现了全方位跃
Eastern Bankshares 入列标普小盘 600
Eastern Bankshares, Inc. 公布，其将正式纳入标普小盘 600 指数，该调整定于 2026 年 6 月 22 日股市开盘前生效。标普小盘 600 指数被公认为美国小盘股市场的核心基准之一。 指数纳入彰显业务硬实力 Eastern Bankshares 作为 Eastern Bank 的母公司，其行政总裁 Denis Sheahan 指出，此次入选标普小盘 600 指数不仅印证了公司的业务根基，也体现了其致力于为股东及客户创造长期价值的决心。他强调，这一举措将增强 Eastern 在机
AI on the Lot峰会：Dreamina与创作者共探AI时代新创作
{ AI on the Lot }五月份刚过去，Dreamina AI 有幸参与了 AI on the Lot 盛会。在此，我们与众多新老伙伴重逢，共同探讨了 AI 影像创作的现状，以及创作模式正在经历的变革。作为全球规模最大的 AI 电影媒体行业峰会，AI on the Lot 今年迎来了第四届。本届活动中，Dreamina 呈现了多种形式的互动：包括针对内测产品 Octo 的专题研讨、与专业导演的面对面交流，以及专为现场观众准备的聚会和工作坊。这些交流不仅聚焦前沿技术，更深入探讨创意本质：构思如何转化
中智领航，AI 启航|深耕 AI+ 人力，筑造产业高地，徐汇中城SEA社区招募启动
徐汇中城SEA社区由中智运营，联合多方部门赋能，是专注于人工智能与人力资源融合领域的创业孵化平台，位于中智大厦。作为唯一一家以人力资源服务为核心主业的央企，中智不仅为入驻团队提供高品质的社区空间，更凭借在人力资源服务领域的深厚积累与权威资质，提供涵盖人才招聘、组织管理至用工合规的专业化、系统化支撑，助力创业者轻装上阵。SEA社区是政企协同、多方共建的重要成果，旨在为AI+人力资源领域的创新发展探索可行路径。现诚邀AI+人力资源及相关人工智能赛道的创业者加入，在徐汇中城，共创未来。政策支持社区依托「一区一港
中国首创RNA编辑技术首用于罕见病临床
6月10日，昌平实验室与北京大学魏文胜教授团队宣布，其研发的RNA编辑技术LEAPER在杜氏肌营养不良症（简称“DMD”）这一严重遗传性罕见病治疗上取得国际领先突破。这是我国自主研发的RNA编辑技术首次迈入临床研究阶段，也是全球首次将RNA编辑技术应用于DMD治疗。相关技术与应用成果于同日在国际权威期刊《细胞》上同步发表。 据悉，DMD由基因突变引发，临床表现为进行性肌肉萎缩及运动功能衰退。患者多幼年发病，逐步丧失行走能力，多数因呼吸或心脏衰竭而早逝。我国DMD患者规模居全球前列，现有疗法仅能有限延缓病情
Clearwater Analytics 发布统一因子风险平台，融合组合管理与监控
Clearwater Analytics 近期面向对冲基金及资管机构推出了全新的因子风险工具，助力投资团队在透彻掌握组合风险的基础上，实现更高效的决策响应。 对众多企业来说，因子风险常与投资流程相互割裂。基金经理往往需耗时数小时乃至隔日方能知晓单笔交易的风险效应，而首席投资官与风控团队则不得不依靠独立系统、服务工单及静态报表来应对基础的风险问询。 Clearwater 最新发布的两款产品直指上述痛点：专为基金经理和交易员打造的 Factor Risk Lens，以及面向首席投资官和风控主管的 Factor
AI Case 8 · 大模型如何借助搜索工具获取实时信息
21天AI案例实践 · 第8期 | 关键词：Function Calling · Tool定义 · Agent搜索 · ReAct范式大模型虽然知识储备丰富，但它的训练数据存在时效限制。面对"今天发生了什么"、"最新股价多少"这类问题，它只能无奈表示"我的知识截止到XXXX年"。今天我们就来解决这个痛点——教AI学会上网搜索。回想一下你遇到未知问题时的处理流程：打开搜索引擎 → 输入关键词 → 查看结果 → 提炼答案。Function Calling 就是让
OceanBase AI 数据基座重塑智能化转型
随着生成式 AI（GenAI）时代的到来，企业普遍遭遇数据孤岛、模型对齐不准等难题，传统架构已无法满足智能化升级的需求。OceanBase 提出了全新的 DB - LLM - Ops 模式，构建一体化的智能数据基石，彻底革新企业数据基础设施。该基座打破了传统框架的束缚：• 实现多源数据融合治理，统一存储并原生处理各类数据类型；• 支持灵活的向量处理与混合搜索，将向量检索原子化嵌入系统内核；• 结合实时与批处理任务，通过物理隔离不同负载防止资源冲突；• 具备多云环境原生存活能力，显著增强扩展性和安全性。Oc