Join the event trusted by enterprise leaders for nearly two decades. VB Transform brings together the people building real enterprise AI strategy. Learn more In a new paper, researchers from various ...

Researchers have introduced Light-R1-32B, a new open-source AI model optimized to solve advanced math problems. It is now available on Hugging Face under a permissive Apache 2.0 license — free for ...

Mathematics, like many other scientific endeavors, is increasingly using artificial intelligence. Of course, math is the ...

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

On Friday, research organization Epoch AI released FrontierMath, a new mathematics benchmark that has been turning heads in the AI world because it contains hundreds of expert-level problems that ...

Microsoft found that small language models can exceed the performance of much larger ones when trained to specialize in a single area. Researchers fine-tuned the Mistral 7B model to create Orca-Math, ...

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 ...