Mistral AI introduces Leanstral 1.5, an open-source code agent for Lean 4 formal proof engineering, now available via Labs ...

Explore a wide range of recent research in mathematics. From mathematical modeling to why some people have difficulty learning math, read all the math-related news here.

Environments can be used for training models with reinforcement learning (RL), evaluating capabilities, generating synthetic data, experimenting with agent harnesses, and more.