The closest the field has come to solving the planar unit distance problem, first proposed in the 1940s, was in 1984. Now, OpenAI claims an internal model has cracked the puzzle.

Amateurs Solve a Famous Computer Science Problem On Discord A team of amateurs recently came together in an online collaboration called the Busy Beaver Challenge to pin down the value of BB (5), the ...

It is rare to read about “spectacular progress” or a “once-in-a-century” result in mathematics. That’s for good reason: if a problem has not had a solution for many years, then completely new ...

One question in computer science has stood above the rest for decades, resisting every attempt to settle it despite its enormous implications. At the center of the mystery is a deceptively simple idea ...

Google DeepMind's AlphaProof Nexus solved nine longstanding Erdős problems with Lean-verified proofs, sparking debates about AI progress and its limitations.

Sudoku fan? After diving into the math behind the game, test your skills with our very own puzzles in SciAm Games! Computer science seemingly rides a curve of unstoppable progress. Mere decades took ...