What's up in
The Deep Link Equating Math Proofs and Computer Programs
Mathematical logic and the code of computer programs are, in an exact way, mirror images of each other.
The Physical Process That Powers a New Type of Generative AI
Some modern image generators rely on the principles of diffusion to create images. Alternatives based on the process behind the distribution of charged particles may yield even better results.
Machine Learning Aids Classical Modeling of Quantum Systems
By using “classical shadows,” ordinary computers can beat quantum computers at the tricky task of understanding quantum behaviors.
Complexity Theory’s 50-Year Journey to the Limits of Knowledge
How hard is it to prove that problems are hard to solve? Meta-complexity theorists have been asking questions like this for decades. A string of recent results has started to deliver answers.
Risky Giant Steps Can Solve Optimization Problems Faster
New results break with decades of conventional wisdom for the gradient descent algorithm.
The Cryptographer Who Ensures We Can Trust Our Computers
Yael Tauman Kalai’s breakthroughs secure our digital world, from cloud computing to our quantum future.