Discovering faster matrix multiplication algorithms with reinforcement learning
7/10 importance · partially solved · scientific computing · 2022 · validator confidence 85% · research
The problem
Discovering more efficient matrix multiplication algorithms is hard because the space of possible algorithms is enormous and human intuition is limited.
Why it matters
Matrix multiplication speed affects the overall speed of a large amount of computation, from neural networks to scientific computing.
What the AI did
AlphaTensor, a deep reinforcement learning agent based on AlphaZero, plays a single-player game of finding tensor decompositions to discover efficient, provably correct matrix multiplication algorithms.
Results
Discovered provably correct algorithms that outperform the state-of-the-art for matrix multiplication (abstract truncated before specific figures).
Impact
Machine-discovered algorithms outperform the best human-designed ones for a fundamental computation.
How important is this problem?
7/10 — significant — thousands to millions affected
Abstract states improving such fundamental computations can have widespread impact on overall speed of large amounts of computation, from neural networks to scientific computing; first improvement on Strassen's algorithm in 50 years for a case.
stated — the source itself gives scale or impact evidence for this rating.
Scale stated in source: not stated in source
Ratings use a published rubric and are AI-assisted, not measured or peer-reviewed. Method
Sources & verification
- Primary source
- https://doi.org/10.1038/s41586-022-05172-4
- Model / method
- AlphaTensor (deep reinforcement learning, based on AlphaZero)
- Organization
- not stated in source
- Validator notes
- glm-5.3: ok (confidence 85) | Peer-reviewed Nature paper; concrete outperformance claim, though abstract truncated before specifics.
- Keywords
- matrix multiplication, reinforcement learning, AlphaTensor, algorithm discovery, tensor decomposition
A second-stage review judged this entry against the primary source; status “verified”. “Verified” means the evidence supported the claim — it does not mean the underlying result was independently reproduced.
Related
-
Solving olympiad geometry without human demonstrations
Automated proving of olympiad-level geometry theorems was blocked by the scarcity of human demonstrations in machine-verifiable format.
Mathematics · 2024 · solved · 7/10 importance
-
Mathematical discoveries from program search with large language models
LLM confabulations hinder scientific discovery, and the cap set problem in extremal combinatorics lacked constructions beyond the best-known ones.
Mathematics · 2023 · solved · 6/10 importance
-
Superhuman AI for multiplayer poker
AI had surpassed humans in two-player games, but six-player no-limit Texas hold'em poker remained a much harder, unsolved challenge.
Mathematics · 2019 · solved · 6/10 importance
-
Efficient generator of mathematical expressions for symbolic regression
Symbolic regression — finding mathematical equations that fit data — is computationally hard.
Mathematics · 2023 · partially solved · 4/10 importance
-
Symbolic regression as a feature engineering method for machine and deep learning regression tasks
Manually designing input features for machine and deep learning regression models relies on domain expertise and limits predictive performance.
Mathematics · 2024 · solved · 4/10 importance