When computers learned to argue like Euclid

What is the popular nickname of the massive, 15,000-page group classification proof?

Which country's school of algebraic geometry collapsed in the early 20th century due to unproven intuitive claims?

Which prestigious math award, often called the Nobel Prize of mathematics, did Peter Scholze win?

Whose 1611 conjecture about stacking spheres was proved by Thomas Hales using computer code?

Which ancient Greek mathematician is credited with creating the axiomatic method of proof in his book 'Elements'?

What was the name of the collaborative project that verified Peter Scholze's complex theorem using Lean?

What was the name of the project launched by Thomas Hales to completely formalize his proof of Kepler's conjecture?

Which math mystery would you want an AI to solve first?

Which branch of mathematics deals with the study of symmetry and algebraic structures like groups?