AI Daily – 2026-07-12

Keywords:Large Model, AI Agent, Embodied Intelligence, GPT-5.6 Sol Ultra, Antigravity 2.0, TouchWorld Haptic World Model

🔥 Focus

OpenAI Releases GPT-5.6 Series Models, Sol Ultra Solves 50-Year-Old Math Conjecture : OpenAI has officially released the GPT-5.6 series of large models. Among them, GPT-5.6 Sol Ultra, by coordinating 64 sub-agents, successfully proved the 50-year-old unsolved “Cycle Double Cover Conjecture” in graph theory in less than an hour. Although the mathematics community criticized its “academic habit” of lacking citations of previous literature, the simplicity and effectiveness of the proof demonstrate the huge potential of frontier large models in automated scientific reasoning and complex mathematical discovery. (Source: THE DECODER, sama)

OpenAI's GPT-5.6 Sol Ultra reportedly solves a 50-year-old math problem in under an hour

Google Releases Antigravity 2.0 Agent Development Platform : Google DeepMind has released its next-generation agent development platform, Antigravity 2.0, evolving the IDE into an “agent-first” architecture. The platform supports asynchronous interaction, parallel scheduling across multiple workspaces, and local fine-tuning based on Gemini 3 (Tinker API), aiming to enable AI agents to autonomously execute end-to-end software development tasks across editors, terminals, and browsers. (Source: Google DeepMind Blog)

Introducing Google Antigravity

HIT Professor Yang Shuo Founds “Poxiao Intelligent”, Releasing TouchWorld Tactile World Model : The team of Professor Yang Shuo from Harbin Institute of Technology (Shenzhen) has released TouchWorld, a tactile world model for dexterous manipulation, and founded the embodied AI company “Poxiao Intelligent” (Dawn AI). Through “visual-tactile” multimodal alignment, the model enables robots to not only predict future frames but also correct actions in real-time under high-frequency feedback, driving humanoid robots from “understanding the world” to “safely operating in the world”. (Source: 量子位)

98年哈工大教授创业,要做人形灵巧操作世界模型

NVIDIA RTX Spark Superchip Laptop Debuts, Integrating Grace and Blackwell : At Bilibili World, NVIDIA showcased a laptop powered by the RTX Spark superchip for the first time. The chip directly interconnects a 20-core Grace CPU with a Blackwell GPU via NVLink-C2C technology, providing 128GB of unified memory and 1 Petaflop of computing power. It supports running 120B models locally with a 1-million-token context window, enabling efficient execution of on-device personal agents. (Source: 量子位)

老黄RTX Spark真机现身Bilibili World!CPU and GPU directly soldered together, laptop runs 120B large model

Google Releases MedGemma Series Medical Large Models and MedSigLIP Encoder : Google has released the MedGemma 27B multimodal model and the MedSigLIP medical image encoder. The 27B model achieved a score of 87.7% on the MedQA benchmark, approaching DeepSeek R1 but at only one-tenth of its inference cost. It supports complex electronic health records and medical image interpretation, providing a powerful open-source foundation for the localization and privacy protection of medical AI. (Source: Google DeepMind Blog)

MedGemma: Our most capable open models for health AI development

Google Releases First Differentially Private Large Model VaultGemma 1B : Google, in collaboration with DeepMind, has released VaultGemma 1B, the first open-source large model trained from scratch based on differential privacy (DP). The research team derived scaling laws applicable to differentially private language models, preventing sensitive data from being memorized by the model by adding noise during training, providing a theoretical and engineering paradigm for AI development in privacy-sensitive domains. (Source: Google DeepMind Blog)

VaultGemma: The world's most capable differentially private LLM

CUHK and Kuaishou Kling Release ShotStream Streaming Video Generation Framework : The Chinese University of Hong Kong (CUHK) and the Kuaishou Kling team have jointly released ShotStream, a streaming multi-shot long video generation framework. The framework defines multi-shot synthesis as a next-shot generation task based on historical context, introducing a double-buffer memory mechanism and discontinuous RoPE. It achieves real-time streaming generation at 16 FPS on a single H200 GPU, speeding up generation by over 25 times compared to traditional bidirectional models. (Source: 机器之心)

ECCV 2026 | 实时导演多镜头长视频! 港中文&快手可灵发布ShotStream

BioMatrix Drives Biological Large Models Toward Native Multimodal Unified Modeling : A team from Renmin University of China and the Shanghai AI Laboratory has released BioMatrix, a multimodal biological foundation model. The model maps small molecule SMILES, protein sequences, 3D molecular/protein structures, and natural language into a shared discrete token space without external encoders or adapters. Under a single Decoder-only architecture, it natively supports 80 biological tasks such as molecular design and protein folding. (Source: 机器之心)

用同一套语言读懂分子、蛋白与文本,BioMatrix推动生物大模型走向原生统一建模

Moonshot AI Releases Kimi K2 Open-Source Agentic MoE Model : Moonshot AI has officially released the Kimi K2 open-source Agentic model. The model adopts a MoE architecture with a total parameter count of 1T and 32B active parameters. Kimi K2 achieved SOTA results in open-source model evaluations such as SWE-bench Verified, Tau2, and AceBench, demonstrating extremely strong code generation and autonomous agent task execution capabilities. (Source: teortaxesTex)

Kimi K2

European Team Releases Soofi S 30B-A3B Sovereign Open-Source Large Model : The Soofi team has released Soofi S 30B-A3B, an open-source foundation model tailored for German and English. Based on a hybrid Mixture-of-Experts (MoE) and Mamba architecture, the model was pre-trained on 27 trillion tokens and features built-in SYNTH synthetic data technology, aiming to provide a cost-effective AI sovereignty alternative for Europe. (Source: Dorialexander)

Soofi S 30B-A3B

Meta Urgently Disables Muse Image Feature for Generating AI Photos of Instagram Users Without Consent : Just days after releasing the Muse Image model, Meta urgently disabled a controversial feature that allowed users to directly generate AI photos of others via @mentions due to public pressure. The feature, which was “enabled by default” and required no consent from the portrait owners, raised serious privacy and ethical concerns. Meta admitted that the design “missed the mark.” (Source: THE DECODER)

🧰 Tools

dcg: A Rust Security Tool to Block Dangerous Commands from AI Coding Agents : Developers have open-sourced dcg (Destructive Command Guard), a security tool written in Rust. Integrated as a PreToolUse hook in agents like Claude Code and Codex, the tool utilizes AST structural analysis and a dual regex engine to intercept catastrophic commands such as rm -rf or git reset --hard within microsecond-level latency, protecting developers’ local workspaces. (Source: GitHub Trending)

destructive_command_guard

Zer0Fit: Local Zero-Shot Machine Learning MCP Service Based on Google TabFM and TimesFM : Developers have open-sourced Zer0Fit, wrapping Google’s newly released TabFM and TimesFM tabular and time-series foundation models into an MCP service. With just 25 lines of code, users can perform zero-shot prediction, classification, and regression on classic datasets using natural language in clients like Open WebUI and Claude Code, eliminating tedious hyperparameter tuning. (Source: Reddit r/MachineLearning)

ContextPaw: A Proxy Tool to Fix the Silent Truncation Bug in Ollama Concurrent Requests : Addressing the bug where Ollama silently discards beginning information and returns HTTP 200 OK when prompts exceed the context length (num_ctx), developers have introduced the ContextPaw proxy tool. Without altering Ollama’s architecture, the tool reconstructs prompts using a “keep head and tail, discard from middle” strategy, preventing long-context agents from failing due to lost system prompts. (Source: Reddit r/OpenWebUI)

VultronRetriever: Lightweight Offline Retrieval Model Family Topping the MTEB Leaderboard : The VultronRetriever series of retrieval models has been released on Hugging Face. This series of models (including 8B, 4.5B, and 0.8B versions) ranks at the top of the MTEB ViDoRe leaderboard. The Prime-8B version reduces index storage footprint by 16 times while maintaining high throughput, and supports fully offline operation on mobile devices like iPhones. (Source: Reddit r/MachineLearning)

VultronRetriever

Hallmark: A Design Skill to Reject AI-Template-Style Web Designs : Together AI has released Hallmark, a design assistant tool supporting Claude Code, Cursor, and Codex. Featuring 20 built-in themes and 57 anti-AI-pattern audits, the tool uses commands like “Redesign” and “Study” to reject the mediocre default layouts found in LLM training data, helping developers generate hand-drawn or minimalist web designs with unique personalities. (Source: GitHub Trending)

Hallmark

Inference AutoTune: Distill Frontier Large Models to Local SLMs with 25 Lines of Code : Sam Hogan has open-sourced Inference AutoTune. The tool allows developers to distill any frontier closed-source large model into a task-specific local small language model (SLM) of 1-30B parameters with just 25 lines of code. It reduces inference costs and latency by over 90% through automatic request routing, with the training process taking only 2 hours and costing less than $250. (Source: madiator)

Inference AutoTune

Modelr: Fast Image-to-3D Model Generation Locally on Mac and iPhone : Developers have open-sourced Modelr, a desktop and mobile application based on Swift-MLX, porting the Hunyuan3D-Paint/Shape model to the Apple Silicon platform. Requiring no PyTorch or cloud computing power, the tool completes image-to-3D mesh generation and real-time texture mapping in just 20 seconds on an M4 Max chip. (Source: Reddit r/LocalLLaMA)

Modelr

📚 Learning

learngraphtheory.org: Interactive Visualization Website for Learning Graph Algorithms : Addressing the dry pseudocode of traditional textbooks, developers have created a free interactive visualization website for graph algorithms. The site demonstrates the execution process of algorithms like BFS, DFS, shortest path, and spanning trees through dynamic animations, helping beginners intuitively understand core graph theory concepts. (Source: Reddit r/deeplearning)

learngraphtheory

E2AM: Energy Consumption and Carbon Emission Monitoring Tool for PyTorch/HuggingFace Training : Researchers have open-sourced the E2AM (Energy Efficient AI Models) toolkit. By inserting just two lines of code, developers can automatically monitor real power consumption, carbon emissions, and accuracy-per-joule during PyTorch model training. It also calculates “accuracy-energy” gradients to provide scientific early-stopping signals, avoiding the waste of computational power. (Source: Reddit r/deeplearning)

E2AM

Golab Material Science Intelligent R&D Factory Launches 100+ Hour Dry-Wet Closed-Loop Livestream : The “Golab Material Science Intelligent R&D Factory,” jointly built by the Shanghai Institute for Advanced Study of Science (SIAS) and Gewu Zhiyan, has launched an uninterrupted livestream. The factory integrates the closed loop of “AI computation – automated experiment – data feedback – model self-evolution,” demonstrating the entire process of AI large models autonomously scheduling tasks and robotic arms to synthesize catalysts and materials. (Source: 机器之心)

Golab

💼 Business

Embodied Data Sector Welcomes Funding Boom, Raising 4.47 Billion Yuan in One Year : According to QbitAI’s review of the domestic embodied AI data industry, 15 independent domestic embodied data service providers completed 34 rounds of financing over the past year, raising a total of 4.47 billion yuan. Among them, “Guanglun Intelligent” completed 6 rounds of financing, raising a cumulative 3.1 billion yuan, with its valuation exceeding $2 billion, making it the world’s first embodied data unicorn. (Source: 量子位)

具身数据

S&P Downgrades Oracle’s Credit Rating, Citing OpenAI as a “Key Credit Risk” : S&P Global has downgraded Oracle’s credit rating to “BBB-“, pushing it close to junk status. S&P noted that Oracle’s AI infrastructure spending has exceeded expectations, with capital expenditures projected to reach $95 billion by 2027, and OpenAI accounting for nearly half of its contractual obligations. Should OpenAI experience financial volatility, Oracle would face significant risks of idle computing capacity debt. (Source: THE DECODER)

Oracle

Zhipu AI’s Tang Jie Releases Internal Letter “The Great Wave Has Arrived”, Reshaping AGI Narrative to Avoid SaaS Valuation Trap : Against the backdrop of the first batch of stock lock-up expirations and the plunge in MiniMax’s market value, Zhipu AI founder Tang Jie published an internal letter. He deliberately downplayed the commercialized coding business and instead emphasized frontier AGI narratives such as Long Horizon Tasks and autonomous evolution, attempting to steer the capital market away from traditional SaaS financial metrics. (Source: 36氪)

智谱

🌟 Community

Anthropic Moves Fable 5 Out of Subscription to Pay-As-You-Go API, Triggering Community Unsubscribe Wave : Anthropic’s decision to remove the Fable 5 model from the Claude Pro subscription and transition it to a fully token-billed API model has sparked a strong backlash in the community. A large number of users reported unsubscribing from Claude and switching to GPT-5.6 Sol. The community generally believes that with OpenAI offering the affordable Sol model, Anthropic’s move is akin to “shooting themselves in the foot.” (Source: Reddit r/ClaudeAI, kimmonismus)

Fable 5

Altman Pivots to Claim AI is “Net Job-Creating”, Contrasting with Previous Pessimistic Predictions : OpenAI CEO Sam Altman posted on social media that, based on current data, AI is actually “net job-creating” at this stage, admitting this is the complete opposite of his previous pessimistic predictions that AI would trigger rapid job losses. Meanwhile, Anthropic CEO Dario Amodei also revised his claim that “AI will lead to a 20% unemployment rate,” shifting to emphasize AI as a productivity multiplier. (Source: THE DECODER, sama)

Altman

Structured Memory Design for Agents Becomes a Trend, Solving the Pain Point of “Context Rot” in Long Conversations : In testing an AI agent for Slay the Spire 2, the AgenticSTS project doubled the AI’s win rate and reduced single-run token consumption by nearly 100-fold by introducing a five-layer structured memory (L1-L5) to replace traditional append-only chat logs. This achievement has sparked a community consensus: future agent design should focus on “extracting states and decision points” rather than blindly resending the entire conversation history. (Source: THE DECODER, wordgrammer)

Slay the Spire 2

Companies Suffer “AI Backlash” After Blind Layoffs, Forced to Rehire Human Workers : A survey by Orgvue and other organizations shows that among nearly 40% of companies that laid off workers due to AI deployment, 55% admitted they made the wrong decision. Giants like Ford and the Commonwealth Bank of Australia, after replacing engineers and customer service staff with automated systems, suffered severe declines in operational efficiency due to frequent system failures and a lack of human error correction. They had to urgently rehire laid-off employees, exposing the fact that AI cannot completely operate without human involvement at this stage. (Source: 36氪)

AI反噬

Vibe Coding Security Risks Explode: AI-Generated Apps Leak Sensitive Data to Public Web : Cloud database misconfigurations in services like Supabase have led to the public exposure of millions of API tokens and private user data from multiple AI-generated “no-code” apps like Moltbook. Security agencies warn that while AI tools significantly lower the barrier to app development, they also allow many non-professional developers lacking security awareness to push unaudited, exposed apps directly into production. (Source: 36氪)

Vibe Coding

Brown University Professor Bans AI and Student Average Score Halves, Raising Concerns Over “AI Brain Shrinkage” : After finding an unusually high average score of 96% on take-home exams, an economics professor at Brown University changed the final exam to a closed-book, handwritten format. As a result, the class average plummeted to 48.6%, with 19 students failing. Multiple studies confirm that while AI assistance can shorten homework time, a lack of independent thinking causes students’ performance to collapse in independent tests, leading to a severe “learning deficit.” (Source: THE DECODER)

AI作弊

💡 Others

Apple Publishes Paper on Behavioral Privacy Leakage in Agentic Negotiation : Apple published a paper at the ARES 2026 conference exploring the risk of “behavioral privacy leakage” in autonomous negotiating agents. The study points out that opponents can infer one’s private reservation price by observing behavioral characteristics such as bidding trajectories and timing. The paper proposes an adaptive randomized strategy that successfully reduces the opponent’s privacy inference accuracy by 43-50% while ensuring agreement convergence. (Source: Apple Machine Learning Research)

Apple

OpenAI Head of Safety Johannes Heidecke Announces Departure : Coinciding with the release of the GPT-5.6 series models, OpenAI’s Head of Safety Johannes Heidecke has announced his departure. This is the third core executive OpenAI has lost this week, following Chief Futurist Joshua Achiam and Head of AGI Fidji Simo, highlighting the ongoing internal turmoil between safety governance and commercialization at the company. (Source: The Verge)

Johannes Heidecke

Investigation Shows Terrorist Groups Are Using Mainstream AI Chatbots for Attack Planning : A report released by the Cambridge AI Safety and Policy (CASP) project indicates that terrorist groups, including Boko Haram and ISWAP, are widely utilizing AI tools like ChatGPT, Claude, Grok, and DeepSeek for attack planning, bomb-making, and training on bypassing safety filters. This highlights the severe challenges in current large model safety alignment and jailbreak prevention. (Source: THE DECODER)

Terrorist

Leave a Reply

Your email address will not be published. Required fields are marked *