Baichuan Intelligent Releases Character Large Model Baichuan-NPC


A 15-year-old Japanese high school student was arrested for cybercrime. He used generative AI to assist in the attack, illegally accessing the Bandai Namco anime streaming platform 'Bandai Channel' by stealing member accounts in November 2025. The case drew attention due to the suspect's age and the use of AI to carry out the entire attack process.....
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.....
AI coding landscape shifts: many focus on L2 code completion, while AIGCode aims for a generational leap with a full-stack solution. Its key insight: model flaws lie in the foundation, not fine-tuning. Using AutoCoder.cc, it targets L3 autonomous programming.....
Tencent Hunyuan Hy3 is launched, with intelligent level comparable to 2-5 times the parameter flagship models, lower pricing, and improved stability and cost-effectiveness. It has been integrated into multiple business scenarios, with API available on Tencent Cloud TokenHub and overseas platforms. The model realizes the integration of fast and slow thinking, bringing a qualitative improvement in the practicality of intelligent agents.