New research is helping biologists understand how an overlooked aspect of coral physiology may affect their fate under ...

AI’s greatest mathematical successes have come from answers to problems posed by a mid-20th century iconoclast. By examining ...

New calculations seem to have put a 25-year-old particle physics puzzle to rest. But they’ve also created a clash with other ...

The idea that artificial intelligence can “reason” is more intuitive than ever. But intuitions can be wrong, and the science is far from settled. I’ll just say it: What the hell is going on with AI ...

An organelle discovered inside a microbe inside a cow’s gut helps explain how livestock burps contribute to warming our ...

AI’s greatest mathematical successes have come from answers to problems posed by a mid-20th century iconoclast. By examining what makes the Erdős problems unique, mathematicians are trying to ...

In 2025, physicists spotted a paradigm-shifting new black hole, doubled down on weakening dark energy, and discovered that the Earth’s deep interior may be more connected than previously thought, ...

The quest to make mathematics rigorous has a long and spotty history — one mathematicians can learn from as they push to formalize everything in the computer program Lean.

Shayan Oveis Gharan has won the Abacus Medal for using tools from across mathematics to boost the power of algorithms.

Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His proofs have been called “disgusting,” but they go beyond what any human can do ...

Large language models such as ChatGPT come with filters to keep certain info from getting out. A new mathematical argument shows that systems like this can never be completely safe. The Quanta ...