On April 28,
In terms of technical architecture,
This release marks that

On April 28,
In terms of technical architecture,
This release marks that
OpenAI safety head Heidke departs, another core loss for safety team. Analysts compare the recurring turnover to a 'Harry Potter curse.' After Weng Li left, Heidke stepped in; now his exit renews safety concerns.....
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.....
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.....