Top artificial intelligence systems now ace many textbook-style math questions, yet they still fall apart on genuinely new ...

A marriage of formal methods and LLMs seeks to harness the strengths of both.

OpenAI o1 is a new large language model trained with reinforcement learning to perform complex reasoning. o1 thinks before it answers—it can produce a long internal chain of thought before responding ...

Phi-4 will compete with other small models such as GPT-4o mini, Gemini 2.0 Flash, and Claude 3.5 Haiku. Share on Facebook (opens in a new window) Share on X (opens in a new window) Share on Reddit ...

Microsoft has introduced a new set of small language models called Phi-4-reasoning, Phi-4-reasoning-plus, and Phi-4-mini-reasoning, which are described as "marking a new era for efficient AI." These ...

You're currently following this author! Want to unfollow? Unsubscribe via the link in your email. Follow Alistair Barr Every time Alistair publishes a story, you’ll get an alert straight to your inbox ...

OpenAI has introduced the o1 series, its most sophisticated AI models to date, which are designed to excel at complex reasoning and problem-solving tasks. The o1 models, which use reinforcement ...

Google DeepMind and OpenAI, both companies, have won gold medals due to terrific performance at the prestigious International Mathematical Olympiad 2025. In total, both companies solved five out of ...

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