At 17, Hannah Cairo solved a major math mystery

Tetris Presents Math Problems Even Computers Can't Solve – Scientific American

A 'Grand Unified Theory' of Math Just Got a Little Bit Closer

Why Did the Universe Begin?

Landmark Langlands Proof Advances Grand Unified Theory of Math

A New Geometry for Einstein's Theory of Relativity

Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup

For Algorithms, Memory Is a Far More Powerful Resource Than Time

The Magic Theorem

Computer Scientists Figure Out How to Prove Lies

Science Makes the U.S. a Great Nation

Scientists just simulated the "impossible" – fault-tolerant quantum code cracked

Tom Gauld on an alternative use for unsolved mathematical problems

Quantum computers just beat classical ones – Exponentially and unconditionally

New proof dramatically compresses space needed for computation

How Does Graph Theory Shape Our World?

The Distribution of Prime Numbers: A Geometrical Perspective

Quantum dice: Scientists harness true randomness from entangled photons

Is mathematics mostly chaos or mostly order?

André Seznec Receives the 2025 ACM-IEEE CS Eckert-Mauchly Award

There's no cheating this random number generator

IBM to build first large-scale, error-corrected quantum computer by 2028

New Quantum Algorithm Factors Numbers with One Qubit

The new Gödel Prize winner tastes great and is less filling

Platform for Formalizing Sequences from Online Encyclopedia of Integer Sequences

Quantum Universe

The Core of Fermat's Last Theorem Just Got Superpowered

Why You Should Care About Functional Programming

Dimension 126 Contains Twisted Shapes, Mathematicians Prove

Rocq 9.0.0

Boris Spassky (1937-2025) Chess World Champion and Legendary Grandmaster

Lambda Calculus and Lisp, part 2 (recursion excursion)

Lambda Calculus and Lisp, part 1

When is it worth the time and effort to verify a proof FORMALLY?

Thinking Big

Code41 Watches

MD Nichrome: On Spacing and Sci-Fi

Multizork

Esoprogramming and Computational Idealism