AI一周要闻：谷歌搜索框25年来首次改版，微软发布新型记忆表征模型

本周，人工智能领域迎来多项重磅进展：从谷歌搜索界面的历史性改版，到微软在记忆表征研究上的突破，再到能源行业AI应用的深化，以及开源模型在数学推理上的新高度。以下为详细报道。

谷歌搜索框25年来首次改版：界面革新背后的战略意图

谷歌于本周对其标志性的搜索框进行了25年来的首次重大重新设计。这一改动看似细微，实则标志着搜索体验从“输入-输出”向“对话式交互”的深层转型。新设计更强调多模态输入（如语音、图片）的整合，并优化了移动端与桌面端的一致性。分析认为，此举旨在应对Bing、Perplexity等竞品在AI搜索领域的挑战，巩固谷歌在信息检索领域的统治地位。

原文链接：https://venturebeat.com/technology/google-just-redesigned-the-search-box-for-the-first-time-in-25-years-heres-why-it-matters-more-than-you-think

微软发布Memora：一种平衡抽象与具体性的和谐记忆表征

微软研究院推出了一种名为Memora的新型记忆表征模型。该模型旨在解决AI在长期任务中对信息的“抽象概括”与“具体细节”之间的平衡难题。Memora通过一种谐波（harmonic）机制，让模型既能保留关键事实的精确性，又能进行高层级的模式总结。这项研究对于提升AI代理在复杂、多步骤任务中的持续学习能力具有重要意义。

原文链接：https://www.microsoft.com/en-us/research/blog/memora-a-harmonic-memory-representation-balancing-abstraction-and-specificity/

能源巨头深度拥抱AI：从聊天机器人到工业涡轮机控制

《MIT科技评论》刊发专题文章，探讨AI在重工业领域的落地实践。文章以澳大利亚伍德赛德能源公司（Woodside Energy）为例，指出AI正从消费者端的聊天机器人，转向控制涡轮机、优化炼油流程等核心工业场景。成功的关键在于数据治理、可信数据管道以及设计“增强人类专家”而非替代人类的系统。这标志着AI应用正进入“物理世界”的深水区。

原文链接：https://www.technologyreview.com/2026/07/02/1138433/teaching-ai-to-run-with-the-turbines/

OpenAI发布Genebench-Pro：评估AI在复杂基因编程中的能力

OpenAI推出了Genebench-Pro基准测试及相关案例研究。该基准旨在评估AI模型在基因编程（Gene Programming）领域的表现，这是一个涉及自动生成代码或算法来解决特定问题的领域。Genebench-Pro提供了更复杂、更具挑战性的任务集，以推动AI在程序合成与自动化编程方向上的研究。这为衡量AI的“编程创造力”提供了新的标尺。

原文链接：https://openai.com/index/genebench-pro/case-studies

Mistral AI推出Leanstral 1.5：开源数学推理模型攻克高难度竞赛题

Mistral AI发布了Leanstral 1.5，这是一款基于Apache-2.0协议开源的Lean 4代码代理模型。该模型在PutnamBench（普特南数学竞赛题目集）上取得了突破性成绩：成功解决了672道题目中的587道，正确率高达87.4%。这一成果展示了开源模型在形式化数学推理和定理证明方面的巨大潜力，对学术界和工业界均具有重要参考价值。

原文链接：https://www.marktechpost.com/2026/07/03/mistral-ai-releases-leanstral-1-5-an-apache-2-0-lean-4-code-agent-model-solving-587-of-672-putnambench-problems/