Three mathematicians have laid out proof that solves a long-standing problem in mathematics. Even the mathematician—an Abel ...

A general-purpose reasoning model, not a math-trained system, produced a new family of point configurations that broke Paul ...

Why it matters: Linear algebra underpins machine learning, enabling efficient data representation, transformation, and optimization for algorithms like regression, PCA, and neural networks. Python ...

Alibaba's HDPO framework trains AI agents to skip unnecessary tool calls, cutting redundant invocations from 98% to 2% while boosting reasoning accuracy.

Develop optimal solutions to a scheduling problem by modelling it as a Constraint Satisfaction Problem (CSP), a method used widely in the field of Artificial Intelligence. I've open-sourced Delegator ...

David E. Dunning explores how mathematical notation is a social, world-building technology. It’s natural to think of math as being fundamentally abstract. Whether it’s invented or discovered, its ...

In March 2025, mathematician Daniel Litt made a bet. Despite the march of progress of artificial intelligence in many fields, he believed his subject was safe, wagering with a colleague that there was ...

Supply chains consist of imperfect humans struggling to make perfect decisions. In the end, though, it all comes down to a game of numbers. That, at least, is the theory behind mathematical ...

Since the start of the 20th century, the heart of mathematics has been the proof — a rigorous, logical argument for whether a given statement is true or false. Mathematicians’ careers are measured by ...