MaxProof is a framework designed for population-level test-time scaling in mathematical proof, specifically within the MiniMax-M3 series. It trains three key capabilities: proof generation, proof verification, and critique-conditioned proof repair.

Magenta RealTime 2 (MRT2) is an open model and real-time inference engine for building and playing AI musical instruments on laptops, specifically requiring Apple Silicon. MRT2 allows live interaction through MIDI, audio, and text inputs, enabling low-latency on-device inference.

Sampling from a diffusion model involves an iterative process where a denoiser estimates the tangent direction to a path through input space. Neural networks can be trained to directly predict the integral that transforms samples from a simple noise distribution into samples from a target distribution.

Key figures from Alibaba's Qwen AI team, known for their extensive contributions to open source generative models, have departed following the release of the Qwen3.5 small model series. The release received public acclaim from Elon Musk for its notable intelligence density.