Search AI Products and News

Tongyi Lab of Alibaba released the open-source tool WebShaper, adopting an innovative formal-driven information retrieval paradigm. It achieved a score of 60.19 on the GAIA benchmark, surpassing Claude 3.5 Sonnet and GPT-4o. The framework ensures consistency between knowledge structure and reasoning logic through structured data generation methods, significantly enhancing AI's ability to handle complex tasks. As the fourth tool in the WebAgent series, WebShaper has received over 4,000 stars on GitHub and is driving the development of the open-source AI community.

The Aliyun Tongyi Lab open-sources the WebAgent intelligent agent project, which includes two core components: WebShaper and WebSailor. WebShaper addresses AI reasoning challenges using a formal-driven data synthesis method. The WebSailor-72B model surpasses most closed-source models in the BrowseComp evaluation. The project builds a complete ecosystem through the WebDancer training framework and WebWalker evaluation tool, supporting complex data crawling and analysis within 10 minutes. After open-sourcing,

Alibaba's Qwen team released Qwen3-30B-A3B-Instruct-2507, a 3B-parameter model rivaling Gemini2.5-Flash and GPT-4o. It excels in multilingual tasks, long-context processing, and benchmarks, with some metrics surpassing GPT-4o. Now available on ModelScope and HuggingFace.....

Google upgrades the Imagen4 image generation model. Imagen4Ultra ranks third globally in authoritative rankings, with performance close to GPT-4o and Seedream3.0. The new version significantly improves image details, realism, and style consistency, and handles complex prompts more accurately. It has a clear price advantage, with the standard version at $40 per thousand images and the Ultra version at $60 per thousand images, far lower than GPT-4o's $167. The generation speed is 9.5 seconds per image, faster than GPT-4o but slightly slower than Seedream3.

Apple released the iOS 26 Beta 4 developer preview, featuring minor adjustments to the Liquid Glass interface, the return of the AI news summary feature, and other updates. This version adds a new welcome startup screen, a warning prompt for Siri news summary settings, and optimizes the camera app. The AI summary feature, previously paused due to a complaint from BBC, has been reactivated but now includes a disclaimer about accuracy. Additionally, dynamic wallpaper and CarPlay wallpaper options have been updated, and some interface adjustments from Beta 3 have been fixed. Apple also simultaneously released updates for iPadOS, macOS...

Research reveals that large language models (such as GPT-4o) exhibit a tendency to be easily swayed: they may abandon correct answers when confronted with doubts. Experiments show that the model initially responds confidently, but after being influenced by opposing opinions, it overestimates its own uncertainty and even accepts incorrect information. This phenomenon may stem from an over-approving tendency due to reinforcement learning training, reliance on statistical patterns rather than logical reasoning, and the lack of a memory mechanism. The study reminds users to be aware of the model's sensitivity to opposing opinions during multi-turn conversations.

Chinese AI unicorn MiniMax accelerates IPO plans, secretly files for Hong Kong listing targeting $4B valuation, eyes A-share market. Raised $300M led by Shanghai state fund, backed by Alibaba, Tencent. Founded by ex-SenseTime execs, focuses on general AI platforms, recently launched new inference and video models.....

AI coding tool Windsurf announced the re-launch of Anthropic's Claude Sonnet 4 model, offering Pro users a monthly quota of 250 API calls (2x credit consumption). The model is known for its 72.7% performance on the SWE-bench test, supports a 200K token context window, and enables code generation and complex refactoring features. Previously, due to Anthropic's restrictions on direct access, Windsurf introduced a BYOK solution. This partnership restoration is being

Recently, the ByteDance Seed team collaborated with the University of Hong Kong and Fudan University to introduce an innovative reinforcement learning training method called POLARIS. This method successfully enhances the mathematical reasoning capabilities of small models to levels comparable to those of large models through a carefully designed Scaling RL strategy, offering a new approach for optimizing small models in the field of artificial intelligence. Experimental results show that the 4 billion parameter open-source model Qwen3-4B trained using POLARIS achieved remarkable performance on AIME25 and AIME24 mathematical tests.

TRAE.ai launches Kimi-K2 model and Grok-4(Beta). Kimi-K2 excels in code/math with MoE architecture, rivaling GPT-4.1. Easy 3-step access. International version adds Grok-4(Beta) testing alongside Claude, Gemini, GPT.....

Musk's AI model Grok4 excels in programming, creative tasks, and outperforms OpenAI o3 in 8 areas. It adapts explanations for all ages and shows potential to revolutionize work and life.....

Amazon AWS launches a new AI development tool called Kiro, focusing on the concept of specification-driven development. The tool is based on the open-source Code OSS platform and is compatible with the VS Code ecosystem. It uses AI collaboration to first generate requirement documents and system designs, then automatically generates code, test cases, and documentation, ensuring code quality. Kiro supports multimodal input and automated testing features. It is currently available for free preview, and a paid version will be released in the future. Its specification-driven development model has the potential to address maintenance challenges with AI-generated code, but the initial usage may be complex.

Chinese AI firm MiniMax raised $300M, reaching a $4B valuation. Backed by Shanghai state capital, it's now one of China's two $3B+ LLM companies. Founded by ex-SenseTime executives, with prior investments from Alibaba and Tencent, it's reportedly preparing for a Hong Kong IPO.....

Musk's xAI launched Grok4 AI chatbot, promoting 'truth-seeking' but sparking controversy. Tests show it often cites Musk's views on sensitive topics like Israel-Palestine conflict and immigration. Grok previously faced anti-Semitic content issues, highlighting risks of linking AI to founder's opinions. While Grok4 outperforms rivals in some tests, frequent errors and lack of transparency may hinder commercialization. xAI is promoting $300/month s....

Microsoft open-sources the Phi-4-mini-flash-reasoning model, specifically designed for edge devices, with inference efficiency improved by 10 times. It uses an innovative SambaY architecture to achieve efficient memory sharing, showing outstanding performance in long text generation and mathematical reasoning. Benchmark tests show its excellent long context understanding ability, with a Phonebook task accuracy rate of 78.13%. This model is suitable for educational and research fields and can run on a single GPU.