Humpty Dumpty had all the king's horses and all the king's men, but it wasn't enough to put him back together again. This ...

Creating three-dimensional typography on canvas looks like magic to most viewers. It isn't. Perfect letterforms come down to ...

It’s long been a mystery why there are 3 generations of quarks and leptons: three sets of particles, apparently identical except for how they interact with the Higgs boson. It would be nice if there ...

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

Neurosurgery researcher Jin Shanmu has very little formal education in mathematics but solved a major problem in linear ...

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

A security researcher has designed an algorithm that can create computer-generated patterns capable of hiding people, faces, ...

OpenAI Astra reportedly solved 10 long-standing math problems dating back to 1946. Mathematicians are now actively debating ...

So, figuring out how to make a new protein can mean directly tinkering with biochemistry, providing new and potentially ...

In his 1801 magnum opus Disquisitiones Arithmeticae, German mathematician Carl Friedrich Gauss wrote about a cyclical mystery ...

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