From high school math modeling challenges to formal theorem-proving competitions, large language models (LLMs) are stepping into the competitive math arena. New datasets, benchmarks, and governance ...

B, a mixture-of-experts (MoE) language model that matches or exceeds substantially larger open-weight models on complex ...

Smarter problem solving: Step-by-step reasoning methods like Chain-of-Thought and Step Guided Reasoning help AI models solve math problems more accurately without massive retraining. AI as math tutor: ...