Quiz
Which branch of mathematics deals with the study of symmetry and algebraic structures like groups?
Chapter 1
The crisis of human brainpower
Chapter 2
Speaking the language of the machines
Chapter 3
When AI joins the research team
Chapter 4
The future of truth and human minds
Ch 1 · The crisis of human brainpower
BETA
steve Sort logical steps to discover how AI models formalize landmark mathematical theorems.
Quiz
What was the name of the project launched by Thomas Hales to completely formalize his proof of Kepler's conjecture?
Quiz
Whose 1611 conjecture about stacking spheres was proved by Thomas Hales using computer code?
steve Crisis of Human Brainpower
Proof indigestion, proof indigestion / We verified what we cannot understand
Quiz
What was the name of the collaborative project that verified Peter Scholze's complex theorem using Lean?
Quiz
Which prestigious math award, often called the Nobel Prize of mathematics, did Peter Scholze win?
Quiz
Which ancient Greek mathematician is credited with creating the axiomatic method of proof in his book 'Elements'?
Quiz
Which country's school of algebraic geometry collapsed in the early 20th century due to unproven intuitive claims?
Fun Fact
Enormous Theorem: The proof classifying finite simple groups took over 100 mathematicians more than 50 years to write, filling over 15,000 pages.