AI 日报 — 2026-07-04

OpenAI and Broadcom have collaborated to launch Jalapeño, a new custom AI chip. This chip is specifically designed to optimize large language model (LLM) inference. The goal of Jalapeño is to enhance the performance, efficiency, and scalability of AI systems, addressing key areas for advancement in artificial intelligence.

A user reported a potential session or cache leakage within their Enterprise ZDR workspace. The agent unexpectedly referenced building a Minecraft temple, despite the user being authenticated to their enterprise account. This raises concerns about the isolation of cache between workspaces or the possibility of leakage from consumer accounts, potentially compromising sensitive chat sessions. The user noted their unusual working directory setup but distinguished it from the unexpected Minecraft prompt.

Leanstral 1.5, a free Apache-2.0 licensed model with 6B active parameters, significantly upgrades formal verification. It saturates miniF2F, solves 587/672 PutnamBench problems, and achieves state-of-the-art results on FATE-H (87%) and FATE-X (34%). Trained using mid-training, supervised fine-tuning, and reinforcement learning with CISPO, it excels in agentic proof engineering and real-world code verification, uncovering 5 previously unknown bugs. Fully open-sourced and available via Hugging Face and a free API, Leanstral 1.5 makes practical proof engineering in Lean 4 accessible.

A recent analysis of Codex token_count metadata reveals that GPT-5.5 responses disproportionately cluster at exactly 516 reasoning output tokens, with additional spikes at 1034 and 1552. This model-specific anomaly coincides with lower overall reasoning-token intensity and may explain degraded performance on complex Codex tasks. This clustering is significantly higher for GPT-5.5 compared to other models and increased sharply from February to June 2026. The Codex team is asked to investigate if this indicates a reasoning-budget or truncation behavior.

OpenAI's new Signals data reveals a global surge in ChatGPT adoption. Users are increasingly engaging with the AI, exploring its diverse capabilities, and driving significant growth across various regions and languages worldwide.

GeneBench-Pro is a new AI benchmark designed to evaluate performance in genomics, biology, and scientific research. It utilizes complex, real-world datasets to test AI capabilities, offering a robust assessment of AI's effectiveness in these critical scientific domains.

OpenAI engineers tackled rare infrastructure crashes by analyzing core dumps, a technique they've dubbed "core dump epidemiology." This investigation revealed two critical issues: a hardware fault and a software bug that had persisted for 18 years. Their method allowed them to diagnose and fix these elusive problems, improving system stability.

OpenAI's latest report analyzes the potential impact of AI on the European workforce. The study identifies specific occupations susceptible to automation, those likely to experience growth, and roles that will undergo significant workflow transformations. This research provides a comprehensive overview of how AI could reshape the job market across the EU.

OpenAI research reveals AI agents are revolutionizing work by facilitating longer, more intricate tasks. This advancement significantly boosts productivity across various job functions, demonstrating a transformative impact on the modern workplace.

Google Search tools are revolutionizing thrift and vintage shopping, with "vintage" and "how to thrift" trending. AI Mode helps plan shopping trips, even suggesting gluten-free brunch spots. Google Lens uncovers hidden gems by identifying items and their value. Circle to Search finds similar items online from images. Virtual Try-On lets users digitally preview vintage clothes. Additionally, Lens can help users assess the resale value of their own items, promoting a circular economy.

HP Inc. is expanding its strategic partnership with OpenAI, aiming to integrate artificial intelligence across various aspects of its business. This collaboration will focus on deploying AI to enhance customer experiences, streamline software development processes, and optimize enterprise operations. The initiative signifies HP's commitment to leveraging advanced AI technologies for broader application within its ecosystem.

OpenAI is actively involved in establishing shared standards for advanced AI. They contribute to this effort by supporting the development of evaluation frameworks and safety practices. Furthermore, OpenAI promotes global cooperation in the AI field through its involvement with the Appia Foundation, aiming to foster a unified approach to AI development and deployment.

OpenAI has unveiled a preview of GPT-5.6 Sol, their next-generation model. This new iteration promises enhanced capabilities across several key domains, including coding, scientific research, and cybersecurity. A significant feature of GPT-5.6 Sol is its integration with OpenAI's most advanced safety stack, suggesting a strong focus on secure and responsible AI development.