What's up in
Computer science
Latest Articles
Thirty Years Later, a Speed Boost for Quantum Factoring
Shor’s algorithm will enable future quantum computers to factor large numbers quickly, undermining many online security protocols. Now a researcher has shown how to do it even faster.
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.
Tiny Language Models Come of Age
To better understand how neural networks learn to simulate writing, researchers trained simpler versions on synthetic children’s stories.
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.
Alan Turing and the Power of Negative Thinking
Mathematical proofs based on a technique called diagonalization can be relentlessly contrarian, but they help reveal the limits of algorithms.
Why Mathematical Proof Is a Social Compact
Number theorist Andrew Granville on what mathematics really is — and why objectivity is never quite within reach.
New Codes Could Make Quantum Computing 10 Times More Efficient
Quantum computing is still really, really hard. But the rise of a powerful class of error-correcting codes suggests that the task might be slightly more feasible than many feared.
The AI Tools Making Images Look Better
Researchers have discovered ways around a fundamental trade-off between accuracy and beauty in digital images.