On April 28,
In terms of technical architecture,
This release marks that
All-in-One GEO Brand Insights Platform
Quickly check how your brand is perceived and presented in AI-powered search results.
Detect brand's visibility on AI platforms
Batch queries & scheduled GEO ranking tracking
Discover trending questions users ask AI to guide content strategy
Quickly evaluate the citation of promotion articles on AI platforms
Quickly Check If Your Website Is AI-Search-Friendly And How To Optimize It
Discover Popular AI-MCP Services - Find Your Perfect Match Instantly
Easy MCP Client Integration - Access Powerful AI Capabilities
Master MCP Usage - From Beginner to Expert
Top MCP Service Performance Rankings - Find Your Best Choice
Publish & Promote Your MCP Services
Choose reliable LLM API proxies with our 5-dimension test
Multi-Dimensional Large Model Comparison - Find Your Perfect Match
Calculate AI Model Costs Accurately - Optimize Your Budget
Multi-Model Real-Time Evaluation & Quick Output Comparison
Free PC Hardware Test for DeepSeek & Llama
Enter Your Large Model Computing Requirements for Instant GPU, Memory & Server Configuration Recommendations
On April 28,
In terms of technical architecture,
This release marks that
Welcome to the [AI Daily] column! This is your daily guide to exploring the world of artificial intelligence. Every day, we present you with hot topics in the AI field, focusing on developers, helping you understand technical trends, and learning about innovative AI product applications.
Mistral AI released Leanstral1.5, an open-source model for Lean4 under Apache-2.0. It has 119B total parameters but only 6B active, balancing performance and cost. It achieved 100% completion on both validation and test sets of the miniF2F formal math benchmark and has tackled challenging reasoning tasks like Putnam.....

Leanstral 1.5, by Mistral AI, is a math formal proof model for Lean4 with 119B total parameters but only 6B active at inference. Fully open-source (Apache-2.0), it achieves 100% completion on miniF2F validation and test sets, and excels on PutnamBench.....

The Interim Measures for the Administration of AI Anthropomorphic Interactive Services takes effect July 15. ByteDance’s Doubao and Alibaba’s Tongyi Qianwen will remove custom anthropomorphic agent features. Doubao notified users of the feature's offline from July 15 and full service termination from October 15, making it among the first major AI apps to comply.....
HP partners with OpenAI to deploy its enterprise AI agent platform Frontier, launched in February. The platform offers an all-in-one solution for building, deploying, and managing agents, breaking scenario limitations to drive digital transformation and growth.....

Mistral AI (France) launches OCR4 document recognition model, supporting 170 languages across 10 language families. It scored 93.07 on OmniDocBench, with accurate and natural outputs, outperforming GPT-5.5 Pro and Gemini-3.1 Pro in user experience.....

French AI startup Mistral AI released OCR 4, a document recognition model supporting 170 languages across 10 language families. It scored 93.07 in authoritative tests, and human review rated its output quality above competitors like GPT-5.5 Pro. The model is compact, versatile across many tasks, and specialized in document recognition.....
Ex-Infosys CEO Vishal Sikka's startup Hang Ten Systems aims to disrupt traditional IT services with AI. It uses AI-driven software development and automation to help enterprises continuously build, modify, and operate software. Hang Ten recently raised a $32M seed round led by Mayfield, with participation from Aramco Ventures.....

Google integrates Computer Use tool into Gemini 3.5 Flash, replacing old test framework, evolving AI into task-executing digital colleagues. Developers build agents via API, moving from concept to reality.....
Google's next flagship Gemini 3.5 Pro, originally slated for release this month, has been postponed to July. The delay is not due to technical stagnation but to allow the R&D team more time for deeper optimization and refinement, aiming for higher product maturity. This reflects the intense competition in computing power and models, with major players more cautiously balancing release timing and quality.....
At the June 23, 2026 Volcano Engine FORCE Conference, ByteDance unveiled major upgrades to its Doubao large model: version 2.1Pro, focusing on coding, agents, and vision-language. It also released video generation model Seedance 2.5 (2.04K), image model Seedream 5.0 Pro, and audio model 1.0. 2.1Pro's API is open with Coze ecosystem access. Volcano Engine President Tan Dai stated that daily basic features like search and Q&A will remain free for u....