Any chess position with 8 pieces on board and one pair of pawns has been solved

The Year in Mathematics

Ramanujan's 100-year-old pi formula is still revealing the Universe

The Year in Computer Science

Apples

50 years of proof assistants

New Font Release: Bhs

The Little Theorems

Set theory with types

A New Bridge Links the Math of Infinity to Computer Science

To Have Machines Make Math Proofs, Turn Them into a Puzzle

Steven Heller's Font of the Month: Archive Matrix

Why don't you use dependent types?

What Is the Funniest Number?

Terence Tao on non-monotonicity in research

Mathematicians discover prime number pattern in fractal chaos

Terence Tao on Crowdsourced Effort

Clyde Kruskal talks about his Father Martin on Martin's 100th birthday

New Math Revives Geometry's Oldest Problems

A simple way to measure knots has come unraveled

The Quest to Find the Longest-Running Simple Computer Program

Self-Assembly Gets Automated in Reverse of 'Game of Life'

New knot theory discovery overturns long-held mathematical assumption

Lisp Still Matters

What Happens When a Scientific Field Changes Its Mind – Scientific American

'It's a Mess': A Brain-Bending Trip to Quantum Theory's 100th Birthday Party

How Can Math Protect Our Data?

Breaking the sorting barrier for directed single-source shortest paths

Some thoughts on journals, refereeing, and the P vs. NP problem

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?