Home
Tools
Models
App
Prompts
News
Topics
Submit for inclusion
English
English 日本語 한국어 Português español Deutsch Русский Français 繁體中文 简体中文
option
Home Close
Home
Tools
Category Ranking Generate Cover Generate Image Skill
Models
Large Language Model Multimodal Model
App
Prompts
Prompts Image Prompts
News
News Flash News
Topics
Submit for inclusion
Submit App Submit Tool
Create an account Sign In
Change Language English Change Language
Settings
English EN 日本語 JA 한국어 KO Português PT español ES Deutsch DE Русский RU Français FR 繁體中文 ZH-TW 简体中文 ZH-CN
Home
Flash News
Content
EdwardScott
EdwardScott
July 6, 2026

Mistral AI launched Leanstral 1.5, a 119B-parameter formal math proof model activating only 6B, open-sourced under Apache-2.0. It achieved 100% on miniF2F, solved 587/672 PutnamBench problems, and costs $4 per problem versus competitors' $300+. It also found 47 code violations in 57 repositories, including 5 unreported GitHub issues.

Mistral AI launched Leanstral 1.5, a 119B-parameter formal math proof model activating only 6B, open-sourced under Apache-2.0. It achieved 100% on miniF2F, solved 587/672 PutnamBench problems, and costs $4 per problem versus competitors' $300+. It also found 47 code violations in 57 repositories, including 5 unreported GitHub issues.
0
0
Share Click to copy the link
Comments (0)
0/300
Submit
Author HarperJones HarperJones October 13, 2026
OpenAI integrates GPT-6 with intelligent UI into ChatGPT, enabling interactive charts and widgets within conversations. This shifts large models from information providers to task interaction entry points, disrupting fixed app interfaces. The move threatens standalone AI tools and content platforms by bypassing the need for separate apps. Meanwhile, super apps like WeChat and Douyin gain competitive advantages by leveraging existing ecosystems and distribution channels to integrate entry points directly with user scenarios.
0
0
Author DouglasAnderson DouglasAnderson October 13, 2026
Qwen clarifies Qwen Go is a personal AI agent embedded in its app, not a standalone download. Users can apply for access to tasks like flight claim processing and price comparison. The feature aims to evolve into a smarter, personalized assistant, leveraging Alibaba's ecosystem to handle diverse personal tasks directly within the existing platform rather than launching a separate application.
0
0
Author DouglasThomas DouglasThomas October 13, 2026
ByteDance Seed establishes the Model-Alignment and Preparedness department led by Yan Lin to enhance AI safety. This new unit focuses on securing intelligent agent models and mitigating CBRN risks through regulation, evaluation, and alignment training. As the first Chinese frontier AI lab to create a dedicated safety department, Seed aims to ensure models operate within safe constraints, reducing misuse and behavioral deviation while promoting open collaboration with external researchers to support large-scale application.
0
0
Author KevinRoberts KevinRoberts October 13, 2026
MiniMax joins Taobao with its first flagship store, selling M Plan subscriptions. This reflects a broader industry shift where AI vendors like Zhipu and Alibaba Cloud move token sales from official sites to e-commerce platforms. Taobao launched an AI Space Station to consolidate these services. The strategy targets mass consumers by converting technical API usage into accessible retail products, shifting competition from technical benchmarks to direct consumer accessibility and pricing.
0
0
Author JoseJackson JoseJackson October 13, 2026
Amazon is in talks to acquire Decart for 7 billion dollars. The three-year-old startup, founded in 2023, offers cross-chip compatibility software that allows AI models to run seamlessly across different hardware like NVIDIA GPUs, Google TPUs, and Amazon Trainium. This technology aims to reduce costs and improve performance by up to eight times. Decart previously failed to secure deals with NVIDIA and Anthropic, both of whom left the table after due diligence. Amazon is paying a significant premium compared to Decart's recent 4 billion dollar valuation, aiming to strengthen its AWS ecosystem and lower per-token costs for its Trainium chips while supporting its broader cloud and embodied intelligence strategies.
0
0
OR