Microsoft built Phi-4-reasoning-vision-15B to know when to think — and when thinking is a waste of time

B, an open-weight multimodal vision AI model designed to deliver strong math, science, document and UI reasoning with far ...
Windows Report

Microsoft’s New Phi-4 Vision 15B Model Decides When to Activate Deep Reasoning

Microsoft releases Phi-4 Reasoning Vision 15B, a multimodal AI model that activates its own thinking mode and handles ...
VentureBeat

AI’s math problem: FrontierMath benchmark shows how far technology still has to go

Artificial intelligence systems may be good at generating text, recognizing images, and even solving basic math problems—but when it comes to advanced mathematical reasoning, they are hitting a wall.
AOL

OpenAI releases open-weight reasoning models optimized for running on laptops

SAN FRANCISCO (Reuters) -OpenAI said on Tuesday it has released two open-weight language models that excel in advanced reasoning and are optimized to run on laptops with performance levels similar to ...
Dataquest

DeepSeekMath-V2 achieves self-verification in Math, matches IMO Gold Medal Standard

DeepSeek has introduced DeepSeekMath-V2, a new mathematical reasoning model that shifts the focus from achieving correct final answers to ensuring rigorous, verifiable reasoning. This model addresses ...
National Academies of Sciences%2c Engineering%2c and Medicine

AI to Assist Mathematical Reasoning: A Workshop

A National Academies of Sciences, Engineering, and Medicine-appointed ad hoc committee will plan and organize a workshop that will bring together academic, industry, and government stakeholders to ...