A little-known branch of engineering mathematics is moving beyond theory and finding potential uses in everything from robots and aircraft to extremely small nanotechnology devices. Known as negative ...

A mathematician working at Anthropic says he used the AI model Claude Fable 5 to uncover a remarkably simple counterexample ...

A new study introduces choice engineering—a powerful new way to guide decisions using math instead of guesswork. By applying carefully designed mathematical models, researchers found they could ...

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

There’s a curious contradiction at the heart of today’s most capable AI models that purport to “reason”: They can solve routine math problems with accuracy, yet when faced with formulating deeper ...

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

A monthly overview of things you need to know as an architect or aspiring architect. Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with ...

Phi-4 is 14B parameter model from Microsoft Research that aims to improve the state of the art for math reasoning. Previously available on Azure AI Foundry, Phi-4 has recently become available on ...