South Korean Researchers Successfully Develop Small Sample Learning Model to Discover Human Intentions Using Brainwave Data


On March 24, 2026, the Meituan LongCat team open-sourced the deep learning model LongCat-Flash-Prover, specifically designed for mathematical formalization and theorem proving. The model breaks down formal reasoning into three atomic capabilities: automatic formalization, draft generation, and proof generation. It aims to overcome the shortcomings of large language models in rigorous logical reasoning, achieving a paradigm shift from 'probabilistic prediction of answers' to 'rigorous logical proof'.
iFlytek has announced a significant upgrade to its deep reasoning model, StarFire X1. This upgrade focuses on enhancing its capabilities across various domains, including mathematics, healthcare, and education, delivering notable improvements and innovations. StarFire X1 exhibits a significant enhancement in mathematical capabilities, particularly in tackling competition-level problems. Compared to other industry models, StarFire X1 demonstrates competitive performance in mathematical tasks while maintaining a smaller model parameter count, rivaling models like DeepSeek R1 and comparable OpenAI models. Users can access StarFire through iFlytek's...
The robotics research team at Google DeepMind recently released a robotics project called RT-2. This project took 7 months to develop and uses a large model for training. RT-2 has capabilities such as symbol understanding, reasoning, and human recognition, and can think and complete tasks based on human instructions. By combining the large model with the robot's operational capabilities, RT-2 can accomplish tasks that involve logical leaps, such as from 'extinct animals' to 'plastic dinosaurs'. The results of this project performed well in various sub - category tests, with performance up to three times that of the previous generation of robot models. This research result demonstrates the potential of large models in robotics research and is expected to drive the development of robots in the future.
Meta Intelligence OS is a startup founded by Bloomberg. It has developed a series of large models based on the open-source model RWKV and aims to become the Android in the era of large models. The RWKV model has superior performance and low cost in inference tasks, thus attracting customers from industries such as finance, law firms, and smart hardware. The business model of Meta Intelligence OS is model customization based on private data and internal AI Agent development. The company hopes to solve the problems of API call latency and data security by deploying large models on terminal devices. Currently, RWKV versions are available on Windows, Mac, and Linux computers, and Android and iOS versions are also in development. Meta Intelligence OS is raising funds and collaborating with chip companies and computing power platforms to create benchmark customers. Luo Xuan said that the decisive battlefield for large models is on hardware, and both terminal devices and the cloud require dedicated chips.
Today, Baidu's Xiaodu officially announced its integration with DeepSeek. Previously, Baidu Maps, Baidu Search, Baidu Apollo Smart Cabin Model, Wenxin Yiyan, and Wenxiaoyan App have successively integrated with DeepSeek.