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.

Gray Swan works with every major frontier AI lab. Now it’s raised $40 million as it expands to sell security tools to ...

Only a few months ago, the question felt mostly philosophical: if artificial intelligence can help solve open math problems, ...

AI math proof verification reached a new frontier as DeepMind’s AlphaProof Nexus solved nine open Erdős research problems with Lean-verified proofs, some unsolved for 56 years. The May 2026 Science Ne ...

Computer science is the study and development of the protocols required for automated processing and manipulation of data. This includes, for example, creating algorithms for efficiently searching ...

The deadly disease was identified half a century ago in the Democratic Republic of the Congo. It is unacceptable that it continues to take lives. A large-scale experiment tested the impact of changing ...

Scientific American is the essential guide to the most awe-inspiring advances in science and technology, explaining how they change our understanding of the world and shape our lives.