Axiom Math says its AxiomProver system has produced a machine-checked Lean 4 proof of the strongest known result on gaps ...

Latin squares are arrangements of symbols in a grid in which every symbol appears exactly once in each row and column. These ...

What do LinkedIn, the global airline network and the human brain have in common? They are all complex systems built from ...

A research team has developed a new theoretical framework that can suppress light scattering in certain directions while enhancing it in others, even in irregularly arranged materials. The work ...

Quantum entanglement is key to solving a 250-year-old mathematical puzzle – and the discovery could ultimately help build quantum computers that are more resilient to errors. In the 1700s, according ...

Hui He explains why artificial intelligence is fundamentally transforming mathematical work—and why that’s a good thing ...

OpenAI showed that AI can tackle long-standing problems in mathematics. Experts are excited about the possibilities — and worried about what comes next for their field.

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 simple scaling law brings order to the chaos of flowing water, rock, and sediment. New findings have extended the law even ...

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

The only snag was that “Shor’s algorithm”, as it is now known, required something that at the time only existed on university blackboards: a quantum computer. These days, quantum computers—which ...