Every year, the countries competing in the International Mathematical Olympiad arrive with a booklet of their best, most ...

The cosmological constant is the mathematical description of the energy that drives the ever-accelerating expansion of the ...

The painstaking process of formalization to verify proofs is starting to surge thanks to AI. That could radically change the ...

Apple recently showcased that advanced artificial intelligence models struggled with grade school-level math problems that ...

Those changes will be contested, in math as in other academic disciplines wrestling with AI’s impact. As AI models become a ...

Stanford's 2026 AI Index: frontier models fail one in three attempts, lab transparency is declining, and benchmarks are ...

The incompleteness theorem is accepted as part of the mathematical canon today, but columnist Jacob Aron says it was a ...

A lot of leaders talk about economies of scale and network effects. It’s a clean story: more people means better unit ...

Using artificial-intelligence to teach other models can be cheaper and faster than building them from scratch, but this ...

The researchers explained that the AI analysed decades of existing mathematical literature and combined natural language ...