SiliconANGLE

China AI rising: Xiaomi releases new MiMo-7B models as DeepSeek upgrades its Prover math AI

Xiaomi Corp. today released MiMo-7B, a new family of reasoning models that it claims can outperform OpenAI’s o1-mini at some tasks. The algorithm series is available under an open-source license. Its ...
EurekAlert!

MathEval: a comprehensive benchmark for evaluating large language models on mathematical reasoning capabilities

This study introduces MathEval, a comprehensive benchmarking framework designed to systematically evaluate the mathematical reasoning capabilities of large language models (LLMs). Addressing key ...
The Nation Newspaper

Deploying mathematical models for decision-making in uncertainty

Mathematics is deemed to be beyond figures. It is described as the foundation of resilience in society. Thus, this made Temitope Comfort Iroko, a PhD candidate in Mathematics at the University of ...
VentureBeat

Nvidia's Nemotron-Cascade 2 wins math and coding gold medals with 3B active parameters — and its post-training recipe is now open-source

The prevailing assumption in AI development has been straightforward: larger models trained on more data produce better results. Nvidia's latest release directly challenges that size assumption — and ...
VentureBeat

This researcher turned OpenAI's open weights model gpt-oss-20b into a non-reasoning 'base' model with less alignment, more freedom

OpenAI’s new, powerful open weights AI large language model (LLM) family gpt-oss was released less than two weeks ago under a permissive Apache 2.0 license — the company’s first open weights model ...