Latest Articles
How Big Data Carried Graph Theory Into New Dimensions
Researchers are turning to the mathematics of higher-order interactions to better model the complex connections within their data.
Mathematicians Resurrect Hilbert’s 13th Problem
Long considered solved, David Hilbert’s question about seventh-degree polynomials is leading researchers to a new web of mathematical connections.
How Close Are Computers to Automating Mathematical Reasoning?
AI tools are shaping next-generation theorem provers, and with them the relationship between math and machine.
How and Why Computers Roll Loaded Dice
Researchers are one step closer to injecting probability into deterministic machines.
Symbolic Mathematics Finally Yields to Neural Networks
After translating some of math’s complicated equations, researchers have created an AI system that they hope will answer even bigger questions.
Playing Hide-and-Seek, Machines Invent New Tools
After millions of games, machine learning algorithms found creative solutions and unexpected new strategies that could transfer to the real world.