MathLabs
Language
Tiếng Việt
English
日本語
简体中文
Great problems
Oldest first
Newest first
Problems
Mathematicians
Search
Search
All
Solved
Open
Field
All fields
Foundations of mathematics
Arithmetic and number theory
Algebra
Geometry
Topology
Analysis
Differential equations and dynamical systems
Combinatorics and discrete mathematics
Probability and statistics
Applied and computational mathematics
Mathematical physics
Competition mathematics and problem solving
History and philosophy of mathematics
Field
All lists
Millennium
Hilbert
Landau
Smale
Erdős
20th century
1963
Existence of the Lorenz attractor
Differential equations and dynamical systems.
Proves that the classical Lorenz differential equations genuinely possess a robust chaotic strange attractor, resolving Smale's 14th problem via a rigorous computer-assisted proof by Warwick Tucker.
Smale #14
Solved
Home
Library
Great problems
Quiz
Mathematicians
Competitions