Kunlun Wanwei Releases the Billion-Parameter Open Source Large Language Model 'Skywork-13B' Series

On October 30th, Kunlun Tech announced the open-sourcing of its massive language model "Skywork" Skywork-13B series, accompanied by a high-quality Chinese dataset of enormous scale. This series comprises two models: Skywork-13B-Base and Skywork-13B-Math. Kunlun Tech also declared that this series of large models will soon be fully available for commercial use without the need for application, thereby lowering the commercial threshold for large models and providing technical support for the application of large models and the development of the open-source community.

Turing Test Settled: GPT-4.5 Has a Higher Chance of Outperforming Humans, AI Has Learned to Lie Perfectly

The Turing Test, proposed by British mathematician Alan Turing in 1950, was confirmed 76 years later by a research team from the University of California, San Diego in a paper published in the Proceedings of the National Academy of Sciences. Cognitive scientists Cameron Jones and Ben Bergen, professors, provided the first conclusive empirical data through a strict classic three-party Turing Test, marking a milestone moment in the history of computer science.

Aliyun BaiLian Launches Major Upgrade: Full-Stack Open Access, Building an AI Model Supermarket

On May 20th, during the summit, Alibaba Cloud announced that its large model service platform "BaiLian" has strengthened its open ecosystem, integrating top third-party models from multiple companies, covering fields such as text, image, video, and multimodal generation. This move marks BaiLian's transformation from a showcase for Alibaba's self-developed Qianwen model into an AI model supermarket that includes mainstream models across industries. The first batch of integrated model portfolios is rich and diverse.

Xiaomi Launches the Most Powerful Model Series MiMo-V2.5, Official Public Testing Begins

Xiaomi released the MiMo-V2.5 series of large models on April 23 and initiated public testing. The series includes four models, with the core models MiMo-V2.5-Pro and MiMo-V2.5 being open-sourced globally, demonstrating its commitment to promoting an open AI ecosystem. This update is not only a product iteration but also a comprehensive upgrade of the technology foundation, featuring flagship performance that supports a context length of up to one million and complex task processing.

Qwen 3.6 Officially Released: 1 Million Long Context, Competing with Claude Code

Alibaba released the new generation large language model Qwen3.6-Plus, which is hailed as the strongest domestic programming model at present. Compared to the 3.5 version, its performance has been significantly improved, ranking first among domestic models in multiple programming evaluations, and its overall capabilities are close to the international benchmark Claude series. The model demonstrates a high level of autonomy in front-end development, complex repository tasks, and other areas.

ChatGPT-5.2 First Independently Proves a Mathematical Conjecture, Opening the Era of Contextual Proof

Research from the Free University of Brussels found that commercial large models are now capable of independently generating original mathematical proofs. ChatGPT-5.2 successfully solved a mathematical conjecture proposed in 2024, marking a milestone where the capabilities of large language models have surpassed code assistance and text creation, entering the field of mathematics requiring strong logical reasoning.