6/8/2023
•
EN
We may finally crack Maths. But should we?
Explores the potential and implications of using AI to automate mathematical theorem proving, framing it as a 'tame' problem solvable by machines.