polynomials
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.
artificial intelligence
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.
Abstractions blog
How and Why Computers Roll Loaded Dice
Researchers are one step closer to injecting probability into deterministic machines.
artificial intelligence
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.
artificial intelligence
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.
quantum computing
Computing’s Search for Quantum Questions
Recent tests show that quantum computers made by D-Wave systems should solve some problems faster than ordinary computers. Researchers have begun to map out exactly which queries might benefit from these quantum machines.